db-derby-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Myrna van Lunteren (JIRA)" <j...@apache.org>
Subject [jira] Created: (DERBY-4548) would like an alternative location for ant.properties
Date Thu, 11 Feb 2010 21:08:28 GMT
would like an alternative location for ant.properties

                 Key: DERBY-4548
                 URL: https://issues.apache.org/jira/browse/DERBY-4548
             Project: Derby
          Issue Type: Improvement
          Components: Build tools
    Affects Versions:,,,,,,
            Reporter: Myrna van Lunteren

The current build.xml directs ant to look for a file ant.properties in user.home. 
This can get confusing when you have multiple versions on the same machine.
I've worked around this in the past by pointing ant at other directories with -Duser.home=...,
but it would be easier to have another place set up - I don't really like changing user.home.

We could add another line to build.xml, e.g., for trunk's current build.xml:
@@ -20,6 +20,7 @@

 <!-- Set Properties -->
   <!-- User settings -->
+  <property file="ant.properties"/>
   <property file="${user.home}/ant.properties"/>
   <!-- Set property lib dir -->
   <property name="properties.dir" value="tools/ant/properties"/>

This would make ant look first for ant.properties in the same directory as the top level build.xml,
and secondly for the one in user.home.

If the community agrees this would be ok, I'd like to make this change and backport it all
the way to 10.0.
By having an additional place we'd not cause incompatibilities to other build processes (except
if someone has put an ant.properties file in the top of the checked out tree).

If we do this, I think it's up to the developers to ensure that there's not 2 ant.properties
files that are conflicting. 

This message is automatically generated by JIRA.
You can reply to this email to add a comment to the issue online.

View raw message