diff options
author | emersion | 2018-04-23 15:06:37 +0100 |
---|---|---|
committer | emersion | 2018-04-23 15:06:37 +0100 |
commit | 45b4fed15a25bcca43577c2dc9d36a88ac070790 (patch) | |
tree | 78be49ee892c830c4322e547c71cba4446f2ae9f /PKGBUILD | |
download | aur-45b4fed15a25bcca43577c2dc9d36a88ac070790.tar.gz |
First commit
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..b3b8f0795f69 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,31 @@ +# Maintainer: emersion <contact emersion fr> + +_pkgname=lem +pkgname=$_pkgname-git +pkgver=2018.04.23.r0.g6885823 +pkgrel=1 +pkgdesc="Lem semantic definition language" +url='https://github.com/rems-project/lem' +license=('MIT') +arch=('any') +depends=('ocaml' 'ocamlbuild' 'ocaml-findlib' 'zarith' 'ocaml-num') +source=('git+https://github.com/rems-project/lem.git') +sha512sums=('SKIP') + +pkgver() { + cd ${_pkgname} + git describe --long --tags --always | sed 's/\([^-]*-g\)/r\1/;s/-/./g' +} + +build() { + cd ${_pkgname} + make +} + +package() { + cd ${_pkgname} + export OCAMLFIND_DESTDIR="${pkgdir}$(ocamlfind printconf destdir)" + mkdir -p "$OCAMLFIND_DESTDIR" + # The Makefile variable names don't make sense, but w/e + make install INSTALL_DIR="${pkgdir}/usr" INSTALLDIR="$OCAMLFIND_DESTDIR" +} |