-
Notifications
You must be signed in to change notification settings - Fork 4
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.
# sudo apt-get install default-jre
These notes come from http://akovid.blogspot.it/2012/08/installing-eclipse-juno-42-in-ubuntu.html
- download here: http://www.eclipse.org/downloads/
-
# tar xzf eclipse-standard-kepler-R-linux-gtk.r.gz
(change the file with the downloaded eclipse version) # sudo mv eclie /opt/
# sudo gedit /usr/share/applications/eclse.desktop
- 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
# cd /usr/local/bin
# sudo ln -s /opt/eclipse/eclipse
- launch eclipse:
# /opt/eclipse/eclipse -clean &
These notes come from http://www.algo-prog.info/ocaide/install.php
- go to 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.
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.