Jeff,
Since build.sh and build.bat assume that tools.jar is under $JAVA_HOME/lib/tools.jar,
am modifying
the build.xml to pick up tools.jar from the same place...
Thanks,
dims
--- [EMAIL PROTECTED] wrote:
> Hi,
>
> On my Debian system, with the Blackdown jdk1.3 installed from .debs,
> I've found that if I run "ant -Dinclude.webapp.libs=yes webapp", it
> fails because tools.jar isn't found. This is because build.xml assumes
> my JRE is in $JAVA_HOME/jre (not true for me).
>
> The attached patch isolates the assumption into a ${tools.jar} variable
> which can be overridden by the caller.
>
> thanks,
>
> --Jeff
> > Index: build.xml
> ===================================================================
> RCS file: /home/cvspublic/xml-cocoon/build.xml,v
> retrieving revision 1.6.2.80
> diff -u -r1.6.2.80 build.xml
> --- build.xml 2001/05/06 08:01:40 1.6.2.80
> +++ build.xml 2001/06/02 11:53:52
> @@ -168,6 +168,11 @@
>
> <property name="site" value="../xml-site/targets/${name}"/>
>
> + <!-- The location of tools.jar, relative to the JRE home. Change this if
> + your JRE is not in the standard $JAVA_HOME/jre location (eg Debian
> + systems). -->
> + <property name="tools.jar" value="${java.home}/../lib/tools.jar"/>
> +
> <filter token="name" value="${fullname}"/>
> <filter token="year" value="${year}"/>
> <filter token="version" value="${version}"/>
> @@ -369,7 +374,7 @@
> <include name="**/*.jar"/>
> </fileset>
> <pathelement location="${build.dir}/${name}.jar"/>
> - <pathelement location="${java.home}/../lib/tools.jar"/>
> + <pathelement location="${tools.jar}"/>
> </classpath>
> </java>
> </target>
> @@ -388,7 +393,7 @@
> </copy>
>
> <!-- NOTE: java.home is normally set by the JVM to the /jre directory -->
> - <copy file="${java.home}/../lib/tools.jar"
>tofile="${build.war}/WEB-INF/lib/javac.jar"/>
> + <copy file="${tools.jar}" tofile="${build.war}/WEB-INF/lib/javac.jar"/>
> <copy file="${build.dir}/${name}.jar"
> tofile="${build.war}/WEB-INF/lib/${name}-${version}.jar"/>
> </target>
>
>
> > ---------------------------------------------------------------------
> To unsubscribe, e-mail: [EMAIL PROTECTED]
> For additional commands, email: [EMAIL PROTECTED]
=====
Davanum Srinivas, JNI-FAQ Manager
http://www.jGuru.com/faq/JNI
__________________________________________________
Do You Yahoo!?
Get personalized email addresses from Yahoo! Mail - only $35
a year! http://personal.mail.yahoo.com/
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, email: [EMAIL PROTECTED]
