Skip to main content

Courseware and Computer Resources


Installing OCaml for 3110

The instructions below are taken from the CS 3110 Fall 2016 OCaml Installation Instructions, which should be referenced if you are trying a native installation.

  • Download and install VirtualBox for your operating system. Make sure you have the latest version before proceeding.
  • Download either the 64-bit version of the 3110 virtual machine or the 32-bit version. Most people will want the 64-bit version. If you're not sure which you need, this article might help. If you're still not sure, try the 64-bit version first, and if it fails to start, try the 32-bit version.
  • Import the virtual machine:
    • Run VirtualBox.
    • Select File → Import Appliance
    • Choose the `.ova` file you just downloaded and import it.
  • Run the virtual machine:
    • Select csvm-2017sp (or csvm-2017sp-32, if you are using the 32-bit version) from the list of machines in VirtualBox.
    • Click Start.
  • Login with username "ubuntu" and password "ubuntu". Don't login with the guest account. Be aware that if you create a new user, OPAM won't be intialized for that user; you would need to run the OPAM initialization commands provided below under "Native installation".
  • To launch the OCaml toplevel:
    • Start a terminal by choosing the 4th icon down from the top in the launcher on the left-hand side of the desktop.
    • Run `utop`.
    • Enter `#quit;;` to exit the toplevel.
  • When you use VirtualBox to shut down the VM, you will be presented with three choices: save the machine state, shutdown the machine, or power it off. **DO NOT CHOOSE POWER OFF.** That is the equivalent of pulling the power cord of a desktop machine from the wall: it causes the operating system to suddenly quit without doing any cleanup. Repeatedly doing that will cause the file system to become corrupted, which will cause you to lose data and have to reinstall the VM. Most commonly you probably want to save the machine state, which is like putting your laptop in hibernate/sleep mode. Shutdown is like pushing the power button.

Computer Labs

CIT Labs

Cornell Information Technologies (CIT) runs several computer labs across campus for all members of the Cornell community. Check here for locations and hours.


CS majors are entitled to an account in the CSUG labs in Gates and Rhodes. Check here for more information.