SPECS: NuSMV.spec (NEW) - initial revision

baggins baggins at pld-linux.org
Tue Oct 3 18:36:10 CEST 2006


Author: baggins                      Date: Tue Oct  3 16:36:10 2006 GMT
Module: SPECS                         Tag: HEAD
---- Log message:
- initial revision

---- Files affected:
SPECS:
   NuSMV.spec (NONE -> 1.1)  (NEW)

---- Diffs:

================================================================
Index: SPECS/NuSMV.spec
diff -u /dev/null SPECS/NuSMV.spec:1.1
--- /dev/null	Tue Oct  3 18:36:10 2006
+++ SPECS/NuSMV.spec	Tue Oct  3 18:36:05 2006
@@ -0,0 +1,140 @@
+# $Revision$, $Date$
+#
+# TODO:
+#	- external cudd
+#	- update all BRs
+#
+Summary:	New Symbolic Model Verifier
+Name:		NuSMV
+Version:	2.4.0
+Release:	0.1
+License:	LGPL
+Group:		Applications
+Source0:	http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz
+# Source0-md5:	cd1328fc70e9f48d2c4a96c0b8eb5a28
+Patch0:		%{name}-build.patch
+URL:		http://nusmv.irst.itc.it/
+BuildRequires:	autoconf
+BuildRequires:	automake
+BuildRequires:	expat-devel
+BuildRequires:	ghostscript
+BuildRequires:	lynx
+# alternative for lynx
+#BuildRequires:	links
+BuildRequires:	perl-base
+BuildRequires:	readline-devel
+BuildRequires:	tetex-dvips
+BuildRequires:	tetex-makeindex
+BuildRequires:	tetex-latex
+BuildRoot:	%{tmpdir}/%{name}-%{version}-root-%(id -u -n)
+
+%description
+NuSMV is a reimplementation and extension of SMV, the first model
+checker based on BDDs. NuSMV has been designed to be an open
+architecture for model checking, which can be reliably used for the
+verification of industrial designs, as a core for custom verification
+tools, as a testbed for formal verification techniques, and applied
+to other research areas.
+
+NuSMV2, combines BDD-based model checking component that exploits the
+CUDD library developed by Fabio Somenzi at Colorado University and
+SAT-based model checking component that includes an RBC-based Bounded
+Model Checker, connected to the SIM SAT library developed by the
+University of Genova.
+
+%package devel
+Summary:	Header files for NuSMV
+Summary(pl):	Pliki nagłówkowe NuSMV
+Group:		Development/Libraries
+#Requires:	%{name} = %{version}-%{release}
+
+%description devel
+This is the package containing the header files for NuSMV.
+
+%description devel -l pl
+Ten pakiet zawiera pliki nagłówkowe NuSMV.
+
+%package static
+Summary:	Static NuSMV library
+Summary(pl):	Statyczna biblioteka NuSMV
+Group:		Development/Libraries
+Requires:	%{name}-devel = %{version}-%{release}
+
+%description static
+Static NuSMV library.
+
+%description static -l pl
+Statyczna biblioteka NuSMV.
+
+%prep
+%setup -q
+%patch0 -p1
+
+%build
+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}
+%{__autoconf}
+%{__autoheader}
+%{__automake}
+cp -f /usr/share/automake/config.sub .
+%configure \
+	--enable-shared \
+	--enable-psl
+%{__make}
+%{__make} docs
+
+%install
+rm -rf $RPM_BUILD_ROOT
+install -d $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version}
+
+%{__make} -C nusmv install \
+	DESTDIR=$RPM_BUILD_ROOT
+
+cp -a nusmv/examples/* $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version}
+
+%clean
+rm -rf $RPM_BUILD_ROOT
+
+%post	-p /sbin/ldconfig
+%postun	-p /sbin/ldconfig
+
+%files
+%defattr(644,root,root,755)
+%doc nusmv/{AUTHORS,ChangeLog,NEWS,README*}
+%doc nusmv/doc/tutorial/tutorial.p*
+%doc nusmv/doc/user-man/nusmv.p*
+%doc nusmv/doc/html
+%attr(755,root,root) %{_bindir}/*
+%attr(755,root,root) %{_libdir}/libnusmv*.so.*.*.*
+%dir %{_datadir}/nusmv
+%{_datadir}/nusmv/contrib
+%{_datadir}/nusmv/help
+%{_datadir}/nusmv/master.nusmvrc
+%{_examplesdir}/%{name}-%{version}
+
+%files devel
+%defattr(644,root,root,755)
+%{_includedir}/cudd*
+%{_includedir}/nusmv
+%{_libdir}/pkgconfig/*
+%attr(755,root,root) %{_libdir}/libnusmv*.la
+%attr(755,root,root) %{_libdir}/libnusmv*.so
+
+%files static
+%defattr(644,root,root,755)
+%attr(755,root,root) %{_libdir}/libnusmv*.a
+
+
+%define date	%(echo `LC_ALL="C" date +"%a %b %d %Y"`)
+%changelog
+* %{date} PLD Team <feedback at pld-linux.org>
+All persons listed below can be reached at <cvs_login>@pld-linux.org
+
+$Log$
+Revision 1.1  2006/10/03 16:36:05  baggins
+- initial revision
+
================================================================


More information about the pld-cvs-commit mailing list