From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.4 required=5.0 tests=AWL,SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id BAED3BBC4 for ; Mon, 30 Mar 2009 12:56:25 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap4CAJpC0EmEqOABmWdsb2JhbACWAwEBAQEBCAsKBxGyYYN6Bg X-IronPort-AV: E=Sophos;i="4.38,446,1233529200"; d="scan'208";a="37485859" Received: from oxalide-out.extra.cea.fr ([132.168.224.1]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 30 Mar 2009 12:56:25 +0200 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by oxalide.extra.cea.fr (8.14.2/8.14.2/CEAnet-Internet-out-2.0) with ESMTP id n2UAsTNR012069 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Mon, 30 Mar 2009 12:54:30 +0200 Received: from muguet2.intra.cea.fr (muguet2.intra.cea.fr [132.166.192.7]) by pisaure.intra.cea.fr (8.14.2/8.14.2) with ESMTP id n2UAwqCw024983 for ; Mon, 30 Mar 2009 12:58:52 +0200 (envelope-from Pascal.Cuoq@cea.fr) Received: from is005030.intra.cea.fr (is005030.intra.cea.fr [132.166.132.11]) by muguet2.intra.cea.fr (8.13.8/8.13.8/CEAnet-Intranet-out-1.1) with ESMTP id n2UAuNa0028312 for ; Mon, 30 Mar 2009 12:56:23 +0200 Message-Id: <2B4B31CE-5C55-4F07-AC9C-84307AF1F7C2@cea.fr> From: Pascal Cuoq To: caml-list@yquem.inria.fr In-Reply-To: <20090330100002.CA4F0BBC6@yquem.inria.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Apple Message framework v930.3) Subject: native GTK+ on Mac OS X Date: Mon, 30 Mar 2009 12:56:16 +0200 References: <20090330100002.CA4F0BBC6@yquem.inria.fr> X-Mailer: Apple Mail (2.930.3) X-Spam: no; 0.00; cuoq:01 cuoq:01 gtk:01 gtk:01 lib:01 wiki:01 subdirectory:01 usr:01 lib:01 gimp:01 ocaml:01 quartz:98 quartz:98 sourceforge:01 wrote:01 > On Mar 30, 2009, at 7:41 AM, Gr=FCnewald Micha=EBl wrote: > >> Did you have Gtk+ working natively in OSX? Joel Reymont wrote: > I do but I built from source after downloading the GTK+/OSX frameworks > and using ./configure --with-quartz > > I also had to place the following two (identical) files in /opt/local/ > lib/pkgconfig since my pkg-config comes from MacPorts Alternately, I have found that I could use MacPorts for everything GTK+ and still get the Quartz back-end if I follow the instructions for compiling a native Mac OS X version of Inkscape: http://www.inkscape.org/wiki/index.php/CompilingMacOsX For distributing binaries, I build my quartz variant of MacPorts as a subdirectory of the installation path that I wish to use (/usr/local/Frama-C/lib/macports), and include in the distributed archive those libraries that are necessary for running Frama-C. See the contents of one of the Mac OS X distributions for details: http://frama-c.cea.fr/download.html This unfortunately means that the binaries can not be installed anywhere else. Gimp.app (http://gimp-app.sourceforge.net/) allows to move the application around by using a shell script to change, at each launch, the paths in all the configuration files that have them hard-coded. But some of the libraries that Frama-C depends on seem to have binaries files with hard-coded paths, so I didn't succeed in doing the same thing. Tangentially, I would be interested in any improvement suggestions from people more knowledgeable that me on the subject of gtk-quartz, displaying unicode with pango on Mac OS X, and their interactions with OCaml. Pascal