From 937a36aad1daaf7848eb1ae9deee769aaa5e54b0 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sun, 28 Oct 2018 08:32:38 +0000 Subject: [PATCH] Updated pre-requistes. --- README.md | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/README.md b/README.md index 3d5ca69..aa26c7e 100644 --- a/README.md +++ b/README.md @@ -5,13 +5,15 @@ ### Prerequisites * Java 8 (Java 9 or later is currently *not* supported) -* Android SDK (to obtain dx.jar) -* Eclipse Oxygen, including - * The Plug-in Development Environment (PDE) - * JavaScript Development Tools (JSDT) - * Gradle Integration (Buildship) - * [Scala IDE and Scalatest Runner (the latter is optional)](http://download.scala-ide.org/sdk/lithium/e44/scala211/stable/site) -* [CVC3](http://cs.nyu.edu/acsys/cvc3/) including the Java bindings for CVC3 +* Eclipse Oxygen, including the following additional packages: + * From the Eclipse Marketplace: + * The Plug-in Development Environment (PDE) + * 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) +* 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`. ### Checkout