mirror of
https://github.com/macports/macports-ports.git
synced 2026-07-12 18:20:25 -07:00
41 lines
1.5 KiB
Tcl
41 lines
1.5 KiB
Tcl
# -*- 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
|