[50622] trunk/dports/math
perry at macports.org
perry at macports.org
Tue May 5 02:13:07 PDT 2009
Revision: 50622
http://trac.macports.org/changeset/50622
Author: perry at macports.org
Date: 2009-05-05 02:13:07 -0700 (Tue, 05 May 2009)
Log Message:
-----------
math/stp: Added a new port.
Added Paths:
-----------
trunk/dports/math/stp/
trunk/dports/math/stp/Portfile
trunk/dports/math/stp/files/
trunk/dports/math/stp/files/patch-Makefile.in.diff
Added: trunk/dports/math/stp/Portfile
===================================================================
--- trunk/dports/math/stp/Portfile (rev 0)
+++ trunk/dports/math/stp/Portfile 2009-05-05 09:13:07 UTC (rev 50622)
@@ -0,0 +1,36 @@
+# $Id$
+
+PortSystem 1.0
+
+name stp
+version 0.1
+revision 0
+categories math
+maintainers perry
+platforms darwin
+
+description STP (Simple Theorem Provider)
+long_description STP is a constraint solver (also referred to as a \
+ decision procedure or automated prover) aimed at solving \
+ constraints generated by program analysis tools, theorem \
+ provers, automated bug finders, intelligent fuzzers and \
+ model checkers.
+homepage http://people.csail.mit.edu/vganesh/STP_files/stp.html
+
+livecheck.version ${name}-ver-${version}
+
+depends_build path:bin/bison:bison path:bin/perl:perl5 port:flex
+
+distname ${livecheck.version}-11-18-2008
+master_sites sourceforge:stp-fast-prover
+
+checksums rmd160 f3b2e0ddb4f72ae515712fc94adc58d1356bc5cb
+
+extract.suffix .tgz
+
+patchfiles patch-Makefile.in.diff
+
+configure.ccache no
+configure.pre_args --with-prefix=${prefix}
+
+universal_variant no
Property changes on: trunk/dports/math/stp/Portfile
___________________________________________________________________
Added: svn:keywords
+ Id
Added: svn:eol-style
+ native
Added: trunk/dports/math/stp/files/patch-Makefile.in.diff
===================================================================
--- trunk/dports/math/stp/files/patch-Makefile.in.diff (rev 0)
+++ trunk/dports/math/stp/files/patch-Makefile.in.diff 2009-05-05 09:13:07 UTC (rev 50622)
@@ -0,0 +1,16 @@
+--- Makefile.in.orig 2009-05-05 01:22:33.000000000 -0700
++++ Makefile.in 2009-05-05 01:41:43.000000000 -0700
+@@ -37,9 +37,10 @@
+
+ .PHONY: install
+ install: all
+- @cp -f $(BINARIES) $(BIN_DIR)
+- @cp -f $(LIBRARIES) $(LIB_DIR)
+- @cp -f $(HEADERS) $(INCLUDE_DIR)
++ @cp -f $(BINARIES) $(DESTDIR)$(BIN_DIR)
++ @cp -f $(LIBRARIES) $(DESTDIR)$(LIB_DIR)
++ @mkdir -m 755 -p $(DESTDIR)$(INCLUDE_DIR)
++ @cp -f $(HEADERS) $(DESTDIR)$(INCLUDE_DIR)
+ @echo "STP installed successfully."
+
+ .PHONY: clean
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20090505/fd715ea8/attachment.html>
More information about the macports-changes
mailing list