lh-teaching-projects
/
2018-tuos-adb-ug-02b-dataflow-analysis-of-hybrid-apps-dasca
forked from DASCA/DASCA
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Updated pre-requistes.

This commit is contained in:
Achim D. Brucker 2018-10-28 08:32:38 +00:00
parent 04a443be22
commit 937a36aad1
1 changed files with 9 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
README.md
View File

@ -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