Running Rodin 1.1 with Ubuntu 9.10

I had a few issues getting Rodin 1.1 to work properly after Updating Ubuntu to 9.10.  The main issue is the HTML-Viewer that Eclipse uses.  It wraps Firefox/xulrunner in an SWT-Control.  Unfortunately, Firefox 3.5 (xulrunner 1.9.1) is incompatible with Eclipse 3.4, on which Rodin is based. To work around this problem, you need to install…

Full Article

I had a few issues getting Rodin 1.1 to work properly after Updating Ubuntu to 9.10.  The main issue is the HTML-Viewer that Eclipse uses.  It wraps Firefox/xulrunner in an SWT-Control.  Unfortunately, Firefox 3.5 (xulrunner 1.9.1) is incompatible with Eclipse 3.4, on which Rodin is based.

To work around this problem, you need to install xulrunner 1.9.0.  I installed it locally at ~/opt/xulrunner-1.9.0.15

Next, you need to edit your rodin.ini (in the Rodin installation directory) and add the following line:

-Dorg.eclipse.swt.browser.XULRunnerPath=~/opt/xulrunner-1.9.0.15

That’s it!  This also works for running Eclipse 3.4 (in that case, you have to edit eclipse.ini).

Good luck!