PortSystem 1.0

name                espresso
version             1.0
revision            1
categories          math science devel
platforms           darwin
license             BSD
maintainers         nomaintainer
description         logic minimization program
long_description    Espresso is a program using heuristic and specific \
                    algorithms for efficiently reducing the complexity of \
                    digital electronic gate circuits

homepage            http://embedded.eecs.berkeley.edu/pubs/downloads/espresso/
master_sites        ftp://ftp.cs.man.ac.uk/pub/amulet/balsa/other-software/:src \
                    http://embedded.eecs.berkeley.edu/pubs/downloads/espresso/:doc

distfiles           espresso-ab-${version}.tar.gz:src espresso.man.tar.gz:doc

checksums           espresso-ab-${version}.tar.gz \
                    rmd160  36fa7f468db170d7a32f087401f1a9c819a7d606 \
                    sha256  788a47b64258b8371e138c267da6043be324d49058462efe2f6870515bfd5479 \
                    espresso.man.tar.gz \
                    rmd160  2d2929b156a8e68915fd4b6168455a0a2bb4d171 \
                    sha256  4f63380e136351a2e229dd5c35ebeaffd14512e856ac317e77d18e67d4f45858

worksrcdir          espresso-ab-${version}

patchfiles          patch-src-unate.c.diff

post-destroot {
    set mandir ${destroot}${prefix}/share/man
    xinstall -m 755 -d ${mandir}/man1 ${mandir}/man5
    xinstall -m 644 ${workpath}/espresso.1 ${mandir}/man1/
    xinstall -m 644 ${workpath}/espresso.5 ${mandir}/man5/
}

livecheck.type      regex
livecheck.url       ftp://ftp.cs.man.ac.uk/pub/amulet/balsa/other-software/
livecheck.regex     espresso-ab-(\[0-9.\]+)${extract.suffix}

