coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] building installers

From: Pierre Boutillier <pierre.boutillier AT pps.univ-paris-diderot.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] building installers
Date: Mon, 31 Aug 2015 11:22:41 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=pierre.boutillier AT pps.univ-paris-diderot.fr; spf=None smtp.mailfrom=SRS0=xNeV=JG=pps.univ-paris-diderot.fr=pierre.boutillier AT bounce.ens-lyon.org; spf=Pass smtp.helo=postmaster AT sonata.ens-lyon.org
Ironport-phdr: 9a23:A1dX/hK2qURZL1GiqtmcpTZWNBhigK39O0sv0rFitYgULPjxwZ3uMQTl6Ol3ixeRBMOAu6kC1LOd6/uocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC1ILojqvqoNX6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVWqLjOq88ULZwDTI8Mmlz6te4mwPESF6353YGSGheuB1VHwnB6BD3RN+lqir3rPBwniOdINH3SbQ1VC6K979wDgLuiTlCLzcj8XqShs18gbhcvFSvvUoskMbvfIiJOa8mLevmdtQASD8ZUw==

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.

[Coq-Club] building installers, Michael Shulman, 08/27/2015
- Re: [Coq-Club] building installers, Enrico Tassi, 08/28/2015
- RE: [Coq-Club] building installers, Soegtrop, Michael, 08/28/2015
- Message not available
  - Re: [Coq-Club] building installers, Michael Shulman, 08/28/2015
    - Re: [Coq-Club] building installers, Pierre Boutillier, 08/29/2015
      - Re: [Coq-Club] building installers, Alan Schmitt, 08/31/2015
      - Re: [Coq-Club] building installers, Alan Schmitt, 08/31/2015
        
        Re: [Coq-Club] building installers, Pierre Boutillier, 08/31/2015
        
        Re: [Coq-Club] building installers, Alan Schmitt, 08/31/2015
        
        RE: [Coq-Club] building installers, Soegtrop, Michael, 08/31/2015
    - Message not available
      - Re: [Coq-Club] building installers, Michael Shulman, 08/29/2015