The Coq mailing list

[Tej Chajed <tchajed AT mit.edu>]

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