[Teaching] Getting OCaml set up on a mac

[Yaron Minsky]

And the version of Tuareg is the one from opam?  Did you try
Christophe's suggestion of getting the HEAD release?

y

On Mon, Jan 26, 2015 at 10:02 AM, Greg Morrisett <greg at eecs.harvard.edu> wrote:
> One possible difference is that I’m using MacPorts instead of
> Homebrew.  But I’m not sure why that would cause these problems.
> I explicitly downloaded the latest (binary) versions of both
> emacs and aquamacs.
>
> -Greg
>
>> On Jan 26, 2015, at 10:00 AM, Greg Morrisett <greg at eecs.harvard.edu> wrote:
>>
>> The emacs version is 24.4.1.  The .emacs file is the one you sent
>> me.  When I fire this up, font-lock-mode is enabled, but nothing
>> is colorized when I load a .ml file.  If I explicitly font-lock-
>> fontify-buffer, and then type anything, I get the error message:
>>
>>  Symbol’s function definition is void:  tuareg-syntax-propertize
>>
>> I’m going to try the most recent head of tuareg to see if this
>> fixes the problem.
>>
>> (NB:  same behavior under latest Aquamacs.)
>>
>> -Greg
>>
>>> On Jan 23, 2015, at 8:54 PM, Yaron Minsky <yminsky at janestreet.com> wrote:
>>>
>>> Hmm.  Really can't replicate the problem --- font-lock works fine for
>>> me.  Greg, can you email out your full .emacs?  And double-check the
>>> version of emacs your running?
>>>
>>> y
>>>
>>> On Fri, Jan 23, 2015 at 6:35 PM, Yaron Minsky <yminsky at janestreet.com> wrote:
>>>> That's odd. I'll look at this this weekend.
>>>>
>>>> y
>>>>
>>>> On Jan 23, 2015 11:07 AM, "Greg Morrisett" <greg at eecs.harvard.edu> wrote:
>>>>>
>>>>> Thanks.
>>>>>
>>>>> Your dot-emacs and dot-merlin work (with tuareg-2.0.8 which
>>>>> is what opam installs now.)
>>>>>
>>>>> However, font lock mode doesn’t automatically trigger on either
>>>>> emacs or aquamacs, in spite of the fact that I added:
>>>>>
>>>>> (global-font-lock-mode t)
>>>>>
>>>>> If I add a hook to try to explicitly turn on font-lock:
>>>>>
>>>>> (add-hook 'tuareg-mode-hook 'font-lock-fontify-buffer t)
>>>>>
>>>>> then I get the error:
>>>>>
>>>>> Warning: Bug in tuareg-mode: it forgets to call `run-mode-hooks'
>>>>> File mode specification error: (void-function tuareg-syntax-propertize)
>>>>>
>>>>> -Greg
>>>>>
>>>>>> On Jan 22, 2015, at 9:58 PM, Yaron Minsky <yminsky at janestreet.com>
>>>>>> wrote:
>>>>>>
>>>>>> In the meantime, I've attached a dot-emacs and dot-merlin files that I
>>>>>> think work nicely on a mac.  The one thing you need to do is to add
>>>>>> this line to your .profile file:
>>>>>>
>>>>>> eval `opam config env`
>>>>>>
>>>>>> The dot emacs depends on this being in place for figuring out where to
>>>>>> find all the executables stashed in the .opam directory.
>>>>>>
>>>>>> The pre-reqs for this to work is getting tuareg downloaded and in the
>>>>>> proper path (right now, I assume ~/.elisp/tuareg-mode), and installing
>>>>>> some opam packages:
>>>>>>
>>>>>> opam install core async merlin utop ocp-indent
>>>>>>
>>>>>> This should give you merlin, ocp-indent, tuareg, and utop support, all
>>>>>> nicely integrated.  Note that the .merlin file needs to go in the
>>>>>> directory where you're editing code (and really, in every directory
>>>>>> where you're editing code.)  And the .merlin assumes that you're using
>>>>>> ocamlbuild (or corebuild) and so are putting your build artifacts in
>>>>>> _build.
>>>>>>
>>>>>> I'm hoping this is helpful.
>>>>>>
>>>>>> y
>>>>>>
>>>>>> On Thu, Jan 22, 2015 at 8:42 PM, Yaron Minsky <yminsky at janestreet.com>
>>>>>> wrote:
>>>>>>> On Thu, Jan 22, 2015 at 8:25 PM, Louis Gesbert
>>>>>>> <louis.gesbert at ocamlpro.com> wrote:
>>>>>>>> Thanks for the feedback. It's probably still a bit rough at the moment
>>>>>>>> but the config-updating engine is there, and polishing configuration itself
>>>>>>>> from there should be straight-forward (and never-ending).
>>>>>>>
>>>>>>> Indeed.  Now I think is the time to really focus on getting it
>>>>>>> working, because this is the beginning of the semester, and so now is
>>>>>>> the most valuable time to have something working cleanly.
>>>>>>>
>>>>>>> It would be good to know what we have there now.  It seems like a
>>>>>>> minimum should be:
>>>>>>>
>>>>>>> - tuareg
>>>>>>> - merlin
>>>>>>> - ocp-indent
>>>>>>> - utop
>>>>>>>
>>>>>>> all read to go in emacs.  Getting vim and sublime text support would
>>>>>>> be lovely too, but I think less critical.  What does user-setup
>>>>>>> already support?
>>>>>>>
>>>>>>>> The idea, with this and the "depext" package is to have a setup that
>>>>>>>> can be limited to:
>>>>>>>>
>>>>>>>>  PACKAGES="user-setup merlin utop cohttp js_of_ocaml oasis
>>>>>>>> ocp-indent ocp-index ssl core_extended async js_of_ocaml core_bench cohttp
>>>>>>>> cryptokit menhir"
>>>>>>>>  opam init -a
>>>>>>>>  opam install depext
>>>>>>>>  opam depext $PACKAGES
>>>>>>>>  opam install $PACKAGES
>>>>>>>>
>>>>>>>> and results in a ready-to-go environment. This is in particular
>>>>>>>> targetted at VM setup, of course.
>>>>>>>
>>>>>>> Interesting. Concretely, what would would depext do in this context?
>>>>>>> I did a fresh install of a number of packages on my mac, and I didn't
>>>>>>> need much else, but I may have already had the dependencies in place
>>>>>>> via brew.
>>>>>>>
>>>>>>> y
>>>>>>>
>>>>>>>>> - Yaron Minsky, 22/01/2015 10:56 -
>>>>>>>>> It installed cleanly for me, but it doesn't quite work.  I installed
>>>>>>>>> user-setup, merlin, ocp-indent, tuareg, utop, core and async.  It all
>>>>>>>>> went through, but when I open a .ml file, it shows up in lisp mode,
>>>>>>>>> not tuareg.
>>>>>>>>
>>>>>>>> Seems it doesn't handle the opam-installed tuareg package well at the
>>>>>>>> moment, should be fixed in a moment.
>>>>>>>>
>>>>>>>>> On Thu, Jan 22, 2015 at 10:54 AM, Greg Morrisett
>>>>>>>>> <greg at eecs.harvard.edu> wrote:
>>>>>>>>>> Okay, I just followed these steps:
>>>>>>>>>>>
>>>>>>>>>>> opam update
>>>>>>>>>>> opam install user-setup
>>>>>>>>>>
>>>>>>>>>> and it seems to be hanging.  Is there a log file or
>>>>>>>>>> other config information that I can send you to help
>>>>>>>>>> figure this out?
>>>>>>>>
>>>>>>>> Thanks. I just managed to reproduce on OPAM 1.1 and hope to fix it
>>>>>>>> quickly.
>>>>>>>
>>>>>>> Greg, it's also probably a good idea to encourage your students to
>>>>>>> upgrade to the latest opam if they're on a mac.  Homebrew is pretty
>>>>>>> lightweight, and has opam 1.2.0.
>>>>>>>
>>>>>>> y
>>>>>> <dot-emacs><dot-merlin>
>>>>>
>>>>
>>
>> _______________________________________________
>> Teaching mailing list
>> Teaching at lists.ocaml.org
>> http://lists.ocaml.org/listinfo/teaching
>