- 64bit hack

Changed files:
    NuSMV.spec -> 1.7

diff --git a/NuSMV.spec b/NuSMV.spec
index c24c3140591969625581ad564deb544cccdcf61a..4b0a6e9378dafc76b2e292479f61c596506bb173 100644 (file)
--- a/NuSMV.spec
+++ b/NuSMV.spec
@@ -90,6 +90,11 @@ cd nusmv
 ICFLAGS="%{rpmcflags}"
 export ICFLAGS
 
+%ifarch %{x8664}
+cp -f ../cudd-*/Makefile ../cudd-*/Makefile_32bit
+cp -f ../cudd-*/Makefile_64bit ../cudd-*/Makefile
+%endif
+
 %{__aclocal}
 %{__autoconf}
 %{__autoheader}