coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Matthieu Sozeau <mattam AT mattam.org>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Compiling a CoqIDE Mac app with native Quartz
- Date: Wed, 10 Jun 2015 06:55:50 +0000
Hi,
It's fairly complicated, as you need the gtk development kit to bundle the libraries with the app, and it takes quite a while to compile but of course you can do it. You'll also need an apple developer key to distribute it IIUC. I can send you the current script.
Once I managed to compile it using macports and +quartz variants of gtk libraries, you might want to try that otherwise (no .app though).
Best,
-- Matthieu
It's fairly complicated, as you need the gtk development kit to bundle the libraries with the app, and it takes quite a while to compile but of course you can do it. You'll also need an apple developer key to distribute it IIUC. I can send you the current script.
Once I managed to compile it using macports and +quartz variants of gtk libraries, you might want to try that otherwise (no .app though).
Best,
-- Matthieu
Le mer. 10 juin 2015 à 07:52, Clément Pit--Claudel <cpitcla AT mit.edu> a écrit :
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
- [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.