summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD28
1 files changed, 28 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..e7b1d145b92c
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,28 @@
+pkgname=ravi
+pkgver=0.12
+pkgrel=1
+pkgdesc='a derivative of Lua 5.3 with limited optional static typing and LLVM and libgccjit based JIT compilers'
+arch=(i686 x86_64)
+url='https://github.com/dibyendumajumdar/ravi'
+license=(MIT)
+options=(staticlibs)
+depends=(llvm)
+makedepends=(cmake)
+source=(ravi-$pkgver::https://github.com/dibyendumajumdar/ravi/archive/$pkgver.zip)
+sha1sums=('4c78e4231cce26d8cb64e18b0748cd8c3b7da30f')
+
+build() {
+ cd ravi-$pkgver
+ cmake -DLLVM_JIT=ON -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_BUILD_TYPE=RELEASE .
+ make
+}
+
+check() {
+ cd ravi-$pkgver
+ make test
+}
+
+package() {
+ cd ravi-$pkgver
+ make DESTDIR="$pkgdir" install
+}