diff options
| author | Sven Gothel <[email protected]> | 2010-05-12 00:23:09 +0200 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2010-05-12 00:23:09 +0200 |
| commit | e7188b0711f0a46c1d0ffec5668467f603a859df (patch) | |
| tree | 90a99302a37ce92fc8c3f3e82bbd2aaf8754f1d8 /make/gluegen-properties.xml | |
| parent | eb33345f2bf83f35fa9c425f9d23a5f0a7107983 (diff) | |
Put junit.jar 4.8.2, antlr.jar 2.7.7 into make/lib, and use it as the default, if not specified otherwise in /home/sven/gluegen.properties
Diffstat (limited to 'make/gluegen-properties.xml')
| -rwxr-xr-x | make/gluegen-properties.xml | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/make/gluegen-properties.xml b/make/gluegen-properties.xml index 2afc533..ec3b988 100755 --- a/make/gluegen-properties.xml +++ b/make/gluegen-properties.xml @@ -35,17 +35,14 @@ <!-- Load the user specified properties file that defines various host - specific paths. The user will be notified if this is does not - exist. --> - <condition property="gluegen.user.properties.file" - value="${user.home}/gluegen.properties"> - <not> - <isset property="gluegen.user.properties.file" /> - </not> - </condition> + <property name="gluegen.user.properties.file" value="${user.home}/gluegen.properties"/> <property name="gluegen.user.properties.file.set" value="${gluegen.user.properties.file}"/> <property file="${gluegen.user.properties.file.set}" /> <echo message="Loaded ${gluegen.user.properties.file.set}." /> - <fail message="antlr.jar was not specified in gluegen.properties. Please see README.txt for instructions" unless="antlr.jar"/> + <property name="antlr.jar" value="${gluegen.root}/make/lib/antlr.jar" /> + <property name="junit.jar" value="${gluegen.root}/make/lib/junit.jar" /> <echo message="antlr.jar=${antlr.jar}" /> + <echo message="junit.jar=${junit.jar}" /> </target> </project> |