Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Compiling a CoqIDE Mac app with native Quartz

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Compiling a CoqIDE Mac app with native Quartz


Chronological Thread 
  • 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

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



Archive powered by MHonArc 2.6.18.

Top of Page