diff options
| author | Mort Yao | 2017-02-22 04:12:21 +0100 |
|---|---|---|
| committer | Mort Yao | 2017-02-22 04:12:21 +0100 |
| commit | 43c42bb95878e58adf73f802f280caa64cb757bf (patch) | |
| tree | 8eca3bd0c8270379a2a84b394ee9c36714a20e5f | |
| parent | 2bc7958aa48cde40bb1ff957624dcb0bb5dd01a6 (diff) | |
| download | aur-43c42bb95878e58adf73f802f280caa64cb757bf.tar.gz | |
fstar 0.9.4.0-2
| -rw-r--r-- | .SRCINFO | 7 | ||||
| -rw-r--r-- | PKGBUILD | 8 |
2 files changed, 9 insertions, 6 deletions
@@ -1,9 +1,9 @@ # Generated by mksrcinfo v8 -# Wed Feb 8 14:25:37 UTC 2017 +# Wed Feb 22 03:11:05 UTC 2017 pkgbase = fstar pkgdesc = A Higher-Order Effectful Language Designed for Program Verification pkgver = 0.9.4.0 - pkgrel = 1 + pkgrel = 2 url = https://fstar-lang.org/ arch = i686 arch = x86_64 @@ -13,6 +13,9 @@ pkgbase = fstar makedepends = ocaml-batteries makedepends = ocaml-findlib depends = z3 + depends = zarith + depends = ocaml-yojson + depends = ocaml-pprint provides = fstar conflicts = fstar-bin conflicts = fstar-git @@ -1,13 +1,13 @@ -# Maintainer: Mort Yao <soimort@mort.ninja> +# Maintainer: Mort Yao <soi@mort.ninja> pkgname=fstar pkgver=0.9.4.0 -pkgrel=1 +pkgrel=2 pkgdesc='A Higher-Order Effectful Language Designed for Program Verification' url='https://fstar-lang.org/' license=('Apache') arch=('i686' 'x86_64') -depends=('z3') +depends=('z3' 'zarith' 'ocaml-yojson' 'ocaml-pprint') makedepends=('fsharp' 'ocaml>=4.02' 'ocaml-batteries' 'ocaml-findlib') provides=('fstar') conflicts=('fstar-bin' 'fstar-git') @@ -29,6 +29,6 @@ package() { cd "FStar-$pkgver" install -d -m755 $pkgdir/opt/fstar $pkgdir/usr/bin - cp -r bin/ doc/ examples/ lib/ contrib/ $pkgdir/opt/fstar + cp -r * $pkgdir/opt/fstar ln -s /opt/fstar/bin/fstar.exe $pkgdir/usr/bin/fstar } |