ant - 如何更改ANT的JAVA_HOME？

Question

我在没有root的类服务器上进行java工作。每当我尝试使用ant进行编译时，它都指向错误的目录(/usr/tomcat而不是/usr/tomcat/jre)。

在设置用户帐户时，我们被告知要做的一件事是在.bashrc文件中添加export JAVA_HOME=/usr/tomcat/jre。我不知道这是否应该解决问题，但似乎没有。

因此，如何更改ant的JAVA_HOME属性，但仅在运行ant时才能更改？

编辑:
echo $JAVA_HOME指向/usr/tomcat/jreecho $JAVA_HOME\bin指向/usr/tomcat/jrebin
问题是当我正常运行ant时出现此错误:

Unable to locate tools.jar. Expected to find it in /usr/tomcat/lib/tools.jar
Buildfile: build.xml

compile:
    [javac] Compiling 1 source file to /home/ejm244/build/classes

BUILD FAILED
/home/ejm244/build.xml:9: Unable to find a javac compiler;
com.sun.tools.javac.Main is not on the classpath.

Perhaps JAVA_HOME does not point to the JDK

Total time: 0 seconds

Answer 1

您可以创建自己的脚本来运行ant，例如命名为ant.sh像:

#!/bin/sh
JAVA_HOME=</path/to/jdk>; export JAVA_HOME
ant $@

然后运行您的脚本。

$ chmod 755 ant.sh
$./ant.sh clean compile

或您希望运行的任何 Ant 目标