]> git.pld-linux.org Git - packages/NuSMV.git/blob - NuSMV.spec
1566b8b01f79201a2de5c3b01ef040171cb956d4
[packages/NuSMV.git] / NuSMV.spec
1 #
2 # TODO:
3 #       - external cudd
4 #       - update all BRs
5 #
6 Summary:        New Symbolic Model Verifier
7 Summary(pl.UTF-8):      Nowy weryfikator modeli symbolicznych
8 Name:           NuSMV
9 Version:        2.4.3
10 Release:        0.1
11 License:        LGPL
12 Group:          Applications
13 Source0:        http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz
14 # Source0-md5:  f9fb88139b388c6ba8d31b0ad1ce5254
15 Patch0:         %{name}-build.patch
16 URL:            http://nusmv.irst.itc.it/
17 BuildRequires:  autoconf
18 BuildRequires:  automake
19 BuildRequires:  expat-devel
20 BuildRequires:  ghostscript
21 BuildRequires:  lynx
22 # alternative for lynx
23 #BuildRequires: links
24 BuildRequires:  perl-base
25 BuildRequires:  readline-devel
26 BuildRequires:  tetex-dvips
27 BuildRequires:  tetex-makeindex
28 BuildRequires:  tetex-latex
29 BuildRoot:      %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
30
31 %description
32 NuSMV is a reimplementation and extension of SMV, the first model
33 checker based on BDDs. NuSMV has been designed to be an open
34 architecture for model checking, which can be reliably used for the
35 verification of industrial designs, as a core for custom verification
36 tools, as a testbed for formal verification techniques, and applied
37 to other research areas.
38
39 NuSMV2, combines BDD-based model checking component that exploits the
40 CUDD library developed by Fabio Somenzi at Colorado University and
41 SAT-based model checking component that includes an RBC-based Bounded
42 Model Checker, connected to the SIM SAT library developed by the
43 University of Genova.
44
45 %description -l pl.UTF-8
46 NuSVM to reimplementacja i rozszerzenie SMV - pierwszego weryfikatora
47 modeli opartego na BDD. NuSMV został zaprojektowany w otwartej
48 architekturze sprawdzania modeli, przez co może być niezawodnie
49 używany do weryfikacji projektów przemysłowych, jako podstawa własnych
50 narzędzi weryfikujących, jako poligon dla technik weryfikacji
51 formalnej oraz stosowany w innych obszarach badań.
52
53 NuSMV2 łączy komponent sprawdzający modele oparty na BDD,
54 wykorzystujący bibliotekę CUDD stworzoną przez Fabio Somenziniego w
55 Colorado University i komponent sprawdzający modele oparty na SAT
56 zawierający weryfikator modeli ograniczonych oparty na RBC, połączony
57 z biblioteką SIM SAT stworzoną przez University of Genova.
58
59 %package devel
60 Summary:        Header files for NuSMV
61 Summary(pl.UTF-8):      Pliki nagłówkowe NuSMV
62 Group:          Development/Libraries
63 Requires:       %{name} = %{version}-%{release}
64
65 %description devel
66 This is the package containing the header files for NuSMV.
67
68 %description devel -l pl.UTF-8
69 Ten pakiet zawiera pliki nagłówkowe NuSMV.
70
71 %package static
72 Summary:        Static NuSMV library
73 Summary(pl.UTF-8):      Statyczna biblioteka NuSMV
74 Group:          Development/Libraries
75 Requires:       %{name}-devel = %{version}-%{release}
76
77 %description static
78 Static NuSMV library.
79
80 %description static -l pl.UTF-8
81 Statyczna biblioteka NuSMV.
82
83 %prep
84 %setup -q
85 %patch0 -p1
86
87 %build
88 cd nusmv
89 #mkdir -p src/{sa/{fmea,stsa},mbp,mathsat}
90 #touch src/sa/Makefile.in src/sa/fmea/Makefile.in src/sa/stsa/Makefile.in \
91 #       src/mbp/Makefile.in src/mathsat/Makefile.in
92
93 ICFLAGS="%{rpmcflags}"
94 export ICFLAGS
95
96 %{__aclocal}
97 %{__autoconf}
98 %{__autoheader}
99 %{__automake}
100 %configure \
101         --enable-shared \
102         --enable-psl
103 %{__make}
104 %{__make} docs
105
106 %install
107 rm -rf $RPM_BUILD_ROOT
108 install -d $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version}
109
110 %{__make} -C nusmv install \
111         DESTDIR=$RPM_BUILD_ROOT
112
113 cp -a nusmv/examples/* $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version}
114
115 %clean
116 rm -rf $RPM_BUILD_ROOT
117
118 %post   -p /sbin/ldconfig
119 %postun -p /sbin/ldconfig
120
121 %files
122 %defattr(644,root,root,755)
123 %doc nusmv/{AUTHORS,ChangeLog,NEWS,README*}
124 %doc nusmv/doc/tutorial/tutorial.p*
125 %doc nusmv/doc/user-man/nusmv.p*
126 %doc nusmv/doc/html
127 %attr(755,root,root) %{_bindir}/*
128 %attr(755,root,root) %{_libdir}/libnusmv*.so.*.*.*
129 %dir %{_datadir}/nusmv
130 %{_datadir}/nusmv/contrib
131 %{_datadir}/nusmv/help
132 %{_datadir}/nusmv/master.nusmvrc
133 %{_examplesdir}/%{name}-%{version}
134
135 %files devel
136 %defattr(644,root,root,755)
137 %attr(755,root,root) %{_libdir}/libnusmv*.so
138 %{_libdir}/libnusmv*.la
139 %{_includedir}/cudd*
140 %{_includedir}/nusmv
141 %{_pkgconfigdir}/*
142
143 %files static
144 %defattr(644,root,root,755)
145 %attr(755,root,root) %{_libdir}/libnusmv*.a
This page took 0.030986 seconds and 2 git commands to generate.