I’m compiling DrJava by following these instructions.
But when I run ant jar, I get the error:
/Users/arthur/dj/drjava/build.xml:1270: Can't find rt.jar in the Java 7 home: ${env.JAVA7_HOME}
I know that rt.jar is in /Library/Java/JavaVirtualMachines/jdk1.7.0_07.jdk/Contents/Home/jre/lib.
How do I fix it?
This answer is same as what others have provided – just a little more detailed. So what you simply need is type this on your shell:
Now you have mentioned I know that rt.jar is in /Library/Java/JavaVirtualMachines/jdk1.7.0_07.jdk/Contents/Home/jre/lib.
Usually you would not have
Contents/Homeinside JDK. A standard Java installation should havejdk1.7.0_07.jdk/jre/lib. Check if you have provided the correct path above and rt.jar is indeed in there.