# $Id: Portfile 94380 2012-06-17 08:13:20Z mww@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-${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}