The Coq mailing list

[Clément Pit--Claudel <clement.pit AT gmail.com>]

(previous message left too fast, sorry) 

Why do you want to compile CoqIDE? Are you specifically looking to get 
bugfixes for CoqIDE, or would it be enough to download the 8.5 beta2 of 
CoqIDE from https://coq.inria.fr/distrib/V8.5beta2/files/CoqIDE_8.5beta2.dmg 
and then just track Coq trunk for everything but the IDE? (maybe I'm mistaken 
in my assumption that you can update Coq independently of CoqIDE in the 
latest releases).

Pierre used to maintain MacOS nightlies at 
http://www.pps.univ-paris-diderot.fr/~pboutill/coq-night/, but I don't think 
he updates these anymore.

Clément

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