From 72d399bfe1fc7a874f4485848068ba1d558cf3f7 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Mon, 29 Oct 2018 12:21:39 +0000 Subject: [PATCH] Updated Eclipse installation instructions. --- README.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 625be4d..a6fcda4 100644 --- a/README.md +++ b/README.md @@ -11,7 +11,10 @@ * JavaScript Development Tools (JSDT) * Gradle Integration (Buildship) * From the [Scala IDE Update Site](http://scala-ide.org/download/current.html) - * [Scala IDE and Scalatest Runner (the latter is optional)](http://download.scala-ide.org/sdk/lithium/e44/scala211/stable/site) + * [Scala IDE and Scalatest Runner (the latter is optional)](http://download.scala-ide.org/sdk/lithium/e47/scala212/stable/site) + If you install the [Eclipse for Java EE Developers](http://www.eclipse.org/downloads/packages/release/2018-09/r/eclipse-ide-java-ee-developers), + you should get a version that includes already PDE, JSDT, and Buildship. Thus, you only need + to add the Scala IDE. * The native libraries and the JNI packages for [CVC3](http://cs.nyu.edu/acsys/cvc3/). On a Debian-based Linux system, you need to install the package `libcvc3-5-jni`. @@ -74,6 +77,7 @@ using `File -> Import -> Gradle -> Existing Gradle Projects`: 2. Import all offered projects + ## Team Main contact: [Achim D. Brucker](http://www.brucker.ch/)