The Coq mailing list

[Alan Schmitt <alan.schmitt AT polytechnique.org>]

On 2015-08-31 11:22, Pierre Boutillier 
<pierre.boutillier AT pps.univ-paris-diderot.fr>
 writes:

> 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 !

I think it does what you want:

--8<---------------cut here---------------start------------->8---
% otool -L /usr/local/lib/libcairo.2.dylib
/usr/local/lib/libcairo.2.dylib:
        /usr/local/lib/libcairo.2.dylib (compatibility version 11403.0.0, 
current version 11403.2.0)
        /usr/local/lib/libpixman-1.0.dylib (compatibility version 33.0.0, 
current version 33.6.0)
        /usr/local/lib/libfontconfig.1.dylib (compatibility version 10.0.0, 
current version 10.0.0)
        /usr/local/lib/libfreetype.6.dylib (compatibility version 19.0.0, 
current version 19.0.0)
        /usr/local/lib/libpng16.16.dylib (compatibility version 34.0.0, 
current version 34.0.0)
        /usr/lib/libz.1.dylib (compatibility version 1.0.0, current version 
1.2.5)
        
/System/Library/Frameworks/ApplicationServices.framework/Versions/A/ApplicationServices
 (compatibility version 1.0.0, current version 48.0.0)
        /usr/lib/libSystem.B.dylib (compatibility version 1.0.0, current 
version 1213.0.0)
        
/System/Library/Frameworks/CoreFoundation.framework/Versions/A/CoreFoundation 
(compatibility version 150.0.0, current version 1153.18.0)
        
/System/Library/Frameworks/CoreGraphics.framework/Versions/A/CoreGraphics 
(compatibility version 64.0.0, current version 600.0.0)
        /System/Library/Frameworks/CoreText.framework/Versions/A/CoreText 
(compatibility version 1.0.0, current version 1.0.0)
--8<---------------cut here---------------end--------------->8---

Homebrew offers the option to link in x11 support, but it’s an option
only:

--8<---------------cut here---------------start------------->8---
% brew info cairo
cairo: stable 1.14.2 (bottled)
Vector graphics library with cross-device output support
http://cairographics.org/
/usr/local/Cellar/cairo/1.14.2_1 (111 files, 6,1M) *
  Poured from bottle
From: 
https://github.com/Homebrew/homebrew/blob/master/Library/Formula/cairo.rb
==> Dependencies
Build: xz ✔, pkg-config ✔
Required: freetype ✔, fontconfig ✔, libpng ✔, pixman ✔, glib ✔
==> Options
--universal
        Build a universal binary
--with-x11
        Build with x11 support
--8<---------------cut here---------------end--------------->8---

Alan

-- 
OpenPGP Key ID : 040D0A3B4ED2E5C7
Last week athmospheric CO₂ average (Updated August 28, 2015, Mauna Loa Obs.):
378.79 ppm

Attachment: signature.asc
Description: PGP signature