summaryrefslogtreecommitdiff
path: root/academic/cvc4
diff options
context:
space:
mode:
authorWilly Sudiarto Raharjo <willysr@slackbuilds.org>2019-04-27 04:42:40 +0700
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2019-04-27 04:42:40 +0700
commit72c1e1abd137fcfa8786d1aecad562bd0badb755 (patch)
tree7ce2debdbe2dabf4f464e37887b8c3ea377d90ea /academic/cvc4
parentc43fcc78af1a9ab41a2fc972b19fd425a94b921f (diff)
downloadslackbuilds-72c1e1abd137fcfa8786d1aecad562bd0badb755.tar.gz
academic/cvc4: Add missing run-antlr.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/cvc4')
-rw-r--r--academic/cvc4/run-antlr2
1 files changed, 2 insertions, 0 deletions
diff --git a/academic/cvc4/run-antlr b/academic/cvc4/run-antlr
new file mode 100644
index 0000000000..26f09c7cac
--- /dev/null
+++ b/academic/cvc4/run-antlr
@@ -0,0 +1,2 @@
+#!/bin/bash
+exec java -jar $(dirname $0)/antlr-3.4-complete.jar $*