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

Documented requirement to configure JAVA_HOME.

This commit is contained in:
Achim D. Brucker 2017-10-31 08:15:23 +00:00
parent 6850b5c686
commit de3402bca1
1 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
README.md
View File

@ -43,7 +43,6 @@ by analyzing the programs based on a different Java version), you
might need to configure the location of the Java JDK. The JDK used might need to configure the location of the Java JDK. The JDK used
as part of the static analysis is configured in the `wala.properties` as part of the static analysis is configured in the `wala.properties`
file, e.g. file, e.g.
``` ```
cd DASCA/ cd DASCA/
echo "java_runtime_dir = <PATH-TO-JDK>" >> externals/WALA/com.ibm.wala.core/dat/wala.properties echo "java_runtime_dir = <PATH-TO-JDK>" >> externals/WALA/com.ibm.wala.core/dat/wala.properties
@ -53,11 +52,17 @@ the `<PATH-TO-JDK>` should point to the directory containing the file
`rt.lib`. `rt.lib`.
### How to Compile ### How to Compile
First resolve the dependencies using maven: First check that the variable `JAVA_HOME` is configured correctly, e.g.:
```
export JAVA_HOME=/usr/lib/jvm/java-8-openjdk-amd64
```
Second, resolve the dependencies using maven:
``` ```
cd src/com.logicalhacking.dasca.parent/ cd src/com.logicalhacking.dasca.parent/
mvn -P wala clean verify -DskipTests=true -q mvn -P wala clean verify -DskipTests=true
``` ```
After this, all projects can be imported into a fresh Eclipse After this, all projects can be imported into a fresh Eclipse
workspace using `File -> Import -> Maven -> Existing Maven Projects`: workspace using `File -> Import -> Maven -> Existing Maven Projects`:
1. Select the DASCA `src` folder as source for the import 1. Select the DASCA `src` folder as source for the import