Index: build.xml

===================================================================

RCS file: /cvsroot/sat4j/core/build/build.xml,v

retrieving revision 1.25

diff -u -r1.25 build.xml

--- build.xml	6 Feb 2008 22:22:51 -0000	1.25

+++ build.xml	27 Jun 2008 15:57:33 -0000

@@ -1,6 +1,7 @@

 <project name="sat4j" default="continuum">

 	<!-- user/password settings for FTP, WWW, local settings -->

 	<!-- the property report.dir MUST DE DEFINED here -->

+	<property name="report.dir" value="report"/>

 	<property file="${user.home}/.ftp.properties"/>

 	<!-- other properties -->

 	<property name="projname" value="MINISAT"/>

@@ -36,14 +37,17 @@

 		<fileset dir="${lib}">

 			<include name="*.jar"/>

 		</fileset>

+		<fileset dir="..">

+			<include name="*.jar"/>

+		</fileset>

 	</path>

 	<target name="tests" 

-          description="Launch JUnit tests and generate a report" 

-          depends="build">

+	    description="Launch JUnit tests and generate a report">

 		<echo>Compiling test files</echo>

 		<javac srcdir="${src}:${test}" destdir="${build}" source="1.5" debug="true">

 			<classpath refid="somePath"/>

+			<classpath path="/usr/share/java/junit4.jar"/>

 		</javac>

 		<echo>Running JUNIT tests</echo>

 		<junit printsummary="yes" haltonfailure="no" fork="yes">