First commit

2 files changed, 48 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..c31b23e4864e
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,17 @@
+pkgbase = lem-git
+	pkgdesc = Lem semantic definition language
+	pkgver = 2018.04.23.r0.g6885823
+	pkgrel = 1
+	url = https://github.com/rems-project/lem
+	arch = any
+	license = MIT
+	depends = ocaml
+	depends = ocamlbuild
+	depends = ocaml-findlib
+	depends = zarith
+	depends = ocaml-num
+	source = git+https://github.com/rems-project/lem.git
+	sha512sums = SKIP
+
+pkgname = lem-git
+
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"
+}