diff options
| author | Boqun Feng | 2015-11-18 23:21:01 +0800 |
|---|---|---|
| committer | Boqun Feng | 2015-11-18 23:21:01 +0800 |
| commit | 063080c0ed154c106b4b474f1cd26e17b0b82d44 (patch) | |
| tree | 42abeef2c8b5110a9c211c22f388d865406aa496 | |
| download | aur-063080c0ed154c106b4b474f1cd26e17b0b82d44.tar.gz | |
Initial import
| -rw-r--r-- | .SRCINFO | 14 | ||||
| -rw-r--r-- | PKGBUILD | 24 |
2 files changed, 38 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..6da0e9c7048f --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,14 @@ +pkgbase = diy + pkgdesc = The sofware suite provides tools to design and test weak memory models. + pkgver = 7.01 + pkgrel = 1 + url = http://coq.inria.fr/ + arch = i686 + arch = x86_64 + license = CeCiLL-B + makedepends = ocaml>=4.01 + source = http://diy.inria.fr/sources/diy.tar.gz + sha1sums = 1777d0bcf224cf7e02a77337494b3b7a8aae78c4 + +pkgname = diy + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..d7f339c4c1c8 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,24 @@ +# Maintainer: Boqun Feng <fixme AT archlinuxcn dot org> +pkgname=diy +pkgver=7.01 +pkgrel=1 +pkgdesc='The sofware suite provides tools to design and test weak memory models.' +arch=('i686' 'x86_64') +url='http://coq.inria.fr/' +license=('CeCiLL-B') +makedepends=('ocaml>=4.01') +source=("http://diy.inria.fr/sources/diy.tar.gz") +sha1sums=("1777d0bcf224cf7e02a77337494b3b7a8aae78c4") + +build() { + cd ${srcdir}/diy-$pkgver + make all +} + +package() { + cd ${srcdir}/diy-${pkgver} + make PREFIX="${pkgdir}/usr" install + + install -Dm644 LICENSE.txt ${pkgdir}/usr/share/licenses/${pkgname}/LICENSE.txt + +} |