+## Notes ##
+
+* We were updating this page vigorously until about 2:30 pm on Saturday 31
+January. Now it is relatively stable, but we'll tweak it as we learn more. We
+encourage you to try to get the software set up sooner rather than later, and
+those who do so first should let us know how things go---whether it's smoothly
+or not---so that we might possibly refine or expand the instructions for
+others. It'd be great if you took careful notes of what you did, step by step.
+If our instructions are broken or misleading or incomplete, and you figure out
+how to fix them on your own, it'd also be great if you can tell us what went
+wrong and exactly what you did to achieve joy.
+
+* If you're using a Mac without the MacPorts package management system (on which
+see below), then I think we can customize these directions so that everything
+gets installed to your user directory, rather than to the system directories. This
+reduces the chances of anything getting messed up, and makes it easier to remove
+the software later. *Right now the instructions don't do this, but I'll be editing them
+over the next hour or so to make them do it.*
+
+
## Identifying your system ##
We'll assume you're using either Mac OS X, or Windows, or Linux.
* **To install on Mac without MacPorts**
- The people in charge of OCaml (they're at the French research institute INRIA) have stopped making pre-built packages for Mac OS X. One option you have is to use their package for a slightly older version of OCaml, 4.01.1 from Sept. 2013. You can find that as a "Precompiled binary for Mac OS X" on [this page](http://ocaml.org/releases/4.01.0.html).
+ The people in charge of OCaml (they're at the French research institute INRIA) have stopped making pre-built packages for Mac OS X. One option you have is to use their package for a slightly older version of OCaml, 4.01.1 from Sept. 2013. You can find that as a "Precompiled binary for Mac OS X" on [this page](http://ocaml.org/releases/4.01.0.html). If, when you attempt to install this package, you get an error about its being from an "unidentified developer," you need to control-click on the `ocaml.pkg` file and select "Open", then when the warning box appears again, this time there will be an "Open" button that you can click. Then you can continue running the Installer.
- A second option is to install the OPAM package manager and use that to build and install the latest version of OCaml. *Instructions on how to do that will be posted shortly.*
+ A second option is to install the OPAM package manager and use that to build and install the latest version of OCaml. Here's how to do that:
+
+ 1. Download [this file](https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh) and
+ note where it gets saved to. If it opens in your browser, then type
+ command-S / Save Page and save it somewhere on your disk, again noting its
+ location.
+
+ 2. Open a terminal and type:
+
+ sudo mkdir -p /usr/local/bin
+ sudo sh /path/to/opam_installer.sh /usr/local/bin
+
+ Except replace `/path/to` with the real location, that you noted in step 1.
+
+ 3. If that works, then type:
+
+ opan init --comp 4.01.0
+
+ or whatever it was that the OPAM installer prompted you to type. This will download and install a fresh version of OCaml, and will take a bit of time.
<!--
- *Another instruction page focuses on [OPAM](http://ocaml.org/docs/install.html), also [this](https://opam.ocaml.org).*
-
- *[More details about installing OCaml on Macs, if needed](http://mirror.ocamlcore.org/wiki.cocan.org/getting_started_with_ocaml_on_mac_os_x.html)*
-
- To install OCaml 3.12 (just released this summer), go to
- <http://caml.inria.fr/download.en.html>
- and download and install the "Binary distribution for Mac OS X"
-
- To install the Findlib add-on, you'll need the Xcode development tools
- to compile it yourself. Once you get that far, it's probably easiest
- for you to install MacPorts and just install things using the MacPorts
- instructions. (Use the MacPorts version of OCaml, instead of installing
- the package from the caml.inria.fr website, as described above)
- However, if you do have Xcode, and want to do without MacPorts, then
- what you need to do is download Findlib from
- <http://download.camlcity.org/download/findlib-1.2.6.tar.gz>.
- Unpack the download, open a Terminal and go into the folder you just
- unpacked, and type:
-
- ./configure
- make package-macosx
-
- This will build an installer package which you should be able to
- double-click and install.
- -->
+If you do have Xcode, and want to do without MacPorts, then
+what you need to do is download Findlib from
+<http://download.camlcity.org/download/findlib-1.2.6.tar.gz>.
+Unpack the download, open a Terminal and go into the folder you just
+unpacked, and type:
+
+ ./configure
+ make package-macosx
+
+This will build an installer package which you should be able to
+double-click and install.
+-->
* **To install on Mac with MacPorts**
You can install the current version of OCaml (4.02.1, from October 2014),
together with the Findlib add-on and OPAM package manager, by opening a Terminal and typing:
- sudo port install ocaml caml-findlib opam
+ sudo port install ocaml ocaml-findlib opam
As with Scheme, it's helpful to also have rlwrap installed, and to start OCaml as `rlwrap ocaml`. This gives
you a nice history of the commands you've already typed, which you can scroll up and down in with your
Use your packaging system, for example, open a Terminal and
type:
- sudo apt-get install ocaml ocaml-findlib opam
+ sudo apt-get install ocaml opam camlp4-extra ocaml-findlib
That will install a version of OCaml and the Findlib add-on and OPAM package manager.
- If for some reason you can't get OCaml through your
- packaging system, you can go to
+ If you're using Ubuntu "Utopic" (14.10), there's [a note on the OPAM home page](https://opam.ocaml.org/doc/Install.html)
+ warning that its version of OPAM is broken, and not to use it. Here's how you can get (OCaml and) OPAM from a newer repository:
+
+ sudo apt-get install -y software-properties-common
+ sudo apt-apt-repository -y ppa:avsm/ppa
+ sudo apt-get update
+ sudo apt-get install ocaml opam
+
+ If for some reason you can't get OCaml through your Linux packaging system, you can go to
<http://caml.inria.fr/download.en.html>.
Pre-packaged binary installers are available for several Linux systems.
- If you can't get findlib through your packaging system, you'll
- need to download it from
+ If you can't get findlib through your packaging system, you'll need to download it from
<http://download.camlcity.org/download/findlib-1.5.5.tar.gz>.
- and use gcc to compile it yourself. If you don't know how to
- do that, you probably don't want to attempt this.
+ and use gcc to compile it yourself. If you don't know how to do that, you probably don't want to attempt this.
Here are the INSTALL notes:
<https://godirepo.camlcity.org/svn/lib-findlib/trunk/INSTALL>.
keyboard arrows.
+
## Getting Haskell ##
This last installation is less crucial than the others, since we will be focusing