1 # Maintainer: Kyle Temkin <kyle at ktemkin dot com>
6 pkgdesc="Heuristic logic minimizer; reduces the amount of gates required for digital circuits."
8 url="http://code.google.com/p/eqntott/"
12 optdepends=('eqntott: equation-based input')
13 source=(http://eqntott.googlecode.com/files/$pkgname-ab-$pkgver.tar.gz)
14 md5sums=('1c60ac344779dc8753f8e0785eafd8ac')
17 cd $srcdir/$pkgname-ab-$pkgver
19 #autogenerate makefile
20 ./configure --prefix=/usr || return 1
28 cd $srcdir/$pkgname-ab-$pkgver
31 make DESTDIR=$pkgdir install || return 1
34 install -D -m644 COPYING "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"