From 86e84e8897b5d75b836313f522e5f1130960a993 Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Tue, 3 Aug 2010 15:24:42 +0000
Subject: [PATCH] now supports scalatest

---
 project/build.properties     | 2 +-
 project/build/funcheck.scala | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/project/build.properties b/project/build.properties
index 80681089b..84dad3d34 100644
--- a/project/build.properties
+++ b/project/build.properties
@@ -4,6 +4,6 @@ project.scratch=true
 project.name=FunCheck
 sbt.version=0.7.4
 project.version=1.0
-def.scala.version=2.8.0
+def.scala.version=2.7.7
 build.scala.versions=2.8.0
 project.initialize=false
diff --git a/project/build/funcheck.scala b/project/build/funcheck.scala
index 666816601..d4b148c4f 100644
--- a/project/build/funcheck.scala
+++ b/project/build/funcheck.scala
@@ -1,6 +1,8 @@
 import sbt._
 
 class FunCheckProject(info: ProjectInfo) extends DefaultProject(info) with FileTasks {
+  val scalatest = "org.scalatest" % "scalatest" % "1.2"
+
   override def outputDirectoryName = "bin"
   override def dependencyPath      = "lib"
   override def shouldCheckOutputDirectories = false
@@ -100,6 +102,7 @@ class FunCheckProject(info: ProjectInfo) extends DefaultProject(info) with FileT
   class SetConstraintsProject(info: ProjectInfo) extends PersonalizedProject(info) {
     override def outputPath = "bin" / "setconstraints"
     override def mainScalaSourcePath = "src" / "setconstraints"
+    override def testScalaSourcePath = "src" / "setconstraints-tests"
     override def unmanagedClasspath = super.unmanagedClasspath +++ purescala.jarPath
   }
 }
-- 
GitLab