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">