diff options
Diffstat (limited to 'make')
| -rw-r--r-- | make/build.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/make/build.xml b/make/build.xml index 974ae7fb3..7bc85ce42 100644 --- a/make/build.xml +++ b/make/build.xml @@ -81,6 +81,10 @@ <property name="jogl.sourcelevel" value="1.5" /> </target> + <!-- On jpackage.org-compatible systems, antlr.jar can be found in /usr/share/java --> + <available property="antlr.jar" file="/usr/share/java/antlr.jar" + value="/usr/share/java/antlr.jar"/> + <!-- ================================================================== --> <!-- - Load user properties which override build defaults. |