Changeset 134060 for trunk/dports/math


Ignore:
Timestamp:
Mar 17, 2015, 8:25:29 PM (5 years ago)
Author:
larryv@…
Message:

stp: Roll back accidental r134055 and r134057

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/dports/math/stp/Portfile

    r134057 r134060  
    1 # -*- 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
    21# $Id$
    32
    43PortSystem          1.0
    5 PortGroup           github 1.0
    6 PortGroup           cmake 1.0
    74
    8 github.setup        stp stp 450a95243aeec7a246af343cd86297e5ecd40765
    9 version             20150306
     5name                stp
     6version             0.1
     7revision            0
    108categories          math
    11 platforms           darwin
    12 universal_variant   no
    139license             MIT
    1410maintainers         nomaintainer
     11platforms           darwin
    1512
    1613description         STP (Simple Theorem Provider)
     
    2017                    provers, automated bug finders, intelligent fuzzers and \
    2118                    model checkers.
    22 homepage            http://stp.github.io/stp
     19homepage            http://people.csail.mit.edu/vganesh/STP_files/stp.html
    2320
    24 depends_build-append    path:bin/bison:bison \
    25                         port:flex \
    26                         path:bin/perl:perl5
    27 depends_lib             port:boost
     21livecheck.version   ${name}-ver-${version}
    2822
    29 checksums           rmd160  34bdb046f345ab5919c150038544dad590fc9ded \
    30                     sha256  ff64fb17e0eff2bfe1a1844649e762ffd83eecef9af1c5ead0a66d2af39bb63c
     23depends_build       path:bin/bison:bison path:bin/perl:perl5 port:flex
    3124
    32 configure.args-append   -DALSO_BUILD_STATIC_LIB=NO
     25distname            ${livecheck.version}-11-18-2008
     26master_sites        sourceforge:stp-fast-prover
    3327
    34 # Not really sure how to deal with this.
    35 configure.args-append   -DENABLE_PYTHON_INTERFACE=NO
     28checksums           rmd160 f3b2e0ddb4f72ae515712fc94adc58d1356bc5cb
     29
     30extract.suffix      .tgz
     31
     32patchfiles          patch-Makefile.in.diff
     33
     34configure.ccache    no
     35configure.pre_args  --with-prefix=${prefix}
     36
     37universal_variant   no
     38
     39use_parallel_build  no
Note: See TracChangeset for help on using the changeset viewer.