The Coq mailing list

[Matthieu Sozeau <mattam AT mattam.org>]

Hi,

It's fairly complicated, as you need the gtk development kit to bundle the libraries with the app, and it takes quite a while to compile but of course you can do it. You'll also need an apple developer key to distribute it IIUC. I can send you the current script.
Once I managed to compile it using macports and +quartz variants of gtk libraries, you might want to try that otherwise (no .app though).

Best,
-- Matthieu

Le mer. 10 juin 2015 à 07:52, Clément Pit--Claudel <cpitcla AT mit.edu> a écrit :

Why would you ever want to compile CoqIDE?! :)

On 06/09/2015 07:31 AM, Tej Chajed wrote:
> I'm trying to compile my own version of CoqIDE_8.5beta2.app for OS X, primarily to take advantage of bug fixes as soon as possible, and I'd like to link to GTK+ using Quartz, not XQuartz. This appears to be the way the MacOS binaries are distributed, since they provide a native app with no dependency on X11.
>
> How were these packages compiled? I'd like to be able to combine having the better integration with OS X of a native app while still using the latest version of Coq.
>
> I have been able to compile an app bundle, but it uses Homebrew's gtk+, which means that it still uses X11.
>
> Thanks!
> Tej