Changeset 134149


Ignore:
Timestamp:
Mar 19, 2015, 5:38:13 AM (5 years ago)
Author:
larryv@…
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.
File:
1 edited

Legend:

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

    r134148 r134149  
    33
    44PortSystem          1.0
     5PortGroup           github 1.0
     6PortGroup           cmake 1.0
    57
    6 name                stp
    7 version             0.1
     8github.setup        stp stp 450a95243aeec7a246af343cd86297e5ecd40765
     9version             20150306
    810categories          math
    911platforms           darwin
     
    1820                    provers, automated bug finders, intelligent fuzzers and \
    1921                    model checkers.
    20 homepage            http://people.csail.mit.edu/vganesh/STP_files/stp.html
     22homepage            http://stp.github.io/stp
    2123
    22 depends_build       path:bin/bison:bison \
    23                     port:flex \
    24                     path:bin/perl:perl5
     24depends_build-append    path:bin/bison:bison \
     25                        port:flex \
     26                        path:bin/perl:perl5
     27depends_lib             port:boost
    2528
    26 master_sites        sourceforge:stp-fast-prover
    27 distname            ${livecheck.version}-11-18-2008
    28 extract.suffix      .tgz
    29 checksums           rmd160 f3b2e0ddb4f72ae515712fc94adc58d1356bc5cb
     29checksums               rmd160  34bdb046f345ab5919c150038544dad590fc9ded \
     30                        sha256  ff64fb17e0eff2bfe1a1844649e762ffd83eecef9af1c5ead0a66d2af39bb63c
    3031
    31 patchfiles          patch-Makefile.in.diff
     32cmake.out_of_source     yes
    3233
    33 configure.ccache    no
    34 configure.pre_args  --with-prefix=${prefix}
     34configure.args-append   -DALSO_BUILD_STATIC_LIB=NO
    3535
    36 use_parallel_build  no
    37 
    38 livecheck.version   ${name}-ver-${version}
     36# Not really sure how to deal with this.
     37configure.args-append   -DENABLE_PYTHON_INTERFACE=NO
Note: See TracChangeset for help on using the changeset viewer.