- fixed hack

Changed files:
    NuSMV.spec -> 1.8

diff --git a/NuSMV.spec b/NuSMV.spec
index 4b0a6e9378dafc76b2e292479f61c596506bb173..49b22307f7e9e8975d8a5b2b8a1533f107a58112 100644 (file)
--- a/NuSMV.spec
+++ b/NuSMV.spec
@@ -85,16 +85,18 @@ Statyczna biblioteka NuSMV.
 %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}