Installing

Prerequisites

OcaIDE needs a 7.0 Java Virtual Machine (from Oracle: download the JRE here) and any recent version of Eclipse to work correctly.

It will not work with a JVM version inferior to 7.0.

If you are looking for an old version of OcaIDE, you can grab the jar from here and install it manually, or recompile it from source.

Also, beware that the plug-in has been reported not to work with GCJ (due to incomplete Java support in GCJ)

It works on Windows, Linux and Mac OS X. Some features are unavailable under Windows (debugger checkpoints and interrupting the toplevel, mainly).

Installation

To install OcaIDE inside of Eclipse, open Eclipse, click on Help > Install New Software...

Enter http://www.algo-prog.info/ocaide/ as the update site.

Check the OcaIDE category or feature in the list.

Then, click Next twice, accept the agreement and click Finish.

The plug-in then downloads... It can take a while depending on your connection speed.

Accept the installation (the plug-in is not digitally signed), and restart Eclipse when it asks you to.

As soon as Eclipse is restarted, you can start using the plug-in.

You can access the online help by clicking on Help > Help Contents in the Eclipse main menu, and choosing OCaml Development User Guide in the list of available topics.

Updating

You can update the plug-in by clicking on Help > Check for Updates in Eclipse main menu. The plug-in should appear in the list of available features if there is an update available.

Manual Installation

If for a reason you can't install the plug-in through the "Software Updates" system, you can still install it manually:

Uninstalling

To uninstall the plug-in, click on Help > About Eclipse SDK in Eclipse main menu. Then, click on the Installation Details button. In the Installed Software tab, select the OcaIDE feature and click Uninstall....