search

andriusvelykis / isabelle-eclipse

Eclipse integration for Isabelle proof assistant.
http://andriusvelykis.github.io/isabelle-eclipse
Eclipse Public License 1.0
12 stars 4 forks source link

isabelle-eclipse symlink on Mac is invalid #51

Open andriusvelykis opened 11 years ago

andriusvelykis commented 11 years ago

In the root of Isabelle/Eclipse IDE distribution there is a isabelle-eclipse file. It should be a symlink pointing to isabelle-eclipse.app/Contents/MacOS/isabelle-eclipse. However, it seems to have copied the executable instead of creating a symbolic link to it. For this reason, when executed, it gives an error "The Isabelle-eclipse executable launcher was unable to locate its companion shared libraries".

Investigate why a symlink is not created - there must be an issue with Tycho build process or my configurations of the build.

The application can still be launched by double-clicking isabelle-eclipse.app file.

andriusvelykis commented 11 years ago

It seems that the problem is blocked by a bug in plexus-archiver: PLXCOMP-117.

Tycho uses plexus-archiver to archive the products and the symbolic link gets lost. Cannot do anything until this is fixed.