coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Clément Pit--Claudel <clement.pit AT gmail.com>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Compiling a CoqIDE Mac app with native Quartz
- Date: Tue, 09 Jun 2015 08:41:13 -0700
(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
- [Coq-Club] Compiling a CoqIDE Mac app with native Quartz, Tej Chajed, 06/09/2015
- Re: [Coq-Club] Compiling a CoqIDE Mac app with native Quartz, Clément Pit--Claudel, 06/09/2015
- Re: [Coq-Club] Compiling a CoqIDE Mac app with native Quartz, Matthieu Sozeau, 06/10/2015
- Re: [Coq-Club] Compiling a CoqIDE Mac app with native Quartz, Enrico Tassi, 06/09/2015
- Re: [Coq-Club] Compiling a CoqIDE Mac app with native Quartz, Clément Pit--Claudel, 06/09/2015
- Re: [Coq-Club] Compiling a CoqIDE Mac app with native Quartz, Clément Pit--Claudel, 06/09/2015
Archive powered by MHonArc 2.6.18.