From 0dbec698035246846221a2abe70541d05990856b Mon Sep 17 00:00:00 2001
From: Ivan Kuraj <ivan.kuraj@epfl.ch>
Date: Tue, 18 Feb 2014 17:04:10 +0100
Subject: [PATCH] Include documentation about using Leon within eclipse

---
 README.md           | 12 +++++++++++-
 build.sbt           |  3 +++
 project/plugins.sbt |  1 +
 3 files changed, 15 insertions(+), 1 deletion(-)
 create mode 100644 project/plugins.sbt

diff --git a/README.md b/README.md
index 9a70180fa..381dddb8b 100644
--- a/README.md
+++ b/README.md
@@ -127,6 +127,17 @@ Scala compiler.
 Now we can make sure that the build went fine. Leon comes with a test suite.
 Use ```sbt test``` to run all the tests.
 
+Using Leon in Eclipse
+---------------------
+
+Type: ```sbt eclipse```
+
+This should create all the necessary metadata for using Leon as a project in Eclipse.
+Specifically, two Eclipse projects are generated in corresponding directories: the main *Leon* project in the Leon root directory, and the *Leon library* project in the ```library``` subdirectory.
+You should now be able to [import the projects](http://help.eclipse.org/juno/index.jsp?topic=%2Forg.eclipse.platform.doc.user%2Ftasks%2Ftasks-importproject.htm) into your Eclipse workspace.
+Since the main Leon project depends on the library, you should import both of them.
+
+
 Changelog
 ---------
 
@@ -151,4 +162,3 @@ Changelog
 #### v2.0
 
 * First release
-
diff --git a/build.sbt b/build.sbt
index cb03e4a5e..a3d699e50 100644
--- a/build.sbt
+++ b/build.sbt
@@ -38,3 +38,6 @@ logBuffered in Test := false
 testOptions in Test += Tests.Argument("-oD")
 
 sourcesInBase in Compile := false
+
+// do not skip parent Eclipse project definition
+EclipseKeys.skipParents in ThisBuild := false
diff --git a/project/plugins.sbt b/project/plugins.sbt
new file mode 100644
index 000000000..c2371be43
--- /dev/null
+++ b/project/plugins.sbt
@@ -0,0 +1 @@
+addSbtPlugin("com.typesafe.sbteclipse" % "sbteclipse-plugin" % "2.1.0")
-- 
GitLab