Blame sat4j-junit4fortests.patch
|
Andrew Overholt |
26d7708 |
Index: build.xml
|
|
Andrew Overholt |
26d7708 |
===================================================================
|
|
Andrew Overholt |
26d7708 |
RCS file: /cvsroot/sat4j/core/build/build.xml,v
|
|
Andrew Overholt |
26d7708 |
retrieving revision 1.25
|
|
Andrew Overholt |
26d7708 |
diff -u -r1.25 build.xml
|
|
Andrew Overholt |
26d7708 |
--- build.xml 6 Feb 2008 22:22:51 -0000 1.25
|
|
Andrew Overholt |
26d7708 |
+++ build.xml 27 Jun 2008 15:57:33 -0000
|
|
Andrew Overholt |
26d7708 |
@@ -1,6 +1,7 @@
|
|
Andrew Overholt |
26d7708 |
<project name="sat4j" default="continuum">
|
|
Andrew Overholt |
26d7708 |
|
|
Andrew Overholt |
26d7708 |
|
|
Andrew Overholt |
26d7708 |
+ <property name="report.dir" value="report"/>
|
|
Andrew Overholt |
26d7708 |
<property file="${user.home}/.ftp.properties"/>
|
|
Andrew Overholt |
26d7708 |
|
|
Andrew Overholt |
26d7708 |
<property name="projname" value="MINISAT"/>
|
|
Andrew Overholt |
26d7708 |
@@ -36,14 +37,17 @@
|
|
Andrew Overholt |
26d7708 |
<fileset dir="${lib}">
|
|
Andrew Overholt |
26d7708 |
<include name="*.jar"/>
|
|
Andrew Overholt |
26d7708 |
</fileset>
|
|
Andrew Overholt |
26d7708 |
+ <fileset dir="..">
|
|
Andrew Overholt |
26d7708 |
+ <include name="*.jar"/>
|
|
Andrew Overholt |
26d7708 |
+ </fileset>
|
|
Andrew Overholt |
26d7708 |
</path>
|
|
Andrew Overholt |
26d7708 |
|
|
Andrew Overholt |
26d7708 |
|
|
Andrew Overholt |
26d7708 |
- description="Launch JUnit tests and generate a report"
|
|
Andrew Overholt |
26d7708 |
- depends="build">
|
|
Andrew Overholt |
26d7708 |
+ description="Launch JUnit tests and generate a report">
|
|
Andrew Overholt |
26d7708 |
<echo>Compiling test files</echo>
|
|
Andrew Overholt |
26d7708 |
<javac srcdir="${src}:${test}" destdir="${build}" source="1.5" debug="true">
|
|
Andrew Overholt |
26d7708 |
<classpath refid="somePath"/>
|
|
Andrew Overholt |
26d7708 |
+ <classpath path="/usr/share/java/junit4.jar"/>
|
|
Andrew Overholt |
26d7708 |
</javac>
|
|
Andrew Overholt |
26d7708 |
<echo>Running JUNIT tests</echo>
|
|
Andrew Overholt |
26d7708 |
<junit printsummary="yes" haltonfailure="no" fork="yes">
|