diff options
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 + +} |