From d8e2bc72de159e466b07222fca8edc6e1e46aca2 Mon Sep 17 00:00:00 2001
From: Mirco Dotta <mirco.dotta@gmail.com>
Date: Tue, 14 Jul 2009 14:48:15 +0000
Subject: [PATCH] Minor update. No way I'll be able to compile examples using
 ant ...

---
 build.xml       | 6 ++++--
 forall-tests.sh | 1 +
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/build.xml b/build.xml
index 501508a9e..e10a64970 100644
--- a/build.xml
+++ b/build.xml
@@ -125,10 +125,12 @@
 
     <target name="compile-examples" depends="dist" description="compile the examples">
         <mkdir dir="${build.examples.dir}" /> 
-        <scalac srcdir="${examples.dir}" destdir="${build.examples.dir}" force="changed" addparams="${scalac.funcheck.plugin}">
+        <scalac srcdir="${examples.dir}" destdir="${build.examples.dir}" force="changed" 
+        	addparams="${scalac.funcheck.plugin}">
             <classpath>
+            	<path refid="scalac.class.path" />
             	<path refid="scala.lib.extension.path" />
-            	<path refid="build.path" />
+            	<path refid="funcheck.lib.path" />
             	<path refid="scalacheck.lib.path" />
             </classpath>
         </scalac>
diff --git a/forall-tests.sh b/forall-tests.sh
index 5ca87d291..526212e10 100755
--- a/forall-tests.sh
+++ b/forall-tests.sh
@@ -56,6 +56,7 @@ echo "Compile tests that have declared forAll properties."
 echo "********************************************************************************"
 echo
 
+mkdir bin/examples
 
 #This is needed for aliases to work correctly
 shopt -s expand_aliases;
-- 
GitLab