From 8ec49e59e9c5028b1e634ce7e6fde4a753903cee Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Mon, 17 Mar 2014 19:50:25 +0100
Subject: [PATCH] Update project options, partly for Eclipse
---
.gitignore | 11 +++++++++++
README.md | 22 +++++++++++++++++++---
build.sbt | 2 +-
3 files changed, 31 insertions(+), 4 deletions(-)
diff --git a/.gitignore b/.gitignore
index ab9f1b314..efda7f1cc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,3 +14,14 @@ derivation*.dot
# leon
last.log
+
+#eclipse
+.cache
+.classpath
+.project
+.settings/
+.worksheet/
+testingSheet.sc
+
+#z3
+.z3-trace
diff --git a/README.md b/README.md
index fcb5f8319..61b024440 100644
--- a/README.md
+++ b/README.md
@@ -133,10 +133,26 @@ 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.
+You should now be able to [import the project](http://help.eclipse.org/juno/index.jsp?topic=%2Forg.eclipse.platform.doc.user%2Ftasks%2Ftasks-importproject.htm) into your Eclipse workspace.
+
+Some advice for when using Eclipse:
+-
+* For each run configuration you create, you should setup environment variables according to the script ```setupenv``` you have created with ```sbt script```.
+* If you want to use ScalaTest from within Eclipse, download the ScalaTest plugin. For instructions, see [here](http://www.scalatest.org/user_guide/using_scalatest_with_eclipse).
+ Do NOT declare your test packages as nested packages in separate lines, because ScalaTest won't see them for some reason. E.g. don't write
+
+ <pre>
+ package leon
+ package test
+ package myTestPackage
+ </pre>
+
+ but instead
+
+ <pre>
+ package leon.test.myTestPackage
+ </pre>
Changelog
---------
diff --git a/build.sbt b/build.sbt
index b0423e0ad..6b5ac2d94 100644
--- a/build.sbt
+++ b/build.sbt
@@ -36,7 +36,7 @@ logBuffered in Test := false
testOptions in Test += Tests.Argument("-oDF")
-javaOptions in Test += "-Xss32M"
+javaOptions in (Test,run) += "-Xss32M"
parallelExecution in test := false
--
GitLab