diff options
Diffstat (limited to 'make/build.xml')
| -rwxr-xr-x | make/build.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/make/build.xml b/make/build.xml index 75ae3cd..dad6966 100755 --- a/make/build.xml +++ b/make/build.xml @@ -56,6 +56,10 @@ <target name="setup-version-string" depends="setup-version-string-release,setup-version-string-prerelease" /> + <!-- 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. |