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