SPECS: NuSMV.spec - up to 2.4.3

[baggins]

Author: baggins                      Date: Fri Sep 14 13:56:34 2007 GMT
Module: SPECS                         Tag: HEAD
---- Log message:
- up to 2.4.3

---- Files affected:
SPECS:
   NuSMV.spec (1.4 -> 1.5) 

---- Diffs:

================================================================
Index: SPECS/NuSMV.spec
diff -u SPECS/NuSMV.spec:1.4 SPECS/NuSMV.spec:1.5
--- SPECS/NuSMV.spec:1.4	Mon Feb 12 23:09:09 2007
+++ SPECS/NuSMV.spec	Fri Sep 14 15:56:29 2007
@@ -7,12 +7,12 @@
 Summary:	New Symbolic Model Verifier
 Summary(pl.UTF-8):	Nowy weryfikator modeli symbolicznych
 Name:		NuSMV
-Version:	2.4.0
+Version:	2.4.3
 Release:	0.1
 License:	LGPL
 Group:		Applications
 Source0:	http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz
-# Source0-md5:	cd1328fc70e9f48d2c4a96c0b8eb5a28
+# Source0-md5:	f9fb88139b388c6ba8d31b0ad1ce5254
 Patch0:		%{name}-build.patch
 URL:		http://nusmv.irst.itc.it/
 BuildRequires:	autoconf
@@ -87,9 +87,12 @@
 
 %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
+#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
+
+ICFLAGS="%{rpmcflags}"
+export ICFLAGS
 
 %{__aclocal}
 %{__autoconf}
@@ -148,6 +151,9 @@
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.5  2007/09/14 13:56:29  baggins
+- up to 2.4.3
+
 Revision 1.4  2007/02/12 22:09:09  glen
 - tabs in preamble
 
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/SPECS/NuSMV.spec?r1=1.4&r2=1.5&f=u