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 /PKGBUILD | |
download | aur-063080c0ed154c106b4b474f1cd26e17b0b82d44.tar.gz |
Initial import
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 24 |
1 files changed, 24 insertions, 0 deletions
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 + +} |