- fix c++ parsing issue

[packages/NuSMV.git] / NuSMV.spec

diff --git a/NuSMV.spec b/NuSMV.spec
index 8efc53de720808f5971761947e511861bfab561c..0350e01ec8b372fe0225723bf22871ecc71de89e 100644 (file)
--- a/NuSMV.spec
+++ b/NuSMV.spec
@@ -1,19 +1,29 @@
 #
-# TODO:
-#      - external cudd
-#      - update all BRs
+# Conditional build:
+%bcond_with    zchaff  # enable zChaff SAT Solver (zChaff is for non-commercial purposes only)
+#
+%define        zchaff_ver      2008.10.12
+%define minisat_ver    070721
 #
 Summary:       New Symbolic Model Verifier
-Summary(pl.UTF-8):   Nowy weryfikator modeli symbolicznych
+Summary(pl.UTF-8):     Nowy weryfikator modeli symbolicznych
 Name:          NuSMV
-Version:       2.4.0
-Release:       0.1
+Version:       2.5.4
+Release:       12
 License:       LGPL
 Group:         Applications
-Source0:       http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz
-# Source0-md5: cd1328fc70e9f48d2c4a96c0b8eb5a28
+Source0:       http://nusmv.fbk.eu/distrib/%{name}-%{version}.tar.gz
+# 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
-URL:           http://nusmv.irst.itc.it/
+Patch1:                %{name}-solvers.patch
+Patch2:                format-security.patch
+Patch3:                fork.patch
+Patch4:                cxx.patch
+URL:           http://nusmv.fbk.eu/
 BuildRequires: autoconf
 BuildRequires: automake
 BuildRequires: expat-devel
@@ -23,11 +33,19 @@ BuildRequires:      lynx
 #BuildRequires:        links
 BuildRequires: perl-base
 BuildRequires: readline-devel
-BuildRequires: tetex-dvips
-BuildRequires: tetex-makeindex
-BuildRequires: tetex-latex
+BuildRequires: texlive-dvips
+BuildRequires: texlive-latex
+BuildRequires: texlive-latex-bibtex
+BuildRequires: texlive-latex-carlisle
+BuildRequires: texlive-latex-extend
+BuildRequires: texlive-latex-psnfss
+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
@@ -58,7 +76,7 @@ z biblioteką SIM SAT stworzoną przez University of Genova.
 
 %package devel
 Summary:       Header files for NuSMV
-Summary(pl.UTF-8):   Pliki nagłówkowe NuSMV
+Summary(pl.UTF-8):     Pliki nagłówkowe NuSMV
 Group:         Development/Libraries
 Requires:      %{name} = %{version}-%{release}
 
@@ -70,7 +88,7 @@ Ten pakiet zawiera pliki nagłówkowe NuSMV.
 
 %package static
 Summary:       Static NuSMV library
-Summary(pl.UTF-8):   Statyczna biblioteka NuSMV
+Summary(pl.UTF-8):     Statyczna biblioteka NuSMV
 Group:         Development/Libraries
 Requires:      %{name}-devel = %{version}-%{release}
 
@@ -82,33 +100,65 @@ Statyczna biblioteka NuSMV.
 
 %prep
 %setup -q
+install %{SOURCE1} MiniSat/
+cd MiniSat
+unzip -q *.zip
+cd ..
+install %{SOURCE2} zchaff/
+
 %patch0 -p1
+%patch1 -p1
+%patch2 -p1
+%patch3 -p1
+%patch4 -p1
 
 %build
+ICFLAGS="%{rpmcflags} -fPIC"
+export ICFLAGS
+
+cd MiniSat/
+OPTFLAGS="%{rpmcxxflags} -fPIC" COPTIMIZE="%{rpmcxxflags} -fPIC" ./build.sh
+%if %{with zchaff}
+cd ../zchaff
+OPTFLAGS="%{rpmcxxflags} -fPIC" ./build.sh
+%endif
+cd ../cudd-*
+%ifarch %{x8664}
+cp -f Makefile Makefile_32bit
+cp -f Makefile_64bit Makefile
+%endif
+%{__make}
+cd ..
+
 cd nusmv
-mkdir -p src/{sa/{fmea,stsa},mbp,mathsat}
-touch src/sa/Makefile.in src/sa/fmea/Makefile.in src/sa/stsa/Makefile.in \
-       src/mbp/Makefile.in src/mathsat/Makefile.in
 
-%{__aclocal}
+%{__libtoolize}
+%{__aclocal} -I m4
 %{__autoconf}
-%{__autoheader}
 %{__automake}
 %configure \
        --enable-shared \
-       --enable-psl
+       %{?with_zchaff:--enable-zchaff} \
+       --enable-minisat
+
 %{__make}
-%{__make} docs
+
+%{__make} -j1 docs
 
 %install
 rm -rf $RPM_BUILD_ROOT
 install -d $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version}
 
-%{__make} -C nusmv install \
+%{__make} -j1 -C nusmv install \
+       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%{_libdir}/*.la
+
 %clean
 rm -rf $RPM_BUILD_ROOT
 
@@ -122,7 +172,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) %{_libdir}/libnusmv*.so.*.*.*
+%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
@@ -131,12 +184,13 @@ rm -rf $RPM_BUILD_ROOT
 
 %files devel
 %defattr(644,root,root,755)
-%attr(755,root,root) %{_libdir}/libnusmv*.so
-%{_libdir}/libnusmv*.la
+%attr(755,root,root) %{_libdir}/lib*smv*.so
+%attr(755,root,root) %{_libdir}/librbcdag.so
 %{_includedir}/cudd*
 %{_includedir}/nusmv
 %{_pkgconfigdir}/*
 
 %files static
 %defattr(644,root,root,755)
-%attr(755,root,root) %{_libdir}/libnusmv*.a
+%attr(755,root,root) %{_libdir}/lib*smv*.a
+%attr(755,root,root) %{_libdir}/librbcdag.a