The Coq mailing list

["Soegtrop, Michael" <michael.soegtrop AT intel.com>]

Dear Pierre,

I had similar issues on embedded Linux a while ago. Some people say that 
recent versions of GTK require more or less two backends, one for rendering 
and one for window and event handling and that rendering only or framebuffer 
backends are deprecated. See e.g. the last comment here:

http://stackoverflow.com/questions/21990111/why-qt-can-run-without-x-server-and-gtk-cant

        GTK+ requires a working windowing system — i.e. X11, Windows, MacOS 
X, or Wayland — in order to display content and handle events.

        Older versions of GTK+ allowed using the Linux frame buffer device, 
or DirectFB, as the windowing system, but both backends have been deprecated 
and are either removed in newer versions of the GTK+ library, or unmaintained 
and likely broken.

It might be (just guessing) that GTK can use Quartz as rendering backend, but 
still requires X for window and event handling.

I went back to GTK 1.X for my embedded project, where this was not an issue.

Best regards,

Michael

-----Original Message-----
From: 
coq-club-request AT inria.fr
 
[mailto:coq-club-request AT inria.fr]
 On Behalf Of Pierre Boutillier
Sent: Monday, August 31, 2015 11:23 AM
To: 
coq-club AT inria.fr
Subject: Re: [Coq-Club] building installers

Le 31 août 2015 à 09:26, Alan Schmitt 
<alan.schmitt AT polytechnique.org>
 a écrit :
> 
> I don’t know if it’s helpful, but I know how to (fairly painlessly) 
> install lablgtkosx with opam and homebrew.
Does this do NOT link cairo to the x11 libs installed on your system (otool 
-L libcairo.2.dylib to check) so that the .app will not depend on x11 being 
installed ?
This would make my life much easier !

Just as a joke: we’re not alone to deal with this trouble. Try to compile a c 
application using tk (or labltk) on a MacOS without x11 installed. It will 
fail because the x11 .h are missing despite the fact that there is a quartz 
backend for tk. Now that you had to install x11, try to make your tk app 
remain on the quartz backend ...
> 
> Alan
Pierre B.

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Prof. Dr. Hermann Eul
Chairperson of the Supervisory Board: Tiffany Doon Silva
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928