Commit graph

10 commits

Author SHA1 Message Date
Andrew Clemons
b2519f95fd
various: Use zulu jdk builds for REQUIRES.
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-03-03 15:56:51 +07:00
Matteo Bernardini
0c6f3deda2 academic/cvc4: Fix download.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
2022-02-27 22:29:05 -06:00
Heinz Wiesinger
63daf9f79a All: Support $PRINT_PACKAGE_NAME env var
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
2021-07-17 21:55:09 +02:00
Heinz Wiesinger
7f26b9929f
All: SlackBuilds run in the directory they are in
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>

Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2021-07-05 16:01:32 +07:00
Heinz Wiesinger
fd9245fe0a All: Change SlackBuild shebang to /bin/bash
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
2021-07-04 12:49:49 +02:00
Nick Smallbone
3d9cd787ed
academic/cvc4: Updated for version 1.8.
Signed-off-by: Dave Woodfall <dave@slackbuilds.org>

Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2020-09-05 08:26:44 +07:00
B. Watson
5ae81d7905
academic/cvc4: Fix slack-desc.
Signed-off-by: B. Watson <yalhcru@gmail.com>
2020-01-12 08:47:29 +07:00
Willy Sudiarto Raharjo
72c1e1abd1 academic/cvc4: Add missing run-antlr.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2019-04-27 04:42:40 +07:00
Nick Smallbone
c4942e819d academic/cvc4: Updated for version 1.7.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2019-04-19 22:12:38 +07:00
Nick Smallbone
3015af4e87 academic/cvc4: Added (Theorem Solver).
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2019-03-23 08:17:49 +07:00