summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorSankalp Gambhir2022-10-18 17:34:20 +0200
committerSankalp Gambhir2022-10-18 17:34:20 +0200
commitfbfa33dd44886e4450724886107f43ce7a2c0f4a (patch)
tree36fd8905d952c364a4fa8f85f94f2618c38cda2a
parent8f130223215a1ad5aac59e9bba44768a7621a9b5 (diff)
downloadaur-fbfa33dd44886e4450724886107f43ce7a2c0f4a.tar.gz
Add optdepends
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD3
2 files changed, 4 insertions, 1 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 24c073aed870..91011ab974be 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index e537b56bd537..26b322bf57f5 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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=()