leon library is now a subproject

library/build.sbt

+name := "Leon Library"
+
+version := "2.0"
+
+organization := "ch.epfl.lara"
+
+scalaVersion := "2.9.1-1"
+
+scalacOptions += "-deprecation"
+
+scalacOptions += "-unchecked"
+
+libraryDependencies += "org.scala-lang" % "scala-compiler" % "2.9.1-1"

project/Build.scala

@@ -53,5 +53,8 @@ object Leon extends Build {
     id = "leon",
     base = file("."),
     settings = Project.defaultSettings ++ LeonProject.settings
-  )
+  ) aggregate(leonLibrary) dependsOn(leonLibrary) 
+
+  lazy val leonLibrary = Project(id = "leon-library", base = file("./library"))
+
 }