search

loonwerks / formal-methods-workbench

Other
20 stars 7 forks source link

Build error on macOS #28

Open jjhugues opened 5 years ago

jjhugues commented 5 years ago

Hi,

I'm trying to build from scratch the toolset My setup is

➜ tools git:(master) JAVA_HOME=/Library/Java/JavaVirtualMachines/jdk1.8.0_211.jdk/Contents/Home mvn -version Apache Maven 3.6.1 (d66c9c0b3152b2e69ee9bac180bb8fcc8e6af555; 2019-04-04T15:00:29-04:00) Maven home: /usr/local/Cellar/maven/3.6.1/libexec Java version: 1.8.0_211, vendor: Oracle Corporation, runtime: /Library/Java/JavaVirtualMachines/jdk1.8.0_211.jdk/Contents/Home/jre Default locale: en_US, platform encoding: UTF-8 OS name: "mac os x", version: "10.14.6", arch: "x86_64", family: "Mac"

When I run with ➜ tools git:(master) JAVA_HOME=/Library/Java/JavaVirtualMachines/jdk1.8.0_211.jdk/Contents/Home mvn clean verify

I get

[ERROR] Failed to resolve target definition /Users/jjhugues/Desktop/Work/Dev/formal-methods-workbench/tools/target-platform/com.collins.fmw.target.target: Failed to load p2 metadata repository from location file:agree/repository/target/repository/: URI is not hierarchical -> [Help 1] [ERROR] [ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch. [ERROR] Re-run Maven using the -X switch to enable full debug logging.

I could not find an easy solution for this.

Maven and Java are from Brew

dvanbrug commented 5 years ago

I think this is a duplicate of #24