edumips64-javadoc-cp.patch 530 B

123456789101112
  1. --- edumips64-1.1.orig/build.xml
  2. +++ edumips64-1.1/build.xml
  3. @@ -24,7 +24,7 @@
  4. <!-- Access the environment -->
  5. <property environment="env" />
  6. - <property name="base.classpath" value="libs:libs/junit-4.10.jar:libs/hamcrest-core-1.3.jar:${env.CLASSPATH}" />
  7. + <property name="base.classpath" value="libs:libs/jhall.jar:libs/junit-4.10.jar:libs/hamcrest-core-1.3.jar:${env.CLASSPATH}" />
  8. <!-- File names -->
  9. <property name="standalone_jar_filename" value="edumips64-${version}.jar" />