packages: NuSMV/NuSMV-solvers.patch - show commands run by make

[baggins]

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

_______________________________________________
pld-cvs-commit mailing list
pld-cvs-commit@lists.pld-linux.org
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit