From de3402bca1ecf3a1f3f0550f38b7eb4427c1d1c1 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Tue, 31 Oct 2017 08:15:23 +0000 Subject: [PATCH] Documented requirement to configure JAVA_HOME. --- README.md | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 6bb8320..3626585 100644 --- a/README.md +++ b/README.md @@ -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 as part of the static analysis is configured in the `wala.properties` file, e.g. - ``` cd DASCA/ echo "java_runtime_dir = " >> externals/WALA/com.ibm.wala.core/dat/wala.properties @@ -53,11 +52,17 @@ the `` should point to the directory containing the file `rt.lib`. ### 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/ -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 workspace using `File -> Import -> Maven -> Existing Maven Projects`: 1. Select the DASCA `src` folder as source for the import