diff options
| author | robinleander | 2018-07-27 11:40:57 +0200 |
|---|---|---|
| committer | robinleander | 2018-07-27 11:40:57 +0200 |
| commit | f2920ac7603e4b63951997537d618cae473c540e (patch) | |
| tree | a6ec0ff61fadaf5138de3a76d51aa3c19b9b472d | |
| parent | 1f03ee0fd83a7da999ccc32010d01893a7a9391b (diff) | |
| download | aur-f2920ac7603e4b63951997537d618cae473c540e.tar.gz | |
Depend on z3
| -rw-r--r-- | .SRCINFO | 3 | ||||
| -rw-r--r-- | PKGBUILD | 4 |
2 files changed, 4 insertions, 3 deletions
@@ -1,12 +1,13 @@ pkgbase = fstar-ulib pkgdesc = compiles the ulib component of F* pkgver = 0.9.6.0 - pkgrel = 2 + pkgrel = 3 url = https://www.fstar-lang.org/ arch = i686 arch = x86_64 license = Apache-2.0 depends = fstar + depends = z3 options = !strip options = !makeflags options = staticlibs @@ -2,13 +2,13 @@ pkgname=fstar-ulib pkgver=0.9.6.0 -pkgrel=2 +pkgrel=3 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') +depends=('fstar' 'z3') build() { cd "$srcdir/" |