packages: NuSMV/NuSMV-solvers.patch - show commands run by make
baggins
baggins at pld-linux.org
Wed Apr 6 21:08:36 CEST 2011
Author: baggins Date: Wed Apr 6 19:08:36 2011 GMT
Module: packages Tag: HEAD
---- Log message:
- show commands run by make
---- Files affected:
packages/NuSMV:
NuSMV-solvers.patch (1.2 -> 1.3)
---- Diffs:
================================================================
Index: packages/NuSMV/NuSMV-solvers.patch
diff -u packages/NuSMV/NuSMV-solvers.patch:1.2 packages/NuSMV/NuSMV-solvers.patch:1.3
--- packages/NuSMV/NuSMV-solvers.patch:1.2 Tue May 18 12:44:10 2010
+++ packages/NuSMV/NuSMV-solvers.patch Wed Apr 6 21:08:30 2011
@@ -1,10 +1,41 @@
diff -ur NuSMV-2.4.3/MiniSat/MiniSat_v070721_nusmv.patch NuSMV-2.4.3.solvers/MiniSat/MiniSat_v070721_nusmv.patch
--- NuSMV-2.4.3/MiniSat/MiniSat_v070721_nusmv.patch 2007-03-27 18:13:30.000000000 +0200
+++ NuSMV-2.4.3.solvers/MiniSat/MiniSat_v070721_nusmv.patch 2009-04-22 13:02:51.000000000 +0200
-@@ -447,11 +447,23 @@
+@@ -434,7 +434,20 @@
+ CFLAGS ?= -Wall
+ LFLAGS ?= -Wall
+
+-@@ -70,7 +71,7 @@
++@@ -60,18 +60,18 @@
++ ## Build rule
++ %.o %.op %.od %.or: %.C
++ @echo Compiling: "$@ ( $< )"
++- @$(CXX) $(CFLAGS) -c -o $@ $<
+++ $(CXX) $(CFLAGS) -c -o $@ $<
++
++ ## Linking rules (standard/profile/debug/release)
++ $(EXEC) $(EXEC)_profile $(EXEC)_debug $(EXEC)_release $(EXEC)_static:
++ @echo Linking: "$@ ( $^ )"
++- @$(CXX) $^ $(LFLAGS) -o $@
+++ $(CXX) $^ $(LFLAGS) -o $@
++
++ ## Library rule
+ lib$(LIB).a lib$(LIB)d.a:
+ @echo Library: "$@ ( $^ )"
+ @rm -f $@
+@@ -443,11 +456,32 @@
## Clean rule
clean:
++@@ -81,7 +81,7 @@
++ ## Make dependencies
++ depend.mk: $(CSRCS) $(CHDRS)
++ @echo Making dependencies ...
++- @$(CXX) $(CFLAGS) -MM $(CSRCS) > depend.mk
+++ $(CXX) $(CFLAGS) -MM $(CSRCS) > depend.mk
++ @cp depend.mk /tmp/depend.mk.tmp
++ @sed "s/o:/op:/" /tmp/depend.mk.tmp >> depend.mk
++ @sed "s/o:/od:/" /tmp/depend.mk.tmp >> depend.mk
+diff -ur minisat_ORIG/core/Makefile minisat/core/Makefile
+--- minisat_ORIG/core/Makefile 2006-10-02 14:09:37.000000000 +0200
++++ minisat/core/Makefile 2009-04-22 13:01:08.000000000 +0200
================================================================
---- CVS-web:
http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/packages/NuSMV/NuSMV-solvers.patch?r1=1.2&r2=1.3&f=u
More information about the pld-cvs-commit
mailing list