update installation for OCaml
[lambda.git] / how_to_get_the_programming_languages_running_on_your_computer.mdwn
index 654859f..6fab52a 100644 (file)
@@ -229,7 +229,8 @@ Sometimes we may refer to Caml or ML
 more generally; but you can assume that what we're talking about always works more
 specifically in OCaml.
 
-It's helpful if in addition to OCaml you also install the Findlib add-on and/or the [OPAM](https://opam.ocaml.org) "package manager."
+It's helpful if in addition to OCaml you also install the
+Findlib add-on and/or the [OPAM](https://opam.ocaml.org) "package manager."
 These will make it easier to install additional add-ons further down the road.
 However, if you're not able to get them working, don't worry about it much.
 
@@ -244,7 +245,9 @@ The current version of OCaml is 4.02.1 (released October 2014).
 
 *   **To install in Windows**
 
-    Go to <http://caml.inria.fr/download.en.html>.
+    There are *five* different strategies for installing OCaml on Windows. I don't know which works best.
+
+    1.  First, you can go to <http://caml.inria.fr/download.en.html>.
     You can probably download and install the
     "Self installer for the port based on the MinGW toolchain"
     even if you don't know what MinGW or Cygwin are.
@@ -253,21 +256,33 @@ The current version of OCaml is 4.02.1 (released October 2014).
     At the time of this writing, only an installer for an earlier
     version of OCaml (4.01.0, from September 2013) is available.
 
-    To install the Findlib add-on, you must have the
-    Cygwin system installed. We assume few of you do,
-    so we're not going to try to explain how to do this.
+    2.  A second strategy uses a package called
+        [OCPWIN](http://ocaml.org/docs/install.html#OCPWINSelfContainedOCamlforWindows). This also installs only version 4.01.0.
+
+    3.  The [three remaining strategies](http://ocaml.org/docs/install.html#OCamlonCygwin) in some way
+    use the Cygwin environment, mentioned earlier on this page. At least one of
+    those three methods will automatically fetch and help you install Cygwin.
+    The first method listed on that page says it installs version 4.00.1, but
+    really it's been updated and now installs the (somewhat newer, but still
+    not the newest) version 4.01.0.
+
+    Some of these methods may automatically install Findlib for you. If not,
+    you can try installing it yourself but I think you'll need the Cygwin
+    system installed to do so. I'm not going to explain how to do this.
     If you want to figure it out yourself, go to the
     Findlib website at <http://projects.camlcity.org/projects/findlib.html>.
 
 *   **To install on Mac without MacPorts**
 
-    *Instructions coming*
+    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).
 
-*   *Another instruction page focuses on [OPAM](http://ocaml.org/docs/install.html), also [this](https://opam.ocaml.org).*
+    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.*
 
-*   *[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)*
+<!--
+    *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"
@@ -295,7 +310,7 @@ The current version of OCaml is 4.02.1 (released October 2014).
     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
@@ -306,10 +321,18 @@ The current version of OCaml is 4.02.1 (released October 2014).
     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 you're using Ubuntu "Utopic" (14.10), there's [a note on the OPAM home page](https://github.com/ocaml/opam)
+    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
     packaging system, you can go to
     <http://caml.inria.fr/download.en.html>.
@@ -391,9 +414,15 @@ That was to update my `PATH` variable as instructed by Cabal. On a Linux machine
 
 Some instructions may say to use `.bashrc` instead of `.bash_profile`. These files do similar jobs.
 
-After issuing the relevant `echo` command, I exited the Terminal and started a new Terminal session. Now if I type `echo $PATH` I should see the directory I just added in the list. Now I can contine setting up Cabal. I next type:
+After issuing the relevant `echo` command, I exited the Terminal and started a new Terminal session. Now if I type `echo $PATH` I should see the directory I just added in the list. Now I can contine setting up Cabal. I type:
+
+    which alex happy
+
+If that gives me back two pathnames, one to the program `alex` and the other to the program `happy`, then I'm already finished. If not, then I type:
 
     cabal install alex happy
 
-This installs some helper programs that Cabal needs to build and install some packages.
+This installs those two programs. They are helpers that Cabal needs to build and install some packages.
+
+<!-- https://github.com/pittsburgh-haskell/haskell-installation -->