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

Fixed README.

This commit is contained in:
Michael Herzberg 2016-09-11 13:06:09 +01:00
parent ea335c8fd9
commit 05b18e7f27
1 changed files with 3 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
README.md
View File

@ -5,13 +5,9 @@
* Java 6 (core libraries for the WALA analysis)
* Android SDK (to obtain dx.jar)
* Eclipse Neon, including
* 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
* From http://download.scala-ide.org/sdk/lithium/e44/scala211/stable/site : Scala IDE and 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
@ -34,9 +30,7 @@ cloning the repository.
```
cd $(mktemp -d)
wget https://bitbucket.org/iBotPeaches/apktool/downloads/apktool_2.0.0.jar
mvn install:install-file -Dfile=apktool_2.0.0.jar -DgroupId=apktool -DartifactId=apktool -Dpackaging=jar -Dversion=2.0.0
```