[Teaching] Getting OCaml set up on a mac
Anil Madhavapeddy
anil at recoil.org
Fri Jan 23 05:39:18 GMT 2015
Fixed; there was a minor typo in the `opam` file for the package;
https://github.com/ocaml/opam-repository/pull/3441
-a
> On 23 Jan 2015, at 04:33, Yaron Minsky <yminsky at janestreet.com> wrote:
>
> Also, I can't seem to install depext, but the reason doesn't make sense:
>
> Kalessin:~ yminsky2$ opam install depext
> [ERROR] depext is not available because your system doesn't comply
> with opam-version >= "4.02".
> Kalessin:~ yminsky2$ opam --version
> 1.2.0
>
> I'm running the latest opam available from homebrew.
>
> y
>
> On Thu, Jan 22, 2015 at 10:21 PM, Yaron Minsky <yminsky at janestreet.com> wrote:
>> Does depext do anything on a mac? On redhat? Or is it Debian only?
>>
>> On Jan 22, 2015 10:03 PM, "Louis Gesbert" <louis.gesbert at ocamlpro.com>
>> wrote:
>>>
>>> Just released 0.2 which should fix both issues (opam tuareg mode and
>>> stalling with vim)
>>>
>>>> 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?
>>>
>>> Needs more testing, but we do have those ; vim support also, but it's more
>>> lightly tested.
>>> I didn't figure how to configure Sublime yet.
>>>
>>>> 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.
>>>
>>> Not sure, but you can use `opam depext -l` to simply show the currently
>>> required external packages.
>>>
>>> The one that bites most often on .deb distributions is the lack of m4,
>>> which is required by ocamlfind. It gets much more complicated as soon as you
>>> want to install e.g. gtk stuff, of course (ocaml-top...).
>>>
>>> Best,
>>> Louis
>
More information about the Teaching
mailing list