isabelle-eclipse symlink on Mac is invalid

[andriusvelykis]

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]

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.