Summary: New Symbolic Model Verifier
Summary(pl.UTF-8): Nowy weryfikator modeli symbolicznych
Name: NuSMV
-Version: 2.5.2
+Version: 2.5.4
Release: 1
License: LGPL
Group: Applications
Source0: http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz
-# Source0-md5: 70643f69569eb33b8a13977df2c17a14
+# Source0-md5: 4d8ae6136fbd916d875cd48f82d5f327
Source1: http://minisat.se/downloads/minisat2-%{minisat_ver}.zip
# Source1-md5: fb12db9a13f86a2133758abfba239546
Source2: http://www.princeton.edu/~chaff/zchaff/zchaff.%{zchaff_ver}.zip
BuildRequires: unzip
BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
+# a lot of inter-library deps confusing install_post_check_so
+%define no_install_post_check_so 1
+
%description
NuSMV is a reimplementation and extension of SMV, the first model
checker based on BDDs. NuSMV has been designed to be an open
%patch1 -p1
%build
-ICFLAGS="%{rpmcflags}"
+ICFLAGS="%{rpmcflags} -fPIC"
export ICFLAGS
cd MiniSat/
-OPTFLAGS="%{rpmcxxflags}" ./build.sh
+OPTFLAGS="%{rpmcxxflags} -fPIC" COPTIMIZE="%{rpmcxxflags} -fPIC" ./build.sh
%if %{with zchaff}
cd ../zchaff
-OPTFLAGS="%{rpmcxxflags}" ./build.sh
+OPTFLAGS="%{rpmcxxflags} -fPIC" ./build.sh
%endif
cd ../cudd-*
%ifarch %{x8664}
cd nusmv
-/bin/bash %configure \
+%{__libtoolize}
+%{__aclocal} -I m4
+%{__autoconf}
+%{__automake}
+%configure \
--enable-shared \
- --enable-psl \
%{?with_zchaff:--enable-zchaff} \
--enable-minisat
%{__make}
-%{__make} docs \
- SHELL=/bin/bash
+
+%{__make} docs
%install
rm -rf $RPM_BUILD_ROOT
install -d $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version}
%{__make} -j1 -C nusmv install \
- SHELL=/bin/bash \
+ INSTALL_DATA="cp -a" \
+ INSTALL_HEADER="install -p" \
DESTDIR=$RPM_BUILD_ROOT
cp -a nusmv/examples/* $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version}
-rm -r $RPM_BUILD_ROOT%{_datadir}/nusmv/{doc,examples,LGPL*,NEWS,README*}
+%{__rm} -r $RPM_BUILD_ROOT%{_datadir}/nusmv/{doc,examples,LGPL*,NEWS,README*}
+%{__rm} -r $RPM_BUILD_ROOT%{_libdir}/*.la
%clean
rm -rf $RPM_BUILD_ROOT
%files devel
%defattr(644,root,root,755)
%attr(755,root,root) %{_libdir}/lib*smv*.so
-%{_libdir}/lib*smv*.la
%{_includedir}/cudd*
%{_includedir}/nusmv
%{_pkgconfigdir}/*