diff --git a/README.md b/README.md index 1b18e063..ad3b16de 100644 --- a/README.md +++ b/README.md @@ -25,7 +25,20 @@ Nopol requires Java and an SMT solver installed on the machine (e.g. Z3) Up to commit 80130c4c, Nopol required Java 8. Now it also works on Java 11, see https://github.com/SpoonLabs/nopol/pull/214 -1) Compile NoPol: +0) NoPol uses the `com.sun.jdi` that lives in `tools.jar`. Identify where `tools.jar` is and add the depencency in `pom.xml` + +``` + + com.sun + tools + 1.6.0 + system + + /home/martin/martin-no-backup/jdk1.8.0_40/lib/tools.jar + +``` + +2) Compile NoPol: ``` git clone https://github.com/SpoonLabs/nopol.git