diff options
| author | Mort Yao | 2017-02-22 04:16:07 +0100 |
|---|---|---|
| committer | Mort Yao | 2017-02-22 04:16:07 +0100 |
| commit | 9d151ffb1e96b0ae7fdc17d09d03c047e96b3c35 (patch) | |
| tree | c738f21221eec648f9343f1585e129441270f734 | |
| parent | 4e23fb52e6bdcdb0af687509e10ace6cea1946cf (diff) | |
| download | aur-9d151ffb1e96b0ae7fdc17d09d03c047e96b3c35.tar.gz | |
fstar-git 20170222-1
| -rw-r--r-- | .SRCINFO | 5 | ||||
| -rw-r--r-- | PKGBUILD | 6 |
2 files changed, 6 insertions, 5 deletions
@@ -1,8 +1,8 @@ # Generated by mksrcinfo v8 -# Thu Sep 1 21:07:39 UTC 2016 +# Wed Feb 22 03:15:45 UTC 2017 pkgbase = fstar-git pkgdesc = A Higher-Order Effectful Language Designed for Program Verification - pkgver = 20160901 + pkgver = 20170222 pkgrel = 1 url = https://fstar-lang.org/ arch = i686 @@ -15,6 +15,7 @@ pkgbase = fstar-git depends = z3 depends = zarith depends = ocaml-yojson + depends = ocaml-pprint provides = fstar conflicts = fstar conflicts = fstar-bin @@ -1,13 +1,13 @@ # Maintainer: Mort Yao <soi@mort.ninja> pkgname=fstar-git -pkgver=20160901 +pkgver=20170222 pkgrel=1 pkgdesc='A Higher-Order Effectful Language Designed for Program Verification' url='https://fstar-lang.org/' license=('Apache') arch=('i686' 'x86_64') -depends=('z3' 'zarith' 'ocaml-yojson') +depends=('z3' 'zarith' 'ocaml-yojson' 'ocaml-pprint') makedepends=('fsharp' 'ocaml>=4.02' 'ocaml-batteries' 'ocaml-findlib') provides=('fstar') conflicts=('fstar' 'fstar-bin') @@ -34,6 +34,6 @@ package() { cd "$pkgname" install -d -m755 $pkgdir/opt/fstar $pkgdir/usr/bin - cp -r bin/ doc/ examples/ ulib/ ucontrib/ $pkgdir/opt/fstar + cp -r * $pkgdir/opt/fstar ln -s /opt/fstar/bin/fstar.exe $pkgdir/usr/bin/fstar } |