The Coq mailing list

[Enrico Tassi <enrico.tassi AT inria.fr>]

On Tue, Jun 09, 2015 at 02:31:06PM +0000, 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.

I'm no OSX expert, so I can't really help you.  But:

1. We are setting up nightly builds (for now only windows, hopefully Mac
   soon), e.g.
     
https://ci.inria.fr/coq/job/coq-win32-8.5/label=coq-win7-32/lastSuccessfulBuild/artifact/dev/nsis/
     
https://ci.inria.fr/coq/job/coq-win64-8.5/label=coq-win7-64/lastSuccessfulBuild/artifact/dev/nsis/

2. Unless the bugfix is in coqide itself, you you can tell coqide to use
   a different coqtop via the options menu.  So you can just compile coq
   and use a pre compiled coqide.

Best,
-- 
Enrico Tassi