Commit 77c0e18a authored by Kunshan Wang's avatar Kunshan Wang

Temporarily disable sbt-eclipse plugin.

A bug causes `sbt compile` to hang after compilation finishes

parent e6c482b3
......@@ -19,7 +19,7 @@ Specification](
* If you use Mac, install [Homebrew](
* Install [Scala]( 2.12. If you use Mac and Homebrew,
`brew install scala`.
* Install [sbt]( 0.13. If you use Mac and Homebrew,
* Install [sbt]( 1.0. If you use Mac and Homebrew,
`brew install sbt`.
* Install [Scala IDE]( 4.6 or later (Eclipse with
pre-installed plugins for Scala).
......@@ -37,12 +37,25 @@ git clone
* In the directory `mu-impl-ref2`, do the following:
sbt update genSrc
Then edit the project using your favourite IDE (or text editor).
* There is a [bug in the sbt-eclipse
plugin]( that prevents us
form using it with SBT 1.0.0, therefore we cannot generate Eclipse project.
Other IDEs, such as IntelliJ IDEA, should not be affected.
sbt update genSrc eclipse
* Open Scala IDE and import the generated project as "existing project into
**Detailed guide**:
......@@ -50,7 +63,7 @@ The reference implementation is developed and tested with Java VM 8. You need a
JRE to build the Scala/Java part, and a JDK to build the C binding.
You also need [Scala]( 2.12 and
[sbt]( 0.13. It is recommended to install them using
[sbt]( 1.0. It is recommended to install them using
the package manager of your operating system or distribution (such as apt-get,
yum, pacman, etc. for GNU/Linux distributions and Homebrew for Mac OS X) if such
packages are available.
......@@ -58,7 +71,7 @@ packages are available.
For Ubuntu users: Ubuntu 15.10 does not provide sbt in its repository. Please
[download sbt]( from the official sbt web
site, or follow the [official sbt installing guide for
Linux]( If
Linux]( If
you experience any "certificate" problems, [this
page]( provides a solution.
......@@ -74,10 +87,16 @@ compile this project. Or you can do it step by step:
* To compile, invoke `sbt compile`. This will also generate the Mu IR parser
using Antlr.
As mentioned before, a bug in [sbt-eclipse
plugin]( prevents us from using it on
Sbt 1.0. Let's wait for it to be fixed.
To generate an Eclipse project, install the [sbt-eclipse
plugin]( and invoke `sbt eclipse`.
Make sure you generate the parser (`sbt genSrc`) before creating the Eclipse
project, so that the generated sources will be on the Eclipse build path.
IntelliJ IDEA has plugins for Scala and SBT. Make sure you don't commit `.idea`
or generated project files into the repository.
addSbtPlugin("com.typesafe.sbteclipse" % "sbteclipse-plugin" % "5.2.1")
//addSbtPlugin("com.typesafe.sbteclipse" % "sbteclipse-plugin" % "5.2.1")
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment