diff options
author | Ismael Luceno | 2019-08-20 20:02:33 +0200 |
---|---|---|
committer | Ismael Luceno | 2019-08-20 21:19:28 +0200 |
commit | 33fb668917b5498dfe2528e98c59f69ec19654e4 (patch) | |
tree | 7be670037b063b91bb86a1388307d9513f316913 | |
parent | 5441f4885345dcbdd922b14a6c4216a98ca7d2a8 (diff) |
z3: new spell, The Z3 Theorem Prover
-rw-r--r-- | ChangeLog | 3 | ||||
-rwxr-xr-x | devel/z3/BUILD | 2 | ||||
-rwxr-xr-x | devel/z3/DEPENDS | 1 | ||||
-rwxr-xr-x | devel/z3/DETAILS | 12 | ||||
-rw-r--r-- | devel/z3/HISTORY | 2 | ||||
-rwxr-xr-x | devel/z3/INSTALL | 1 |
6 files changed, 21 insertions, 0 deletions
@@ -1,3 +1,6 @@ +2019-08-20 Ismael Luceno <ismael@sourcemage.org> + * devel/z3: new spell, The Z3 Theorem Prover + 2019-08-17 Vlad Glagolev <stealth@sourcemage.org> * utils/perf: new spell, Linux performance analyzing tool diff --git a/devel/z3/BUILD b/devel/z3/BUILD new file mode 100755 index 0000000000..6589170257 --- /dev/null +++ b/devel/z3/BUILD @@ -0,0 +1,2 @@ +./configure && +make -C build diff --git a/devel/z3/DEPENDS b/devel/z3/DEPENDS new file mode 100755 index 0000000000..8da72f2b1a --- /dev/null +++ b/devel/z3/DEPENDS @@ -0,0 +1 @@ +depends ocaml diff --git a/devel/z3/DETAILS b/devel/z3/DETAILS new file mode 100755 index 0000000000..f1ad055f6f --- /dev/null +++ b/devel/z3/DETAILS @@ -0,0 +1,12 @@ + SPELL=z3 + VERSION=4.8.5 + SOURCE=z3-Z3-$VERSION.tar.gz +SOURCE_DIRECTORY="$BUILD_DIRECTORY/z3-Z3-$VERSION" + WEB_SITE=https://github.com/Z3Prover/z3 + SOURCE_URL=("$WEB_SITE/archive/Z3-$VERSION.tar.gz") + SOURCE_HASH=sha512:ca36e1a0332bd473a64f41dfdb31656fb3486178473e4fd4934dccce109a84c9686c08f94998df74bacb588eb12ea5db25dc17a564ee76f82fd2559349697309 + LICENSE=(MIT) + SHORT="The Z3 Theorem Prover" +cat << EOF +Z3 is an SMT solver and supports the SMTLIB format. +EOF diff --git a/devel/z3/HISTORY b/devel/z3/HISTORY new file mode 100644 index 0000000000..093af70833 --- /dev/null +++ b/devel/z3/HISTORY @@ -0,0 +1,2 @@ +2019-08-20 Ismael Luceno <ismael@sourcemage.org> + * BUILD, DEPENDS, DETAILS, INSTALL: Spell created diff --git a/devel/z3/INSTALL b/devel/z3/INSTALL new file mode 100755 index 0000000000..56912c9266 --- /dev/null +++ b/devel/z3/INSTALL @@ -0,0 +1 @@ +make -C build install |