Skip to content

Ocaml Ide in Eclipse

domasin edited this page Jul 29, 2013 · 2 revisions

These are few notes that I take to install an Ocaml Ide.

I'm using Ubuntu 13 as OS.

Install jre

# sudo apt-get install default-jre

Install eclispe

These notes come from http://akovid.blogspot.it/2012/08/installing-eclipse-juno-42-in-ubuntu.html

  1. download here: http://www.eclipse.org/downloads/
  2. # tar xzf eclipse-standard-kepler-R-linux-gtk.r.gz (change the file with the downloaded eclipse version)
  3. # sudo mv eclie /opt/
  4. # sudo gedit /usr/share/applications/eclse.desktop
  5. copy this in ecpse.desktop

[Desktop Entry]
Name=Eclipse
Type=Application
Exec=/opt/eclipse/eclipse
Terminal=false
Icon=/opt/eclipse/icon.xpm
Comment=Integrated Development Environment
NoDisplay=false
Categories=Development;IDE
Name[en]=lipse.desktop

  1. # cd /usr/local/bin
  2. # sudo ln -s /opt/eclipse/eclipse
  3. launch eclipse:
    # /opt/eclipse/eclipse -clean &

Install OcaIde in eclipse

These notes come from http://www.algo-prog.info/ocaide/install.php

  1. go to Help --> Install new software...
  2. Enter http://www.algo-prog.info/ocaide/ as the update site
  3. Check the OcaIDE category or feature in the list.
  4. Then, click Next twice, accept the agreement and click Finish.
  5. The plug-in then downloads... It can take a while depending on your connection speed.
  6. Accept the installation (the plug-in is not digitally signed), and restart Eclipse when it asks you to.
  7. As soon as Eclipse is restarted, you can start using the plug-in.

Using the Ide

Check this video: http://vimeo.com/35685464. It uses Cygwin for the installation. Skip installation instructions if you already installed on Ubuntu and see how the Ide is used.