ant-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From <Jan.Mate...@rzf.fin-nrw.de>
Subject AW: [JPackage-discuss] Fwd: Ant 1.7.0?
Date Wed, 11 Oct 2006 13:44:41 GMT
>>> Is there a pointer to documentation on how to use jpackage ant so it

>>> can be placed in the ant manual.
>
>I don't think there exists documentation aside from what is in 
>ant, but we can give the current process for clarity.

JPackage-Ant is another distribution, not maintained by Ant itself.
All things that are done by them should IMHO be documented by them.

What will be next distro we should do the docu for?



Jan



>ANT_HOME is currently set in /etc/ant.conf. If a user wishes 
>to override ANT_HOME, he can set it globally there (or unset 
>it by commenting out that line). Or, he can set it locally in 
>$HOME/.antrc.
>
>There is an inconsistency in allowing JAVA_HOME to be 
>overridden in the environment, but I'd be more in favor of 
>removing that than adding this feature to ant as well. This 
>can be discussed.
>
>The current process for using /etc/ant.d is if OPT_JAR_LIST is 
>non-empty. The problem is, then, that there's no way to 
>override this feature without specifying at least one jar. 
>This seems like a small bug.
>
>- --
>Sincerely,
>
>David Walluck
><david@zarb.org>
>-----BEGIN PGP SIGNATURE-----
>Version: GnuPG v1.4.5 (GNU/Linux)
>Comment: Using GnuPG with Mandriva - http://enigmail.mozdev.org
>
>iD8DBQFFLL6mN5thZBYlTwkRAtiwAJ9xUyyAGvjKj+zb0wQHw81S59IKkwCfR7hU
>z89BlrxXqYBlszy6ulQkqqc=
>=qaJ/
>-----END PGP SIGNATURE-----
>
>---------------------------------------------------------------------
>To unsubscribe, e-mail: dev-unsubscribe@ant.apache.org For 
>additional commands, e-mail: dev-help@ant.apache.org
>
>

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@ant.apache.org
For additional commands, e-mail: dev-help@ant.apache.org


Mime
View raw message