From 74fdcc5e95c8f2c6a8cc881481b26a1cb65992ab Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Sat, 22 Sep 2012 01:31:13 +0200
Subject: [PATCH] leon library is now a subproject
---
{src/main/scala/leon => library}/Utils.scala | 0
library/build.sbt | 13 +++++++++++++
project/Build.scala | 5 ++++-
3 files changed, 17 insertions(+), 1 deletion(-)
rename {src/main/scala/leon => library}/Utils.scala (100%)
create mode 100644 library/build.sbt
diff --git a/src/main/scala/leon/Utils.scala b/library/Utils.scala
similarity index 100%
rename from src/main/scala/leon/Utils.scala
rename to library/Utils.scala
diff --git a/library/build.sbt b/library/build.sbt
new file mode 100644
index 000000000..826382f07
--- /dev/null
+++ b/library/build.sbt
@@ -0,0 +1,13 @@
+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"
diff --git a/project/Build.scala b/project/Build.scala
index c96f110f2..9621bd413 100644
--- a/project/Build.scala
+++ b/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"))
+
}
--
GitLab