The Coq mailing list

[Alan Schmitt <alan.schmitt AT inria.fr>]

Hello,

On 2015-08-29 00:16, Pierre Boutillier 
<pierre.boutillier AT pps.univ-paris-diderot.fr>
 writes:

> We've successfully installed lablgtkosx with Jasmin Blanchette using macport
> during the coq coding sprint in June. It took us 1 entire day and I can’t
> remember the correct invocation in the end. Something like
> port install gtk-osx-application-gtk2 lablgtk2 camlp5 +no_x11 +quartz 
> +gtksourceview2
> but then I don't remember if we successfully built a standalone reloadable 
> .app from it.

I don’t know if it’s helpful, but I know how to (fairly painlessly)
install lablgtkosx with opam and homebrew.

Alan

-- 
OpenPGP Key ID : 040D0A3B4ED2E5C7
Last week athmospheric CO₂ average (Updated August 28, 2015, Mauna Loa Obs.):
378.79 ppm

Attachment: signature.asc
Description: PGP signature