[50622] trunk/dports/math

[perry at macports.org]

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>