]>
Commit | Line | Data |
---|---|---|
34278b65 JR |
1 | diff -ur NuSMV-2.4.3/MiniSat/minisat-default.in NuSMV-2.4.3.solvers/MiniSat/minisat-default.in |
2 | --- NuSMV-2.4.3/MiniSat/minisat-default.in 2007-03-16 15:32:59.000000000 +0100 | |
3 | +++ NuSMV-2.4.3.solvers/MiniSat/minisat-default.in 2009-04-22 12:57:50.000000000 +0200 | |
4 | @@ -13,12 +13,13 @@ | |
5 | #minisat_zip=MiniSat_v${minisat_ver}_src.zip | |
6 | #minisat_dir=MiniSat_v${minisat_ver} | |
7 | ||
8 | -minisat_ver=061208 | |
9 | +minisat_ver=070721 | |
10 | minisat_zip=minisat2-${minisat_ver}.zip | |
11 | minisat_dir=minisat | |
12 | ||
13 | # ---------------------------------------------------------------------- | |
14 | -minisat_patch=MiniSat_v${minisat_ver}_nusmv.patch | |
15 | +#minisat_patch=MiniSat_v${minisat_ver}_nusmv.patch | |
16 | +minisat_patch=MiniSat_v061208_nusmv.patch | |
17 | minisat_link=MiniSat_v${minisat_ver} | |
18 | minisat_libname=MiniSat | |
19 | minisat_ifcname=Solver_C.h | |
20 | diff -ur NuSMV-2.4.3/MiniSat/MiniSat_v061208_nusmv.patch NuSMV-2.4.3.solvers/MiniSat/MiniSat_v061208_nusmv.patch | |
21 | --- NuSMV-2.4.3/MiniSat/MiniSat_v061208_nusmv.patch 2007-03-27 18:13:30.000000000 +0200 | |
22 | +++ NuSMV-2.4.3.solvers/MiniSat/MiniSat_v061208_nusmv.patch 2009-04-22 13:02:51.000000000 +0200 | |
23 | @@ -270,11 +270,27 @@ | |
24 | ||
25 | ## Clean rule | |
26 | clean: | |
27 | +diff -ur minisat_ORIG/core/Makefile minisat/core/Makefile | |
28 | +--- minisat_ORIG/core/Makefile 2006-10-02 14:09:37.000000000 +0200 | |
29 | ++++ minisat/core/Makefile 2009-04-22 13:01:08.000000000 +0200 | |
30 | +@@ -1,7 +1,7 @@ | |
31 | + MTL = ../mtl | |
32 | + CHDRS = $(wildcard *.h) $(wildcard $(MTL)/*.h) | |
33 | + EXEC = minisat | |
34 | +-CFLAGS = -I$(MTL) -Wall -ffloat-store | |
35 | ++CFLAGS = -I$(MTL) -Wall -ffloat-store $(OPTFLAGS) | |
36 | + LFLAGS = -lz | |
37 | + | |
38 | + include ../mtl/template.mk | |
39 | diff -Naur minisat_ORIG/simp/Makefile minisat/simp/Makefile | |
40 | --- minisat_ORIG/simp/Makefile 2006-10-02 14:09:42.000000000 +0200 | |
41 | +++ minisat/simp/Makefile 2007-03-27 17:49:56.000000000 +0200 | |
42 | -@@ -5,7 +5,8 @@ | |
43 | - CFLAGS = -I$(MTL) -I$(CORE) -Wall -ffloat-store | |
44 | +@@ -5,10 +5,11 @@ | |
45 | + CORE = ../core | |
46 | + CHDRS = $(wildcard *.h) $(wildcard $(MTL)/*.h) | |
47 | + EXEC = minisat | |
48 | +-CFLAGS = -I$(MTL) -I$(CORE) -Wall -ffloat-store | |
49 | ++CFLAGS = -I$(MTL) -I$(CORE) -Wall -ffloat-store $(OPTFLAGS) | |
50 | LFLAGS = -lz | |
51 | ||
52 | -CSRCS = $(wildcard *.C) | |
53 | diff -ur NuSMV-2.4.3/zchaff/zchaff.64bit.2007.3.12_nusmv.patch NuSMV-2.4.3.solvers/zchaff/zchaff.64bit.2007.3.12_nusmv.patch | |
54 | --- NuSMV-2.4.3/zchaff/zchaff.64bit.2007.3.12_nusmv.patch 2007-03-16 15:33:00.000000000 +0100 | |
55 | +++ NuSMV-2.4.3.solvers/zchaff/zchaff.64bit.2007.3.12_nusmv.patch 2009-04-22 12:59:23.000000000 +0200 | |
56 | @@ -1,11 +1,11 @@ | |
57 | -diff -Naur zchaff64_ORIG/Makefile zchaff64/Makefile | |
58 | ---- zchaff64_ORIG/Makefile 2007-03-14 03:48:02.000000000 +0100 | |
59 | -+++ zchaff64/Makefile 2007-03-16 14:46:24.000000000 +0100 | |
60 | +diff -Naur zchaff_ORIG/Makefile zchaff/Makefile | |
61 | +--- zchaff_ORIG/Makefile 2007-03-14 03:48:02.000000000 +0100 | |
62 | ++++ zchaff/Makefile 2007-03-16 14:46:24.000000000 +0100 | |
63 | @@ -1,5 +1,6 @@ | |
64 | CC = g++ -Wall | |
65 | -CFLAGS = -O3 | |
66 | -+CXX = g++ -Wall | |
67 | -+CFLAGS = -O3 | |
68 | ++CXX = g++ | |
69 | ++CFLAGS = $(OPTFLAGS) | |
70 | ||
71 | #CFLAGS = -O3 -DNDEBUG | |
72 | #MFLAGS = | |
73 | @@ -47,9 +47,9 @@ | |
74 | ||
75 | clean: | |
76 | rm -f *.o libsat.a zchaff *wrapper.cpp zminimal zverify_df cnf_stats SAT_C.h | |
77 | -diff -Naur zchaff64_ORIG/zchaff_utils.cpp zchaff64/zchaff_utils.cpp | |
78 | ---- zchaff64_ORIG/zchaff_utils.cpp 2007-03-14 03:48:02.000000000 +0100 | |
79 | -+++ zchaff64/zchaff_utils.cpp 2007-03-16 14:48:56.000000000 +0100 | |
80 | +diff -Naur zchaff_ORIG/zchaff_utils.cpp zchaff/zchaff_utils.cpp | |
81 | +--- zchaff_ORIG/zchaff_utils.cpp 2007-03-14 03:48:02.000000000 +0100 | |
82 | ++++ zchaff/zchaff_utils.cpp 2007-03-16 14:48:56.000000000 +0100 | |
83 | @@ -38,7 +38,9 @@ | |
84 | #include <stdlib.h> | |
85 | #include <unistd.h> | |
86 | diff -ur NuSMV-2.4.3/zchaff/zchaff-default.in NuSMV-2.4.3.solvers/zchaff/zchaff-default.in | |
87 | --- NuSMV-2.4.3/zchaff/zchaff-default.in 2007-03-16 15:33:00.000000000 +0100 | |
88 | +++ NuSMV-2.4.3.solvers/zchaff/zchaff-default.in 2009-04-22 12:58:24.000000000 +0200 | |
89 | @@ -9,16 +9,17 @@ | |
90 | # ---------------------------------------------------------------------- | |
91 | ||
92 | # this is for the older version | |
93 | -#zchaff_ver=2004.11.15 | |
94 | -#zchaff_zip=zchaff.$zchaff_ver.zip | |
95 | -#zchaff_dir=zchaff | |
96 | +zchaff_ver=2008.10.12 | |
97 | +zchaff_zip=zchaff.$zchaff_ver.zip | |
98 | +zchaff_dir=zchaff | |
99 | ||
100 | -zchaff_ver=2007.3.12 | |
101 | -zchaff_zip=zchaff.64bit.$zchaff_ver.zip | |
102 | -zchaff_dir=zchaff64 | |
103 | +#zchaff_ver=2007.3.12 | |
104 | +#zchaff_zip=zchaff.64bit.$zchaff_ver.zip | |
105 | +#zchaff_dir=zchaff64 | |
106 | ||
107 | # ---------------------------------------------------------------------- | |
108 | -zchaff_patch=zchaff.64bit.${zchaff_ver}_nusmv.patch | |
109 | +#zchaff_patch=zchaff.64bit.${zchaff_ver}_nusmv.patch | |
110 | +zchaff_patch=zchaff.64bit.2007.3.12_nusmv.patch | |
111 | zchaff_link=../zchaff_v${zchaff_ver} | |
112 | zchaff_libname=sat | |
113 | zchaff_ifcname=SAT_C.h |