diff options
| author | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2019-04-27 04:42:40 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2019-04-27 04:42:40 +0700 |
| commit | 72c1e1abd137fcfa8786d1aecad562bd0badb755 (patch) | |
| tree | 7ce2debdbe2dabf4f464e37887b8c3ea377d90ea /academic | |
| parent | c43fcc78af1a9ab41a2fc972b19fd425a94b921f (diff) | |
academic/cvc4: Add missing run-antlr.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic')
| -rw-r--r-- | academic/cvc4/run-antlr | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/academic/cvc4/run-antlr b/academic/cvc4/run-antlr new file mode 100644 index 000000000000..26f09c7cac3c --- /dev/null +++ b/academic/cvc4/run-antlr @@ -0,0 +1,2 @@ +#!/bin/bash +exec java -jar $(dirname $0)/antlr-3.4-complete.jar $* |