aboutsummaryrefslogtreecommitdiff
path: root/academic/cvc4
AgeCommit message (Collapse)Author
2022-03-03various: Use zulu jdk builds for REQUIRES.Andrew Clemons
As noted in the FAQ, you can still use Oracle's JDK for building or running, but we'll default to the Zulu builds in the REQUIRES since they are easily downloadable. Zulu is a good default for us at SBo since it is available for both 32 and 64 bit, freely downloadable and compatible and they provide builds for all the LTS branches. We don't currently have builds for Adoptium (previously AdoptOpenJDK, not part of the Eclipse Foundation), but if someone wants to submit builds for them, we can include them too. Note though that they do not provide 32 bit builds. Software should run with either Zulu or Oracle's JDK, or indeed any other builds of OpenJDK, so if I have broken your build with this change, apologies. This should be rare and we can change the REQUIRES back to jdkX in that case and note it in the README, but I do not expect this should be the case. Signed-off-by: Andrew Clemons <andrew.clemons@gmail.com> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2022-02-27academic/cvc4: Fix download.Matteo Bernardini
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
2021-07-17All: Support $PRINT_PACKAGE_NAME env varHeinz Wiesinger
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
2021-07-05All: SlackBuilds run in the directory they are inHeinz Wiesinger
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2021-07-04All: Change SlackBuild shebang to /bin/bashHeinz Wiesinger
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
2020-09-05academic/cvc4: Updated for version 1.8.Nick Smallbone
Signed-off-by: Dave Woodfall <dave@slackbuilds.org> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2020-01-12academic/cvc4: Fix slack-desc.B. Watson
Signed-off-by: B. Watson <yalhcru@gmail.com>
2019-04-27academic/cvc4: Add missing run-antlr.Willy Sudiarto Raharjo
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2019-04-19academic/cvc4: Updated for version 1.7.Nick Smallbone
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2019-03-23academic/cvc4: Added (Theorem Solver).Nick Smallbone
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>