SPECS: NuSMV.spec - fixed hack
baggins
baggins at pld-linux.org
Fri Sep 14 16:01:42 CEST 2007
Author: baggins Date: Fri Sep 14 14:01:42 2007 GMT
Module: SPECS Tag: HEAD
---- Log message:
- fixed hack
---- Files affected:
SPECS:
NuSMV.spec (1.7 -> 1.8)
---- Diffs:
================================================================
Index: SPECS/NuSMV.spec
diff -u SPECS/NuSMV.spec:1.7 SPECS/NuSMV.spec:1.8
--- SPECS/NuSMV.spec:1.7 Fri Sep 14 16:00:38 2007
+++ SPECS/NuSMV.spec Fri Sep 14 16:01:37 2007
@@ -86,16 +86,18 @@
%patch0 -p1
%build
-cd nusmv
-
ICFLAGS="%{rpmcflags}"
export ICFLAGS
%ifarch %{x8664}
-cp -f ../cudd-*/Makefile ../cudd-*/Makefile_32bit
-cp -f ../cudd-*/Makefile_64bit ../cudd-*/Makefile
+cd cudd-*
+cp -f Makefile Makefile_32bit
+cp -f Makefile_64bit Makefile
+cd ..
%endif
+cd nusmv
+
%{__aclocal}
%{__autoconf}
%{__autoheader}
@@ -153,6 +155,9 @@
All persons listed below can be reached at <cvs_login>@pld-linux.org
$Log$
+Revision 1.8 2007/09/14 14:01:37 baggins
+- fixed hack
+
Revision 1.7 2007/09/14 14:00:38 baggins
- 64bit hack
================================================================
---- CVS-web:
http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/SPECS/NuSMV.spec?r1=1.7&r2=1.8&f=u
More information about the pld-cvs-commit
mailing list