commit a441b0beaa3e93e55d83908f20840d02b8b57ddc
Author: Brent Carmer <bcarmer@galois.com>
Date:   Thu Sep 5 13:21:53 2019 -0700

    initial commit

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 0000000..a1a5616
--- /dev/null
+++ b/.SRCINFO
@@ -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
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 0000000..f832816
--- /dev/null
+++ b/PKGBUILD
@@ -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
+}