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