diff options
| author | robinleander | 2018-07-27 14:00:53 +0200 |
|---|---|---|
| committer | robinleander | 2018-07-27 14:00:53 +0200 |
| commit | 488a13eb68065c26d8d2cb9a169f46469988bbd3 (patch) | |
| tree | f65db5475cc506437f88a0652c272870063c25ba | |
| parent | 507bcaa8000a2e85d57e0e3bf054022dd489724d (diff) | |
| download | aur-488a13eb68065c26d8d2cb9a169f46469988bbd3.tar.gz | |
Add ocaml-fstar dep
| -rw-r--r-- | .SRCINFO | 3 | ||||
| -rw-r--r-- | PKGBUILD | 6 |
2 files changed, 5 insertions, 4 deletions
@@ -1,13 +1,14 @@ pkgbase = fstar-ulib pkgdesc = compiles the ulib component of F* pkgver = 0.9.6.0 - pkgrel = 4 + pkgrel = 5 url = https://www.fstar-lang.org/ arch = i686 arch = x86_64 license = Apache-2.0 depends = fstar depends = z3 + depends = ocaml-fstar options = !strip options = !makeflags options = staticlibs @@ -1,14 +1,14 @@ -# Maintainer: crave <crave@noreply.org> +# Maintainer: crave <crave@infinity> pkgname=fstar-ulib pkgver=0.9.6.0 -pkgrel=4 +pkgrel=5 pkgdesc="compiles the ulib component of F*" arch=('i686' 'x86_64') url='https://www.fstar-lang.org/' license=('Apache-2.0') options=('!strip' '!makeflags' 'staticlibs') -depends=('fstar' 'z3') +depends=('fstar' 'z3' 'ocaml-fstar') build() { cd "$srcdir/" |