source: trunk/dports/math/stp/Portfile

Last change on this file was 134149, checked in by larryv@…, 2 years ago

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.
  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 1.4 KB
Line 
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
2# $Id: Portfile 134149 2015-03-19 05:38:13Z ryandesign@macports.org $
3
4PortSystem          1.0
5PortGroup           github 1.0
6PortGroup           cmake 1.0
7
8github.setup        stp stp 450a95243aeec7a246af343cd86297e5ecd40765
9version             20150306
10categories          math
11platforms           darwin
12universal_variant   no
13license             MIT
14maintainers         nomaintainer
15
16description         STP (Simple Theorem Provider)
17long_description    STP is a constraint solver (also referred to as a \
18                    decision procedure or automated prover) aimed at solving \
19                    constraints generated by program analysis tools, theorem \
20                    provers, automated bug finders, intelligent fuzzers and \
21                    model checkers.
22homepage            http://stp.github.io/stp
23
24depends_build-append    path:bin/bison:bison \
25                        port:flex \
26                        path:bin/perl:perl5
27depends_lib             port:boost
28
29checksums               rmd160  34bdb046f345ab5919c150038544dad590fc9ded \
30                        sha256  ff64fb17e0eff2bfe1a1844649e762ffd83eecef9af1c5ead0a66d2af39bb63c
31
32cmake.out_of_source     yes
33
34configure.args-append   -DALSO_BUILD_STATIC_LIB=NO
35
36# Not really sure how to deal with this.
37configure.args-append   -DENABLE_PYTHON_INTERFACE=NO
Note: See TracBrowser for help on using the repository browser.