[134149] trunk/dports/math/stp/Portfile

[larryv at macports.org]

Revision: 134149
          https://trac.macports.org/changeset/134149
Author:   larryv at macports.org
Date:     2015-03-18 22:38:13 -0700 (Wed, 18 Mar 2015)
Log Message:
-----------
stp: Update to tip of trunk as of 2015-03-06

Also:
- Use cmake-1.0 because upstream switched at some point.
- Fetch from GitHub, as development appears to have moved.
- Use GitHub Pages as homepage.

Modified Paths:
--------------
    trunk/dports/math/stp/Portfile

Modified: trunk/dports/math/stp/Portfile
===================================================================
--- trunk/dports/math/stp/Portfile	2015-03-19 05:38:06 UTC (rev 134148)
+++ trunk/dports/math/stp/Portfile	2015-03-19 05:38:13 UTC (rev 134149)
@@ -2,9 +2,11 @@
 # $Id$
 
 PortSystem          1.0
+PortGroup           github 1.0
+PortGroup           cmake 1.0
 
-name                stp
-version             0.1
+github.setup        stp stp 450a95243aeec7a246af343cd86297e5ecd40765
+version             20150306
 categories          math
 platforms           darwin
 universal_variant   no
@@ -17,22 +19,19 @@
                     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
+homepage            http://stp.github.io/stp
 
-depends_build       path:bin/bison:bison \
-                    port:flex \
-                    path:bin/perl:perl5
+depends_build-append    path:bin/bison:bison \
+                        port:flex \
+                        path:bin/perl:perl5
+depends_lib             port:boost
 
-master_sites        sourceforge:stp-fast-prover
-distname            ${livecheck.version}-11-18-2008
-extract.suffix      .tgz
-checksums           rmd160 f3b2e0ddb4f72ae515712fc94adc58d1356bc5cb
+checksums               rmd160  34bdb046f345ab5919c150038544dad590fc9ded \
+                        sha256  ff64fb17e0eff2bfe1a1844649e762ffd83eecef9af1c5ead0a66d2af39bb63c
 
-patchfiles          patch-Makefile.in.diff
+cmake.out_of_source     yes
 
-configure.ccache    no
-configure.pre_args  --with-prefix=${prefix}
+configure.args-append   -DALSO_BUILD_STATIC_LIB=NO
 
-use_parallel_build  no
-
-livecheck.version   ${name}-ver-${version}
+# Not really sure how to deal with this.
+configure.args-append   -DENABLE_PYTHON_INTERFACE=NO
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20150318/9a274c0f/attachment-0001.html>