From 72c1e1abd137fcfa8786d1aecad562bd0badb755 Mon Sep 17 00:00:00 2001
From: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Date: Sat, 27 Apr 2019 04:42:40 +0700
Subject: [PATCH] academic/cvc4: Add missing run-antlr.

Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
---
 academic/cvc4/run-antlr | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 academic/cvc4/run-antlr

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 $*