initial commit

This commit is contained in:
Brent Carmer 2019-09-05 13:21:53 -07:00
commit a441b0beaa
2 changed files with 55 additions and 0 deletions

18
.SRCINFO Normal file
View file

@ -0,0 +1,18 @@
pkgbase = abc-hg
pkgdesc = System for Sequential Logic Synthesis and Formal Verification
pkgver = r.
pkgrel = 1
url = http://www.eecs.berkeley.edu/~alanmi/abc/abc.htm
arch = x86_64
arch = i686
license = BSD
makedepends = git
makedepends = make
makedepends = gcc
provides = abc
conflicts = abc
source = git+https://github.com/berkeley-abc/abc.git
md5sums = SKIP
pkgname = abc-hg

37
PKGBUILD Normal file
View file

@ -0,0 +1,37 @@
# Maintainer: Brent Carmer <bcarmer@gmail.com>
_pkgname=abc
pkgname=$_pkgname-hg
pkgver=r.
pkgver() {
cd "$_pkgname"
printf "r%s.%s" "$(hg identify -n)" "$(hg identify -i)"
}
pkgrel=1
pkgdesc="System for Sequential Logic Synthesis and Formal Verification"
url="http://www.eecs.berkeley.edu/~alanmi/abc/abc.htm"
arch=('x86_64' 'i686')
license=('BSD')
depends=()
makedepends=('git' 'make' 'gcc')
optdepends=()
conflicts=()
replaces=()
backup=()
conflicts=('abc')
provides=('abc')
md5sums=('SKIP')
source=('git+https://github.com/berkeley-abc/abc.git')
build() {
cd $srcdir/$_pkgname
make -j
}
package() {
mkdir -p $pkgdir/usr/bin
cd $srcdir/$_pkgname
cp abc $pkgdir/usr/bin
}