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

[larryv at macports.org]

Revision: 134057
          https://trac.macports.org/changeset/134057
Author:   larryv at macports.org
Date:     2015-03-17 13:18:51 -0700 (Tue, 17 Mar 2015)
Log Message:
-----------
stp: Switch to GitHub, update to latest commit

Also:
- Use cmake-1.0 because upstream switched at some point.
- 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-17 20:18:49 UTC (rev 134056)
+++ trunk/dports/math/stp/Portfile	2015-03-17 20:18:51 UTC (rev 134057)
@@ -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,17 @@
                     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
+configure.args-append   -DALSO_BUILD_STATIC_LIB=NO
 
-configure.ccache    no
-configure.pre_args  --with-prefix=${prefix}
-
-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/20150317/7ffc1986/attachment.html>