# $Id$

PortSystem          1.0

name                stp
version             0.1
revision            0
categories          math
maintainers         perry
platforms           darwin

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            http://people.csail.mit.edu/vganesh/STP_files/stp.html

livecheck.version   ${name}-ver-${version}

depends_build       path:bin/bison:bison path:bin/perl:perl5 port:flex

distname            ${livecheck.version}-11-18-2008
master_sites        sourceforge:stp-fast-prover

checksums           rmd160 f3b2e0ddb4f72ae515712fc94adc58d1356bc5cb

extract.suffix      .tgz

patchfiles          patch-Makefile.in.diff

configure.ccache    no
configure.pre_args  --with-prefix=${prefix}

universal_variant   no