- release 11 (by relup.sh)

[packages/NuSMV.git] / NuSMV.spec

diff --git a/NuSMV.spec b/NuSMV.spec
index f4f574222b070ba2c6609b64dcc8e6dbb722317f..f91974bb145c27da7323c4533312113e98e498ee 100644 (file)
--- a/NuSMV.spec
+++ b/NuSMV.spec
@@ -8,18 +8,20 @@
 Summary:       New Symbolic Model Verifier
 Summary(pl.UTF-8):     Nowy weryfikator modeli symbolicznych
 Name:          NuSMV
-Version:       2.5.0
-Release:       1
+Version:       2.5.4
+Release:       11
 License:       LGPL
 Group:         Applications
 Source0:       http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz
-# Source0-md5: 904c06c57d3882bc5a10f09ca0ba9a06
+# 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
 # Source2-md5: 7398b3e984a5046755cb3ef6b0e44d2e
 Patch0:                %{name}-build.patch
 Patch1:                %{name}-solvers.patch
+Patch2:                format-security.patch
+Patch3:                fork.patch
 URL:           http://nusmv.irst.itc.it/
 BuildRequires: autoconf
 BuildRequires: automake
@@ -40,6 +42,9 @@ BuildRequires:        texlive-makeindex
 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
@@ -94,22 +99,26 @@ Statyczna biblioteka NuSMV.
 
 %prep
 %setup -q
-%patch0 -p1
-
 install %{SOURCE1} MiniSat/
+cd MiniSat
+unzip -q *.zip
+cd ..
 install %{SOURCE2} zchaff/
 
+%patch0 -p1
 %patch1 -p1
+%patch2 -p1
+%patch3 -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}
@@ -121,27 +130,32 @@ cd ..
 
 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} -j1 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
@@ -156,8 +170,10 @@ rm -rf $RPM_BUILD_ROOT
 %doc nusmv/doc/user-man/nusmv.p*
 %doc nusmv/doc/html
 %attr(755,root,root) %{_bindir}/*
-%attr(755,root,root) %ghost %{_libdir}/lib*smv*.so.0
 %attr(755,root,root) %{_libdir}/lib*smv*.so.*.*.*
+%attr(755,root,root) %ghost %{_libdir}/lib*smv*.so.0
+%attr(755,root,root) %{_libdir}/librbcdag.so.*.*.*
+%attr(755,root,root) %ghost %{_libdir}/librbcdag.so.0
 %dir %{_datadir}/nusmv
 %{_datadir}/nusmv/contrib
 %{_datadir}/nusmv/help
@@ -167,7 +183,7 @@ rm -rf $RPM_BUILD_ROOT
 %files devel
 %defattr(644,root,root,755)
 %attr(755,root,root) %{_libdir}/lib*smv*.so
-%{_libdir}/lib*smv*.la
+%attr(755,root,root) %{_libdir}/librbcdag.so
 %{_includedir}/cudd*
 %{_includedir}/nusmv
 %{_pkgconfigdir}/*
@@ -175,3 +191,4 @@ rm -rf $RPM_BUILD_ROOT
 %files static
 %defattr(644,root,root,755)
 %attr(755,root,root) %{_libdir}/lib*smv*.a
+%attr(755,root,root) %{_libdir}/librbcdag.a