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

[larryv at macports.org]

Revision: 134060
          https://trac.macports.org/changeset/134060
Author:   larryv at macports.org
Date:     2015-03-17 13:25:29 -0700 (Tue, 17 Mar 2015)
Log Message:
-----------
stp: Roll back accidental r134055 and r134057

Revision Links:
--------------
    https://trac.macports.org/changeset/134055
    https://trac.macports.org/changeset/134057

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

Modified: trunk/dports/math/stp/Portfile
===================================================================
--- trunk/dports/math/stp/Portfile	2015-03-17 20:25:06 UTC (rev 134059)
+++ trunk/dports/math/stp/Portfile	2015-03-17 20:25:29 UTC (rev 134060)
@@ -1,17 +1,14 @@
-# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
 # $Id$
 
 PortSystem          1.0
-PortGroup           github 1.0
-PortGroup           cmake 1.0
 
-github.setup        stp stp 450a95243aeec7a246af343cd86297e5ecd40765
-version             20150306
+name                stp
+version             0.1
+revision            0
 categories          math
-platforms           darwin
-universal_variant   no
 license             MIT
 maintainers         nomaintainer
+platforms           darwin
 
 description         STP (Simple Theorem Provider)
 long_description    STP is a constraint solver (also referred to as a \
@@ -19,17 +16,24 @@
                     constraints generated by program analysis tools, theorem \
                     provers, automated bug finders, intelligent fuzzers and \
                     model checkers.
-homepage            http://stp.github.io/stp
+homepage            http://people.csail.mit.edu/vganesh/STP_files/stp.html
 
-depends_build-append    path:bin/bison:bison \
-                        port:flex \
-                        path:bin/perl:perl5
-depends_lib             port:boost
+livecheck.version   ${name}-ver-${version}
 
-checksums           rmd160  34bdb046f345ab5919c150038544dad590fc9ded \
-                    sha256  ff64fb17e0eff2bfe1a1844649e762ffd83eecef9af1c5ead0a66d2af39bb63c
+depends_build       path:bin/bison:bison path:bin/perl:perl5 port:flex
 
-configure.args-append   -DALSO_BUILD_STATIC_LIB=NO
+distname            ${livecheck.version}-11-18-2008
+master_sites        sourceforge:stp-fast-prover
 
-# Not really sure how to deal with this.
-configure.args-append   -DENABLE_PYTHON_INTERFACE=NO
+checksums           rmd160 f3b2e0ddb4f72ae515712fc94adc58d1356bc5cb
+
+extract.suffix      .tgz
+
+patchfiles          patch-Makefile.in.diff
+
+configure.ccache    no
+configure.pre_args  --with-prefix=${prefix}
+
+universal_variant   no
+
+use_parallel_build  no
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20150317/8395dbf8/attachment.html>