I tried to install PIPE (Platform Independent Petri Net Editor) on my machine, but I had a strange problem. Following their instruction I did:
$ mvn install
but the compilation failed for some reason.
The first error was "invalid target release: 1.7" while compiling PIPE-gui.
This can be solved by putting your JAVA_HOME in your .bashrc or .bash_profile files. In my case:
export JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64/
Reloading the bash, and running again the compilation, PIPE-gui is successfully compiled.
Nessun commento:
Posta un commento