summaryrefslogtreecommitdiffstats
path: root/academic/cvc4/cvc4.info
diff options
context:
space:
mode:
Diffstat (limited to 'academic/cvc4/cvc4.info')
-rw-r--r--academic/cvc4/cvc4.info12
1 files changed, 12 insertions, 0 deletions
diff --git a/academic/cvc4/cvc4.info b/academic/cvc4/cvc4.info
new file mode 100644
index 0000000000..4fc4ede8c6
--- /dev/null
+++ b/academic/cvc4/cvc4.info
@@ -0,0 +1,12 @@
+PRGNAM="cvc4"
+VERSION="1.8"
+HOMEPAGE="https://cvc4.cs.stanford.edu/"
+DOWNLOAD="https://github.com/CVC4/CVC4/archive/1.8/CVC4-1.8.tar.gz \
+ https://www.antlr3.org/download/antlr-3.4-complete.jar"
+MD5SUM="9f7657e21fec3c4042225b0b8f513c34 \
+ 1b91dea1c7d480b3223f7c8a9aa0e172"
+DOWNLOAD_x86_64=""
+MD5SUM_x86_64=""
+REQUIRES="jdk libantlr3c python-toml"
+MAINTAINER="Nick Smallbone"
+EMAIL="nick@smallbone.se"