academic/cvc4: Add missing run-antlr.

Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
This commit is contained in:
Willy Sudiarto Raharjo 2019-04-27 04:42:40 +07:00
parent c43fcc78af
commit 72c1e1abd1

2
academic/cvc4/run-antlr Normal file
View file

@ -0,0 +1,2 @@
#!/bin/bash
exec java -jar $(dirname $0)/antlr-3.4-complete.jar $*