summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorIsmael Luceno2019-08-20 20:02:33 +0200
committerIsmael Luceno2019-08-20 21:19:28 +0200
commit33fb668917b5498dfe2528e98c59f69ec19654e4 (patch)
tree7be670037b063b91bb86a1388307d9513f316913
parent5441f4885345dcbdd922b14a6c4216a98ca7d2a8 (diff)
z3: new spell, The Z3 Theorem Prover
-rw-r--r--ChangeLog3
-rwxr-xr-xdevel/z3/BUILD2
-rwxr-xr-xdevel/z3/DEPENDS1
-rwxr-xr-xdevel/z3/DETAILS12
-rw-r--r--devel/z3/HISTORY2
-rwxr-xr-xdevel/z3/INSTALL1
6 files changed, 21 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index dc0bdd10c8..bfd6dc6a5a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -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