# -*- 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

PortSystem          1.0
PortGroup           github 1.0
PortGroup           cmake 1.1
PortGroup           boost 1.0

github.setup        stp stp 450a95243aeec7a246af343cd86297e5ecd40765
# Change github.tarball_from to 'releases' or 'archive' next update
github.tarball_from tarball
version             20150306
revision            3
categories          math
universal_variant   no
license             MIT
maintainers         nomaintainer

description         STP (Simple Theorem Provider)
long_description    STP is a constraint solver (also referred to as a \
                    decision procedure or automated prover) aimed at solving \
                    constraints generated by program analysis tools, theorem \
                    provers, automated bug finders, intelligent fuzzers and \
                    model checkers.
homepage            https://stp.github.io/stp

depends_build-append    path:bin/bison:bison \
                        port:flex \
                        path:bin/perl:perl5

checksums               rmd160  34bdb046f345ab5919c150038544dad590fc9ded \
                        sha256  ff64fb17e0eff2bfe1a1844649e762ffd83eecef9af1c5ead0a66d2af39bb63c

cmake.out_of_source     yes

configure.args-append   -DALSO_BUILD_STATIC_LIB=NO

# Not really sure how to deal with this.
configure.args-append   -DENABLE_PYTHON_INTERFACE=NO

compiler.cxx_standard   2011
