DASCA
/
DASCA
2
1
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Added update sites to README.

This commit is contained in:
Michael Herzberg 2016-09-11 12:25:36 +01:00
parent 6ba1bd82d7
commit 78a12e0e5b
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
README.md
View File

@ -5,10 +5,13 @@
* Java 6 (core libraries for the WALA analysis)
* Android SDK (to obtain dx.jar)
* Eclipse Neon, including
* Scala IDE
* Scala Maven Plugin (http://scala-ide.org/docs/tutorials/m2eclipse/)
* m2e plugin
* Scalatest Runner (optional)
* From http://download.scala-ide.org/sdk/lithium/e44/scala211/stable/site
* Scala IDE
* Scalatest Runner (optional)
* From http://alchim31.free.fr/m2e-scala/update-site
* "Maven for Scala" - Maven Integration for Eclipse
* From http://download.eclipse.org/releases/neon
* m2e - Maven Integration for Eclipse
* CVC3 including the Java bindings for CVC3
* apktool