# $Id: Portfile 92832 2012-05-08 23:37:21Z ryandesign@macports.org $

PortSystem 1.0

name                espresso
version             1.0
revision            1
categories          math science devel
platforms           darwin
license             BSD
maintainers         mww openmaintainer
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-1.0.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/
}
