PKGBUILD


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

# Maintainer: Brent Carmer <bcarmer@gmail.com>
_pkgname=abc
pkgname=$_pkgname-hg

pkgver=r3088.7cc77dc226de
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=('mercurial' 'make' 'gcc')
optdepends=()
conflicts=()
replaces=()
backup=()
conflicts=('abc')
provides=('abc')
md5sums=('SKIP')

source=('hg+https://hg@bitbucket.org/alanmi/abc')

build() {
  cd $srcdir/$_pkgname
  make
}

package() {
  mkdir -p $pkgdir/usr/bin
  cd $srcdir/$_pkgname
  cp abc $pkgdir/usr/bin
}