diff options
author | Sankalp Gambhir | 2022-10-18 17:34:20 +0200 |
---|---|---|
committer | Sankalp Gambhir | 2022-10-18 17:34:20 +0200 |
commit | fbfa33dd44886e4450724886107f43ce7a2c0f4a (patch) | |
tree | 36fd8905d952c364a4fa8f85f94f2618c38cda2a | |
parent | 8f130223215a1ad5aac59e9bba44768a7621a9b5 (diff) | |
download | aur-fbfa33dd44886e4450724886107f43ce7a2c0f4a.tar.gz |
Add optdepends
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 3 |
2 files changed, 4 insertions, 1 deletions
@@ -8,6 +8,8 @@ pkgbase = stainless-git makedepends = git makedepends = sbt depends = java-runtime + optdepends = z3: for using as a solver backend + optdepends = cvc4: for using as a solver backend provides = stainless conflicts = stainless source = git+https://github.com/epfl-lara/stainless @@ -8,7 +8,8 @@ url="https://github.com/epfl-lara/stainless" license=('Apache-2.0') groups=() depends=(java-runtime) -makedepends=(git sbt) # 'bzr', 'git', 'mercurial' or 'subversion' +makedepends=(git sbt) +optdepends=('z3: for using as a solver backend' 'cvc4: for using as a solver backend') provides=("${pkgname%-*}") conflicts=("${pkgname%-*}") replaces=() |