SPECS: NuSMV.spec - 64bit hack

[baggins]

Author: baggins                      Date: Fri Sep 14 14:00:44 2007 GMT
Module: SPECS                         Tag: HEAD
---- Log message:
- 64bit hack

---- Files affected:
SPECS:
   NuSMV.spec (1.6 -> 1.7) 

---- Diffs:

================================================================
Index: SPECS/NuSMV.spec
diff -u SPECS/NuSMV.spec:1.6 SPECS/NuSMV.spec:1.7
--- SPECS/NuSMV.spec:1.6	Fri Sep 14 15:57:26 2007
+++ SPECS/NuSMV.spec	Fri Sep 14 16:00:38 2007
@@ -91,6 +91,11 @@
 ICFLAGS="%{rpmcflags}"
 export ICFLAGS
 
+%ifarch %{x8664}
+cp -f ../cudd-*/Makefile ../cudd-*/Makefile_32bit
+cp -f ../cudd-*/Makefile_64bit ../cudd-*/Makefile
+%endif
+
 %{__aclocal}
 %{__autoconf}
 %{__autoheader}
@@ -148,6 +153,9 @@
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.7  2007/09/14 14:00:38  baggins
+- 64bit hack
+
 Revision 1.6  2007/09/14 13:57:26  baggins
 - removed no longer needed hacks
 
================================================================

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