diff options
| author | robinleander | 2018-07-27 11:31:34 +0200 |
|---|---|---|
| committer | robinleander | 2018-07-27 11:31:34 +0200 |
| commit | ce962cdd6612db268cd2d957c38bf3ea57421473 (patch) | |
| tree | c6ac04b28b9744aedbf6375df0071224d1b2993a | |
| download | aur-ce962cdd6612db268cd2d957c38bf3ea57421473.tar.gz | |
Initial release
| -rw-r--r-- | .SRCINFO | 31 | ||||
| -rw-r--r-- | PKGBUILD | 26 |
2 files changed, 57 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..1941c188d32b --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,31 @@ +pkgbase = kremlin + pkgdesc = a tool for extracting low-level F* programs to readable C code + pkgver = 0.9.6.0 + pkgrel = 1 + url = https://github.com/FStarLang/kremlin + arch = i686 + arch = x86_64 + license = Apache-2.0 + depends = fstar + depends = ocaml + depends = fstar-ulib + depends = ocaml-fstar + depends = ocaml-batteries + depends = ocaml-ppx_deriving_yojson + depends = ocaml-zarith + depends = ocaml-stdint + depends = ocaml-pprint + depends = ocaml-menhir + depends = ulex-git + depends = ocaml-process + depends = ocaml-fix + depends = ocaml-wasm + depends = ocaml-visitors + options = !strip + options = !makeflags + options = staticlibs + source = https://github.com/FStarLang/kremlin/archive/v0.9.6.0.tar.gz + sha384sums = 12c9649424cc8c5ccc4ec21c87c6efd8bb8a60d5150401c482a9f8451c971417489ee84d09f5f7ac03a2c2740470a12f + +pkgname = kremlin + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..e67e4c4d5cb5 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,26 @@ +# Maintainer: crave <crave@noreply.org> + +pkgname=kremlin +pkgver=0.9.6.0 +pkgrel=1 +pkgdesc="a tool for extracting low-level F* programs to readable C code" +arch=('i686' 'x86_64') +url='https://github.com/FStarLang/kremlin' +license=('Apache-2.0') +options=('!strip' '!makeflags' 'staticlibs') +depends=('fstar' 'ocaml' 'fstar-ulib' 'ocaml-fstar' 'ocaml-batteries' 'ocaml-ppx_deriving_yojson' 'ocaml-zarith' 'ocaml-stdint' 'ocaml-pprint' 'ocaml-menhir' 'ulex-git' 'ocaml-process' 'ocaml-fix' 'ocaml-wasm' 'ocaml-visitors') +source=('https://github.com/FStarLang/kremlin/archive/v0.9.6.0.tar.gz') +sha384sums=('12c9649424cc8c5ccc4ec21c87c6efd8bb8a60d5150401c482a9f8451c971417489ee84d09f5f7ac03a2c2740470a12f') + +build() { + cd "$srcdir/"*/ + export FSTAR_HOME=/opt/fstar + export PATH="$PATH:$FSTAR_HOME/bin" + make +} + +package() { + cd "$srcdir/"*/ + export PREFIX="$pkgdir/usr" + make install +} |