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 _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
