[83549] trunk/dports/math

[mww at macports.org]

Revision: 83549
          http://trac.macports.org/changeset/83549
Author:   mww at macports.org
Date:     2011-09-05 10:12:17 -0700 (Mon, 05 Sep 2011)
Log Message:
-----------
new port: math/minisat

Added Paths:
-----------
    trunk/dports/math/minisat/
    trunk/dports/math/minisat/Portfile
    trunk/dports/math/minisat/files/
    trunk/dports/math/minisat/files/patch-mtl-template.mk.diff
    trunk/dports/math/minisat/files/patch-utils-System.cc.diff

Added: trunk/dports/math/minisat/Portfile
===================================================================
--- trunk/dports/math/minisat/Portfile	                        (rev 0)
+++ trunk/dports/math/minisat/Portfile	2011-09-05 17:12:17 UTC (rev 83549)
@@ -0,0 +1,42 @@
+# $Id: Portfile 63716 2010-02-13 13:52:50Z raimue at macports.org $
+
+PortSystem 1.0
+
+name		    minisat
+version		    2.2.0
+categories	    math science
+platforms           darwin
+maintainers	    mww openmaintainer
+homepage            http://minisat.se/
+license             MIT
+description	    Minimalistic SAT solver
+long_description    MiniSat is a minimalistic, open-source SAT solver, \
+                    developed to help researchers and developers alike to get \
+                    started on SAT.
+
+master_sites        http://minisat.se/downloads/
+patchfiles          patch-mtl-template.mk.diff patch-utils-System.cc.diff
+
+checksums           md5     99a2eaabe528cd366100e4bc0327d22e \
+                    sha1    dfc25898bf40e00cf04252a42176e0c0600fbc90 \
+                    rmd160  169ec9116befa9067db9076d26309f7e9ab408dd
+
+depends_build       port:gmake
+depends_lib         port:zlib
+
+worksrcdir          minisat
+
+use_configure       no
+
+build {
+    system "cd ${worksrcpath}/simp && MROOT=${worksrcpath} ${prefix}/bin/gmake rs CXX=\"${configure.cxx} ${configure.ldflags} ${configure.cppflags} ${configure.cxxflags}\""
+}
+
+destroot {
+    xinstall -m 755 -d ${destroot}${prefix}/bin \
+        ${destroot}${prefix}/share/doc/${name}
+    xinstall -m 755 ${worksrcpath}/simp/minisat_static ${destroot}${prefix}/bin/minisat
+    xinstall -m 644 -W ${worksrcpath} README LICENSE doc/ReleaseNotes-2.2.0.txt \
+        ${destroot}${prefix}/share/doc/${name}
+}
+

Added: trunk/dports/math/minisat/files/patch-mtl-template.mk.diff
===================================================================
--- trunk/dports/math/minisat/files/patch-mtl-template.mk.diff	                        (rev 0)
+++ trunk/dports/math/minisat/files/patch-mtl-template.mk.diff	2011-09-05 17:12:17 UTC (rev 83549)
@@ -0,0 +1,59 @@
+--- mtl/template.mk	2010-07-10 18:07:36.000000000 +0200
++++ mtl/template.mk	2011-09-05 18:30:15.000000000 +0200
+@@ -51,7 +51,7 @@
+ $(EXEC)_profile:	LFLAGS += -g -pg
+ $(EXEC)_debug:		LFLAGS += -g
+ #$(EXEC)_release:	LFLAGS += ...
+-$(EXEC)_static:		LFLAGS += --static
++$(EXEC)_static:		LFLAGS +=
+ 
+ ## Dependencies
+ $(EXEC):		$(COBJS)
+@@ -68,35 +68,35 @@
+ 
+ ## Build rule
+ %.o %.op %.od %.or:	%.cc
+-	@echo Compiling: $(subst $(MROOT)/,,$@)
+-	@$(CXX) $(CFLAGS) -c -o $@ $<
++	echo Compiling: $(subst $(MROOT)/,,$@)
++	$(CXX) $(CFLAGS) -c -o $@ $<
+ 
+ ## Linking rules (standard/profile/debug/release)
+ $(EXEC) $(EXEC)_profile $(EXEC)_debug $(EXEC)_release $(EXEC)_static:
+-	@echo Linking: "$@ ( $(foreach f,$^,$(subst $(MROOT)/,,$f)) )"
+-	@$(CXX) $^ $(LFLAGS) -o $@
++	echo Linking: "$@ ( $(foreach f,$^,$(subst $(MROOT)/,,$f)) )"
++	$(CXX) $^ $(LFLAGS) -o $@
+ 
+ ## Library rules (standard/profile/debug/release)
+ lib$(LIB)_standard.a lib$(LIB)_profile.a lib$(LIB)_release.a lib$(LIB)_debug.a:
+-	@echo Making library: "$@ ( $(foreach f,$^,$(subst $(MROOT)/,,$f)) )"
+-	@$(AR) -rcsv $@ $^
++	echo Making library: "$@ ( $(foreach f,$^,$(subst $(MROOT)/,,$f)) )"
++	$(AR) -rcsv $@ $^
+ 
+ ## Library Soft Link rule:
+ libs libp libd libr:
+-	@echo "Making Soft Link: $^ -> lib$(LIB).a"
+-	@ln -sf $^ lib$(LIB).a
++	echo "Making Soft Link: $^ -> lib$(LIB).a"
++	ln -sf $^ lib$(LIB).a
+ 
+ ## Clean rule
+ clean:
+-	@rm -f $(EXEC) $(EXEC)_profile $(EXEC)_debug $(EXEC)_release $(EXEC)_static \
++	rm -f $(EXEC) $(EXEC)_profile $(EXEC)_debug $(EXEC)_release $(EXEC)_static \
+ 	  $(COBJS) $(PCOBJS) $(DCOBJS) $(RCOBJS) *.core depend.mk 
+ 
+ ## Make dependencies
+ depend.mk: $(CSRCS) $(CHDRS)
+-	@echo Making dependencies
+-	@$(CXX) $(CFLAGS) -I$(MROOT) \
++	echo Making dependencies
++	$(CXX) $(CFLAGS) -I$(MROOT) \
+ 	   $(CSRCS) -MM | sed 's|\(.*\):|$(PWD)/\1 $(PWD)/\1r $(PWD)/\1d $(PWD)/\1p:|' > depend.mk
+-	@for dir in $(DEPDIR); do \
++	for dir in $(DEPDIR); do \
+ 	      if [ -r $(MROOT)/$${dir}/depend.mk ]; then \
+ 		  echo Depends on: $${dir}; \
+ 		  cat $(MROOT)/$${dir}/depend.mk >> depend.mk; \

Added: trunk/dports/math/minisat/files/patch-utils-System.cc.diff
===================================================================
--- trunk/dports/math/minisat/files/patch-utils-System.cc.diff	                        (rev 0)
+++ trunk/dports/math/minisat/files/patch-utils-System.cc.diff	2011-09-05 17:12:17 UTC (rev 83549)
@@ -0,0 +1,10 @@
+--- utils/System.cc	2010-07-10 18:07:36.000000000 +0200
++++ utils/System.cc	2011-09-05 18:44:07.000000000 +0200
+@@ -88,6 +88,7 @@
+     malloc_statistics_t t;
+     malloc_zone_statistics(NULL, &t);
+     return (double)t.max_size_in_use / (1024*1024); }
++double Minisat::memUsedPeak(void) { return memUsed(); }
+ 
+ #else
+ double Minisat::memUsed() { 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20110905/7fa474bd/attachment.html>