The Coq mailing list

[Clément Pit--Claudel <cpitcla AT mit.edu>]

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