From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0DC0Hu4020583 for ; Fri, 13 Jan 2012 13:00:17 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlEDAHkcEE/RVdQ2kGdsb2JhbABCpQcBhweBAQgiAQEBAQkJDQcUBCGBaQUdAiwBGx4DEggBB10BEQEFASI1hSYHgiIRl16CXgqLaoJvhFQ/iHECBQuDcoggBJUSjgg9g3s X-IronPort-AV: E=Sophos;i="4.71,504,1320620400"; d="scan'208";a="139133126" Received: from mail-vw0-f54.google.com ([209.85.212.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 Jan 2012 13:00:12 +0100 Received: by vbbfp1 with SMTP id fp1so1916584vbb.27 for ; Fri, 13 Jan 2012 04:00:11 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:from:date:message-id:subject:to:content-type; bh=+IdGUy58QTtZK/pc3s5i4zZQYF1QpTKj1uAANGPG+r4=; b=uCCS1oInToJCenvPIN99Q5q7EUc53AGtbKXptJZddiWQ+Qr13gjWTkTRz1kiV2XBBI 94hsJqy3X/8owOEaU6siclczx/lxJaNqD8esALfM9/hRvTLlRiFDTtlBpa1QPxibVTYf Y9OWb9VwfmVrx0lgPOavdZ5tlJBLMEzMRjqNw= Received: by 10.52.92.33 with SMTP id cj1mr31824vdb.31.1326456010220; Fri, 13 Jan 2012 04:00:10 -0800 (PST) MIME-Version: 1.0 Received: by 10.52.240.130 with HTTP; Fri, 13 Jan 2012 03:59:49 -0800 (PST) From: Philippe Veber Date: Fri, 13 Jan 2012 12:59:49 +0100 Message-ID: To: caml users Content-Type: multipart/alternative; boundary=20cf307f3a0a4ca3e704b6679b3e X-Validation-by: philippe.veber@gmail.com Subject: [Caml-list] Compiling the ocaml distribution under multiarched Debian/Ubuntu --20cf307f3a0a4ca3e704b6679b3e Content-Type: text/plain; charset=ISO-8859-1 Dear camlers, Debian and Ubuntu have not so recently switched to multiarch binaries (including libs, see http://wiki.debian.org/Multiarch/Implementation). This is an important change for ocaml C bindings since the libraries are now to be found in /usr/lib/ instead of /usr/lib. I was just bitten by this, when realizing that the ocaml configure script couldn't find libX11.so and wouldn't install graphics. A similar problem was handled by the people in charge of debian ocaml packages ( http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=619344). Now my question is the following: will this evolution be a problem for GODI/odb packages (and more generally source distribution), and what is the advised fix for it? Cheers, Philippe. --20cf307f3a0a4ca3e704b6679b3e Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Dear camlers,

Debian and Ubuntu have not so recently switched to mul= tiarch binaries (including libs, see http://wiki.debian.org/Multiarch/Implementation).= This is an important change for ocaml C bindings since the libraries are n= ow to be found in /usr/lib/<arch description> instead of /usr/lib. I = was just bitten by this, when realizing that the ocaml configure script cou= ldn't find libX11.so and wouldn't install graphics. A similar probl= em was handled by the people in charge of debian ocaml packages (http://bugs.deb= ian.org/cgi-bin/bugreport.cgi?bug=3D619344). Now my question is the fol= lowing: will this evolution be a problem for GODI/odb packages (and more ge= nerally source distribution), and what is the advised fix for it?

Cheers,
=A0 Philippe.

--20cf307f3a0a4ca3e704b6679b3e-- From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0DCPJUH021295 for ; Fri, 13 Jan 2012 13:25:19 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApACADkiEE/U4xEJk2dsb2JhbABChRCoCCIBAQEBCQkLCRQDIoFyAQEEASNWBQsLEggCJgICSQ4GEwmHcQIGpVqRQYEvgk6HCoEWBI0ljT6Mbw X-IronPort-AV: E=Sophos;i="4.71,504,1320620400"; d="scan'208";a="126763945" Received: from moutng.kundenserver.de ([212.227.17.9]) by mail4-smtp-sop.national.inria.fr with ESMTP; 13 Jan 2012 13:25:14 +0100 Received: from office1.lan.sumadev.de (dslb-094-219-216-241.pools.arcor-ip.net [94.219.216.241]) by mrelayeu.kundenserver.de (node=mreu0) with ESMTP (Nemesis) id 0MMJbN-1Rksyq1Pa9-007qIK; Fri, 13 Jan 2012 13:25:13 +0100 Received: from [192.168.5.106] (dslb-094-219-216-241.pools.arcor-ip.net [94.219.216.241]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 04E28C00CE; Fri, 13 Jan 2012 13:25:13 +0100 (CET) From: Gerd Stolpmann To: Philippe Veber Cc: caml users In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Date: Fri, 13 Jan 2012 13:25:17 +0100 Message-ID: <1326457517.14288.11.camel@thinkpad> Mime-Version: 1.0 X-Mailer: Evolution 2.28.3 Content-Transfer-Encoding: 7bit X-Provags-ID: V02:K0:SGAItZ/wrjmEWV3Tdt5AHkfvRBXrY914rMZJNWlxGm+ QW6wbr4Dtv3egAPmUnWPd9zbrZeJNesUXoa7wXhyhhHxCxTXL4 IP7BBtdeUUHbxjqZZYkxu3HFWPBh57P7+qNQs8TOqRFZIy8Hc/ A59kHLU4dn1jqc3C8W84gDQ1HPTLptP53oyqpP0UxdoCmNUhTR loLA/X41/kh6K9qtS+JrTI8TouNhBt0Xe1pOTKGEWa3hPw9JB5 LxbXtE4I+Kkc3/HlA4mRayb1sGRFUGIHkq6NwGwPZ3EOvZeDgI exEHRmlaPNxagDtYnSdAbT9ogp5+VO6baGqBZj0XthBGZ3h0wT iydinowB9skXcqTBK/7G93SZjMoAIgJH6EQoZEyZO Subject: Re: [Caml-list] Compiling the ocaml distribution under multiarched Debian/Ubuntu Am Freitag, den 13.01.2012, 12:59 +0100 schrieb Philippe Veber: > Dear camlers, > > Debian and Ubuntu have not so recently switched to multiarch binaries > (including libs, see http://wiki.debian.org/Multiarch/Implementation). > This is an important change for ocaml C bindings since the libraries > are now to be found in /usr/lib/ instead > of /usr/lib. I was just bitten by this, when realizing that the ocaml > configure script couldn't find libX11.so and wouldn't install > graphics. A similar problem was handled by the people in charge of > debian ocaml packages > (http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=619344). Now my > question is the following: will this evolution be a problem for > GODI/odb packages (and more generally source distribution), and what > is the advised fix for it? Good question. For GODI it means that the automatic library search is broken. You can set the library path in most cases manually, though. (So far I overlook it, this is only a problem for the libs in /usr/lib// but not for the ones in /usr/lib/ because the latter can be linked without -L switches.) The question is how to generically work around this. GODI could provide a variable $USR_LIB_ARCH for the architecture-specific path prefix corresponding to /usr/lib/, which is set if "dpkg-architecture -qDEB_HOST_MULTIARCH" returns something. All the conf packages would need to be updated. In the future we will have many errors because not all package developers will test on multiarch-enabled systems. Don't know what else needs to be done. Gerd > Cheers, > Philippe. > -- ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de Creator of GODI and camlcity.org. Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de *** Searching for new projects! Need consulting for system *** programming in Ocaml? Gerd Stolpmann can help you. ------------------------------------------------------------ From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0DCieJC021991 for ; Fri, 13 Jan 2012 13:44:40 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsMBAL8mEE/RVdQ2kGdsb2JhbABCpQcBiAgIIgEBAQEJCQ0HFAQhgXIBAQEDARICLAEbHQEDAQsGBQsDBDQiAREBBQEODgYTCRmHWAiaKwqLaoJvhFE/iHECBQuDcoggBJUSjgg9g3s X-IronPort-AV: E=Sophos;i="4.71,504,1320620400"; d="scan'208";a="139140068" Received: from mail-vw0-f54.google.com ([209.85.212.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 Jan 2012 13:44:28 +0100 Received: by vbbfp1 with SMTP id fp1so1958181vbb.27 for ; Fri, 13 Jan 2012 04:44:27 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=YEBtlWfNk1GCniCH91IVrNI6B640e5Z+XqwfS9fNJkA=; b=VLPheQVNt3lnVMQcevipWr4EUtRL2Bkn8GAejQESIZ5yXlAJq8MvSo0X2WHU8tw2FK 7aEWMWW96Dt+qRAVC29m9jlTOH2hdpd7R5h4W1HOPJUFxwRssPJLLSfq3TL/eSqOrnNc pYkIdiTO+Uo+fEjL7K+aHjp++xx4bxjf7njG0= Received: by 10.52.69.4 with SMTP id a4mr94748vdu.65.1326458667291; Fri, 13 Jan 2012 04:44:27 -0800 (PST) MIME-Version: 1.0 Received: by 10.52.240.130 with HTTP; Fri, 13 Jan 2012 04:44:06 -0800 (PST) In-Reply-To: <1326457517.14288.11.camel@thinkpad> References: <1326457517.14288.11.camel@thinkpad> From: Philippe Veber Date: Fri, 13 Jan 2012 13:44:06 +0100 Message-ID: To: Gerd Stolpmann Cc: caml users Content-Type: multipart/alternative; boundary=20cf30780b4eac534504b6683910 X-Validation-by: philippe.veber@gmail.com Subject: Re: [Caml-list] Compiling the ocaml distribution under multiarched Debian/Ubuntu --20cf30780b4eac534504b6683910 Content-Type: text/plain; charset=ISO-8859-1 2012/1/13 Gerd Stolpmann > Am Freitag, den 13.01.2012, 12:59 +0100 schrieb Philippe Veber: > > Dear camlers, > > > > Debian and Ubuntu have not so recently switched to multiarch binaries > > (including libs, see http://wiki.debian.org/Multiarch/Implementation). > > This is an important change for ocaml C bindings since the libraries > > are now to be found in /usr/lib/ instead > > of /usr/lib. I was just bitten by this, when realizing that the ocaml > > configure script couldn't find libX11.so and wouldn't install > > graphics. A similar problem was handled by the people in charge of > > debian ocaml packages > > (http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=619344). Now my > > question is the following: will this evolution be a problem for > > GODI/odb packages (and more generally source distribution), and what > > is the advised fix for it? > > Good question. For GODI it means that the automatic library search is > broken. You can set the library path in most cases manually, though. (So > far I overlook it, this is only a problem for the libs > in /usr/lib// but not for the ones in /usr/lib/ because > the latter can be linked without -L switches.) > That's what I thought too, but I'm hurt even for libX11 which is in /usr/lib/: pveber@gesundheit:/usr/lib$ locate libX11.so /usr/lib/x86_64-linux-gnu/libX11.so /usr/lib/x86_64-linux-gnu/libX11.so.6 /usr/lib/x86_64-linux-gnu/libX11.so.6.3.0 This is related to ocaml configure script, which wants to see the lib before trying to compile for dir in \ $x11_lib_dir \ $x11_try_lib_dir \ \ /usr/X11R6/lib64 \ /usr/X11R6/lib \ /usr/lib/X11R6 \ /usr/local/X11R6/lib \ /usr/local/lib/X11R6 \ /opt/X11R6/lib \ \ /usr/X11/lib \ /usr/lib/X11 \ /usr/local/X11/lib \ /usr/local/lib/X11 \ /opt/X11/lib \ ; \ do if test -f $dir/libX11.a || \ test -f $dir/libX11.so || \ test -f $dir/libX11.dll.a || \ test -f $dir/libX11.dylib || \ test -f $dir/libX11.sa; then So basically it may be an issue in all cases ... > > The question is how to generically work around this. right. > GODI could provide > a variable $USR_LIB_ARCH for the architecture-specific path prefix > corresponding to /usr/lib/, which is set if "dpkg-architecture > -qDEB_HOST_MULTIARCH" returns something. All the conf packages would > need to be updated. I've already noticed that godi's smart enough to suggest debian packages in the bootstrap phase, so yes, probably your (optional, OS-specific) approach is the way to go (although it might be some work). Also notice with the example of graphics that many packages will have to be modified in order to propagate the information. In this particular example, one would have to add a --x11lib on the configure command. > In the future we will have many errors because not > all package developers will test on multiarch-enabled systems. > Just curious: are there many others than debian/ubuntu? > > Don't know what else needs to be done. > Thanks for your input on this. ph. > > Gerd > > > Cheers, > > Philippe. > > > > -- > ------------------------------------------------------------ > Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de > Creator of GODI and camlcity.org. > Contact details: http://www.camlcity.org/contact.html > Company homepage: http://www.gerd-stolpmann.de > *** Searching for new projects! Need consulting for system > *** programming in Ocaml? Gerd Stolpmann can help you. > ------------------------------------------------------------ > > --20cf30780b4eac534504b6683910 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable

2012/1/13 Gerd Stolpmann <info@gerd-stolpmann.de= >
Am Freitag, den 13.01.2012, 12:59 +0100 schrieb Philippe Veber:
> Dear camlers,
>
> Debian and Ubuntu have not so recently switched to multiarch binaries<= br> > (including libs, see http://wiki.debian.org/Multiarch/Implementatio= n).
> This is an important change for ocaml C bindings since the libraries > are now to be found in /usr/lib/<arch description> instead
> of /usr/lib. I was just bitten by this, when realizing that the ocaml<= br> > configure script couldn't find libX11.so and wouldn't install<= br> > graphics. A similar problem was handled by the people in charge of
> debian ocaml packages
> (http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=3D61934= 4). Now my
> question is the following: will this evolution be a problem for
> GODI/odb packages (and more generally source distribution), and what > is the advised fix for it?

Good question. For GODI it means that the automatic library sea= rch is
broken. You can set the library path in most cases manually, though. (So
far I overlook it, this is only a problem for the libs
in /usr/lib/<arch>/<pkg> but not for the ones in /usr/lib/<a= rch> because
the latter can be linked without -L switches.)
That= 9;s what I thought too, but I'm hurt even for libX11 which is in /usr/l= ib/<arch>:

p= veber@gesundheit:/usr/lib$ locate libX11.so
/usr/lib/x86_64-linux-gnu= /libX11.so
/usr/lib/x86_64-linux-gnu/libX11.so= .6
/usr/lib/x86_64-linux-gnu= /libX11.so.6.3.0

= This is related to ocaml configure script, which wants to see the lib befor= e trying to compile

for dir in \=A0=A0=A0 $x11_lib_dir=A0=A0=A0=A0=A0=A0=A0=A0=A0 \
=A0=A0=A0 $x11_try_lib_di= r=A0=A0=A0=A0=A0 \
=A0=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 \
=A0=A0=A0 /usr/X11R6/lib6= 4=A0=A0=A0=A0=A0 \
=A0=A0=A0 /usr/X11R6/lib=A0= =A0=A0=A0=A0=A0=A0 \
=A0=A0=A0 /usr/lib/X11R6= =A0=A0=A0=A0=A0=A0=A0 \
=A0=A0=A0 /usr/local/X= 11R6/lib=A0 \
=A0=A0=A0 /usr/local/lib/= X11R6=A0 \
=A0=A0=A0 /opt/X11R6/lib=A0=A0=A0= =A0=A0=A0=A0 \
=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 \
=A0=A0=A0 /usr/X11/lib=A0=A0=A0=A0=A0=A0=A0=A0=A0 \
=A0=A0=A0 /usr/lib/X11=A0= =A0=A0=A0=A0=A0=A0=A0=A0 \
=A0=A0=A0 /usr/loca= l/X11/lib=A0=A0=A0 \
=A0=A0=A0 /usr/local/lib/= X11=A0=A0=A0 \
=A0=A0=A0 /opt/X11/lib=A0=A0=A0= =A0=A0=A0=A0=A0=A0 \
<SNIP> =A0= =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 <= br style=3D"font-family:courier new,monospace">=A0=A0=A0 ; \
do
=A0 if test -f $dir/libX11.a || \
=A0=A0=A0=A0 test -f $dir= /libX11.so || \
=A0=A0=A0=A0 test -f $dir/libX= 11.dll.a || \
=A0=A0=A0=A0 test -f $dir= /libX11.dylib || \
=A0=A0=A0=A0 test -f $dir/l= ibX11.sa; then

So basically it may be an issue in all cases ...
=A0

The question is how to generically work around this.
righ= t.
=A0
GODI c= ould provide
a variable $USR_LIB_ARCH for the architecture-specific path prefix
corresponding to /usr/lib/<arch>, which is set if "dpkg-architec= ture
-qDEB_HOST_MULTIARCH" returns something. All the conf packages would need to be updated.
I've already noticed that godi= 9;s smart enough to suggest debian packages in the bootstrap phase, so yes,= probably your (optional, OS-specific) approach is the way to go (although = it might be some work). Also notice with the example of graphics that many = packages will have to be modified in order to propagate the information. In= this particular example, one would have to add a --x11lib on the configure= command.

=A0
In the f= uture we will have many errors because not
all package developers will test on multiarch-enabled systems.
Just curious: are there many others than debian/ubuntu?
=A0
=

Don't know what else needs to be done.
Thanks for = your input on this.

ph.

=A0

Gerd

> Cheers,
> =A0 Philippe.
>

--
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany =A0 =A0gerd@gerd-stolpmann.de
Creator of GODI and camlc= ity.org.
Contact details: =A0 =A0 =A0 =A0http://www.camlcity.org/contact.html
Company homepage: =A0 =A0 =A0 http://www.gerd-stolpmann.de
*** Searching for new projects! Need consulting for system
*** programming in Ocaml? Gerd Stolpmann can help you.
------------------------------------------------------------


--20cf30780b4eac534504b6683910-- From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0DDIUHC023172 for ; Fri, 13 Jan 2012 14:18:31 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuYDAAEuEE+K54gDgWdsb2JhbABCrRgiAQEWJiWBcgEBBTIBRQEQCyEWDwkDAgECAUUGDQEHAod+txKDfYggBJUShVGMbw X-IronPort-AV: E=Sophos;i="4.71,504,1320620400"; d="scan'208";a="139146305" Received: from rouge.crans.org ([138.231.136.3]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 13 Jan 2012 14:18:30 +0100 Received: from localhost (localhost.crans.org [127.0.0.1]) by rouge.crans.org (Postfix) with ESMTP id 8449882ED; Fri, 13 Jan 2012 14:18:29 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at crans.org Received: from rouge.crans.org ([10.231.136.3]) by localhost (rouge.crans.org [10.231.136.3]) (amavisd-new, port 10024) with LMTP id y+JvpfRXy8sJ; Fri, 13 Jan 2012 14:18:29 +0100 (CET) Received: from [152.81.3.42] (wencory.loria.fr [152.81.3.42]) (using TLSv1 with cipher AES256-SHA (256/256 bits)) (No client certificate requested) by rouge.crans.org (Postfix) with ESMTPSA id 625E782E7; Fri, 13 Jan 2012 14:18:29 +0100 (CET) Message-ID: <4F102F24.9050000@glondu.net> Date: Fri, 13 Jan 2012 14:18:28 +0100 From: =?ISO-8859-1?Q?St=E9phane_Glondu?= User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.24) Gecko/20111114 Icedove/3.1.16 MIME-Version: 1.0 To: Philippe Veber CC: caml users References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Compiling the ocaml distribution under multiarched Debian/Ubuntu Le 13/01/2012 12:59, Philippe Veber a écrit : > Debian and Ubuntu have not so recently switched to multiarch binaries > (including libs, see http://wiki.debian.org/Multiarch/Implementation). > This is an important change for ocaml C bindings since the libraries are > now to be found in /usr/lib/ instead of /usr/lib. I > was just bitten by this, when realizing that the ocaml configure script > couldn't find libX11.so and wouldn't install graphics. A similar problem > was handled by the people in charge of debian ocaml packages > (http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=619344). Now my > question is the following: will this evolution be a problem for GODI/odb > packages (and more generally source distribution), and what is the > advised fix for it? My advice would be to rely on pkg-config (a kind of ocamlfind for C libraries), or similar scripts (pcre-config, etc.) provided by the libraries. Otherwise, there is no good, portable (I mean, not Debian-specific) way to guess where a library is, and the packager will give an explicit path in his call to the configure script in debian/rules. By the way, this is what we did for ocaml [1]. [1] http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/ocaml.git;a=commitdiff;h=1db9b654b7d8b702cddb44df5aea1982f3120883 Cheers, -- Stéphane From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0DDwbxA024830 for ; Fri, 13 Jan 2012 14:58:37 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApACADE3EE/U4xEIk2dsb2JhbABChRCoCCIBAQEBCQkLCRQDIoFyAQEEASNWEAsaAiYCAlcGEwmHcQIGpVGRQ4Evgk6HCoEWBI0ljT6Mbw X-IronPort-AV: E=Sophos;i="4.71,504,1320620400"; d="scan'208";a="126779018" Received: from moutng.kundenserver.de ([212.227.17.8]) by mail4-smtp-sop.national.inria.fr with ESMTP; 13 Jan 2012 14:58:31 +0100 Received: from office1.lan.sumadev.de (dslb-094-219-216-241.pools.arcor-ip.net [94.219.216.241]) by mrelayeu.kundenserver.de (node=mreu4) with ESMTP (Nemesis) id 0Ln0mX-1SKCLc08IX-00hK70; Fri, 13 Jan 2012 14:56:01 +0100 Received: from [192.168.5.106] (dslb-094-219-216-241.pools.arcor-ip.net [94.219.216.241]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id C63EDC00CE; Fri, 13 Jan 2012 14:56:00 +0100 (CET) From: Gerd Stolpmann To: =?ISO-8859-1?Q?St=E9phane?= Glondu Cc: Philippe Veber , caml users In-Reply-To: <4F102F24.9050000@glondu.net> References: <4F102F24.9050000@glondu.net> Content-Type: text/plain; charset="UTF-8" Date: Fri, 13 Jan 2012 14:56:05 +0100 Message-ID: <1326462965.14288.67.camel@thinkpad> Mime-Version: 1.0 X-Mailer: Evolution 2.28.3 X-Provags-ID: V02:K0:/twJxgY26/M4EQxfbhImWeCgsFYsD4NB9Wa+4Waq8vD n6VZlN1Xe1jhZkUIviH6Vy/BXAVtwXeq89l+dpTQyE4mMnne13 7guIreKs+dJ7Jx0lU7xcxJLC/7ImO0XxsAN0aEb0k9WoubU+At +QH01wkTFu+Rhe4+WXgu+qad4F6KsbeK+sP2rjKXs6dUnlLq4U pVW3SBKcEBU0F7y+eooqQal9GD7xBQYHPF7G+Mwr3j4dsjhl9q kWWZA1yfp32UEsxspKJvRgGbkxe77rT6eZ9qN0CQ/XLI0fzcFK gzSVJGX9GHaTCYU5OVNcwOiR4Xtk+ExsSIiLE+62krrmy/52YA zWxFpyuaZ8b1eiXxahEqfxLMObt98++ITmie8L4+s Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q0DDwbxA024830 Subject: Re: [Caml-list] Compiling the ocaml distribution under multiarched Debian/Ubuntu Am Freitag, den 13.01.2012, 14:18 +0100 schrieb Stéphane Glondu: > Le 13/01/2012 12:59, Philippe Veber a écrit : > > Debian and Ubuntu have not so recently switched to multiarch binaries > > (including libs, see http://wiki.debian.org/Multiarch/Implementation). > > This is an important change for ocaml C bindings since the libraries are > > now to be found in /usr/lib/ instead of /usr/lib. I > > was just bitten by this, when realizing that the ocaml configure script > > couldn't find libX11.so and wouldn't install graphics. A similar problem > > was handled by the people in charge of debian ocaml packages > > (http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=619344). Now my > > question is the following: will this evolution be a problem for GODI/odb > > packages (and more generally source distribution), and what is the > > advised fix for it? > > My advice would be to rely on pkg-config (a kind of ocamlfind for C > libraries), or similar scripts (pcre-config, etc.) provided by the > libraries. Otherwise, there is no good, portable (I mean, not > Debian-specific) way to guess where a library is, and the packager will > give an explicit path in his call to the configure script in > debian/rules. By the way, this is what we did for ocaml [1]. > > [1] > http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/ocaml.git;a=commitdiff;h=1db9b654b7d8b702cddb44df5aea1982f3120883 In GODI there is a library searcher for libs that do not support pkg-config et al. It just tries a list of typical paths used by various OS. The method works well if the library is not dependent on other libraries, and is quite portable. Of course, you cannot be sure to find the right library if several versions are installed (which is quite common on non-open-source OS where the developer has to do it on its own), but otherwise it is good enough for setting a default if the user does not have special wishes. So, e.g. for X11, there is no pkg-config, and GODI falls back to searching. Btw, we don't rely here on what the Ocaml configure script finds out, but have our own searcher, simply because this makes it easier to respect users' wishes. Gerd > > Cheers, > > -- > Stéphane > -- ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de Creator of GODI and camlcity.org. Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de *** Searching for new projects! Need consulting for system *** programming in Ocaml? Gerd Stolpmann can help you. ------------------------------------------------------------ From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0DEIMoo025988 for ; Fri, 13 Jan 2012 15:18:22 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsMBAO47EE/RVdQ2kGdsb2JhbABCpQcBiAkIIgEBAQEJCQ0HFAQhgXIBAQEDARICLAEbHQEDAQsGBQsDOCIBEQEFARwGEwgah1gImjkKi2qCb4RVP4hxAgULg3KIIASVEo4IPYN7 X-IronPort-AV: E=Sophos;i="4.71,504,1320620400"; d="scan'208";a="126783747" Received: from mail-vw0-f54.google.com ([209.85.212.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 Jan 2012 15:18:16 +0100 Received: by vbbfp1 with SMTP id fp1so2064090vbb.27 for ; Fri, 13 Jan 2012 06:18:16 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=KqAzm4FQuNlXFT8CWVZnARh14EJRVdPVwA29LcpFpKA=; b=niqu8FkB9rLuTWFOZkG+/eQhXc0ekroQRcaTD+H/Y9AN6XNFpa1So9pupJbiwiXwyv ktx2xxVxsN3PKQ3r72VEb/4izT6v3Kd2tkFUizA2iRRnoFkBRSSEFw0PQVDf4kQ2t1eU 4tF+8fcI/i59dzhE4Xnf60ITCFgU53mb7B588= Received: by 10.52.67.229 with SMTP id q5mr373740vdt.14.1326464295864; Fri, 13 Jan 2012 06:18:15 -0800 (PST) MIME-Version: 1.0 Received: by 10.52.240.130 with HTTP; Fri, 13 Jan 2012 06:17:54 -0800 (PST) In-Reply-To: <1326462965.14288.67.camel@thinkpad> References: <4F102F24.9050000@glondu.net> <1326462965.14288.67.camel@thinkpad> From: Philippe Veber Date: Fri, 13 Jan 2012 15:17:54 +0100 Message-ID: To: Gerd Stolpmann Cc: =?ISO-8859-1?Q?St=E9phane_Glondu?= , caml users Content-Type: multipart/alternative; boundary=20cf307811a029894d04b66989bb X-Validation-by: philippe.veber@gmail.com Subject: Re: [Caml-list] Compiling the ocaml distribution under multiarched Debian/Ubuntu --20cf307811a029894d04b66989bb Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable 2012/1/13 Gerd Stolpmann > Am Freitag, den 13.01.2012, 14:18 +0100 schrieb St=E9phane Glondu: > > Le 13/01/2012 12:59, Philippe Veber a =E9crit : > > > Debian and Ubuntu have not so recently switched to multiarch binaries > > > (including libs, see http://wiki.debian.org/Multiarch/Implementation). > > > This is an important change for ocaml C bindings since the libraries > are > > > now to be found in /usr/lib/ instead of /usr/lib. I > > > was just bitten by this, when realizing that the ocaml configure scri= pt > > > couldn't find libX11.so and wouldn't install graphics. A similar > problem > > > was handled by the people in charge of debian ocaml packages > > > (http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=3D619344). Now my > > > question is the following: will this evolution be a problem for > GODI/odb > > > packages (and more generally source distribution), and what is the > > > advised fix for it? > > > > My advice would be to rely on pkg-config (a kind of ocamlfind for C > > libraries), or similar scripts (pcre-config, etc.) provided by the > > libraries. Otherwise, there is no good, portable (I mean, not > > Debian-specific) way to guess where a library is, and the packager will > > give an explicit path in his call to the configure script in > > debian/rules. By the way, this is what we did for ocaml [1]. > > > > [1] > > > http://anonscm.debian.org/gitweb/?p=3Dpkg-ocaml-maint/packages/ocaml.git;= a=3Dcommitdiff;h=3D1db9b654b7d8b702cddb44df5aea1982f3120883 > > In GODI there is a library searcher for libs that do not support > pkg-config et al. It just tries a list of typical paths used by various > OS. The method works well if the library is not dependent on other > libraries, and is quite portable. Of course, you cannot be sure to find > the right library if several versions are installed (which is quite > common on non-open-source OS where the developer has to do it on its > own), but otherwise it is good enough for setting a default if the user > does not have special wishes. > > So, e.g. for X11, there is no pkg-config, and GODI falls back to > searching. Btw, we don't rely here on what the Ocaml configure script > finds out, but have our own searcher, simply because this makes it > easier to respect users' wishes. > 'seems like pkg-config was updated: pveber@gesundheit:~/usr/src/ocaml-3.12.1$ pkg-config --libs x11 -lX11 --20cf307811a029894d04b66989bb Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable

2012/1/13 Gerd Stolpmann <info@gerd-stolpmann.de= >
Am Freitag, den 13.01.2012, 14:18 +0100 schrieb St=E9phane Glondu:
> Le 13/01/2012 12:59, Philippe Veber a =E9crit :=
> > Debian and Ubuntu have not so recently switched to multiarch bina= ries
> > (including libs, see http://wiki.debian.org/Multiarch/Implemen= tation).
> > This is an important change for ocaml C bindings since the librar= ies are
> > now to be found in /usr/lib/<arch description> instead of /= usr/lib. I
> > was just bitten by this, when realizing that the ocaml configure = script
> > couldn't find libX11.so and wouldn't install graphics. A = similar problem
> > was handled by the people in charge of debian ocaml packages
> > (http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=3D= 619344). Now my
> > question is the following: will this evolution be a problem for G= ODI/odb
> > packages (and more generally source distribution), and what is th= e
> > advised fix for it?
>
> My advice would be to rely on pkg-config (a kind of ocamlfind for C
> libraries), or similar scripts (pcre-config, etc.) provided by the
> libraries. Otherwise, there is no good, portable (I mean, not
> Debian-specific) way to guess where a library is, and the packager wil= l
> give an explicit path in his call to the configure script in
> debian/rules. By the way, this is what we did for ocaml [1].
>
> [1]
> http://anonscm.debian.org/gitweb/?p=3Dpkg-ocaml-maint/pac= kages/ocaml.git;a=3Dcommitdiff;h=3D1db9b654b7d8b702cddb44df5aea1982f3120883=

In GODI there is a library searcher for libs that do not suppor= t
pkg-config et al. It just tries a list of typical paths used by various
OS. The method works well if the library is not dependent on other
libraries, and is quite portable. Of course, you cannot be sure to find
the right library if several versions are installed (which is quite
common on non-open-source OS where the developer has to do it on its
own), but otherwise it is good enough for setting a default if the user
does not have special wishes.

So, e.g. for X11, there is no pkg-config, and GODI falls back to
searching. Btw, we don't rely here on what the Ocaml configure script finds out, but have our own searcher, simply because this makes it
easier to respect users' wishes.
'seems like p= kg-config was updated:

pveber@gesundheit:~/usr/src/ocaml-3.12.1$ pkg-config --libs x11=
-lX11=A0
=A0

--20cf307811a029894d04b66989bb-- From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0DELFDM026492 for ; Fri, 13 Jan 2012 15:21:15 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av0EAE89EE9QRFuw/2dsb2JhbABCrRmBBYFyAQEEATo/EAsYHBIUKCETh3oCBrcmg32BGYYkYwSVEZJA X-IronPort-AV: E=Sophos;i="4.71,504,1320620400"; d="scan'208";a="139160044" Received: from furbychan.cocan.org ([80.68.91.176]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 13 Jan 2012 15:21:10 +0100 Received: from rich by furbychan.cocan.org with local (Exim 4.72) (envelope-from ) id 1Rli0C-0000MB-Su; Fri, 13 Jan 2012 14:21:08 +0000 Date: Fri, 13 Jan 2012 14:21:08 +0000 From: "Richard W.M. Jones" To: Philippe Veber Cc: Gerd Stolpmann , caml users Message-ID: <20120113142108.GA1299@annexia.org> References: <1326457517.14288.11.camel@thinkpad> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) Subject: Re: [Caml-list] Compiling the ocaml distribution under multiarched Debian/Ubuntu On Fri, Jan 13, 2012 at 01:44:06PM +0100, Philippe Veber wrote: > 2012/1/13 Gerd Stolpmann > > > Am Freitag, den 13.01.2012, 12:59 +0100 schrieb Philippe Veber: > > > Dear camlers, > > > > > > Debian and Ubuntu have not so recently switched to multiarch binaries > > > (including libs, see http://wiki.debian.org/Multiarch/Implementation). > > > This is an important change for ocaml C bindings since the libraries > > > are now to be found in /usr/lib/ instead > > > of /usr/lib. I was just bitten by this, when realizing that the ocaml > > > configure script couldn't find libX11.so and wouldn't install > > > graphics. A similar problem was handled by the people in charge of > > > debian ocaml packages > > > (http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=619344). Now my > > > question is the following: will this evolution be a problem for > > > GODI/odb packages (and more generally source distribution), and what > > > is the advised fix for it? > > > > Good question. For GODI it means that the automatic library search is > > broken. You can set the library path in most cases manually, though. (So > > far I overlook it, this is only a problem for the libs > > in /usr/lib// but not for the ones in /usr/lib/ because > > the latter can be linked without -L switches.) > > > That's what I thought too, but I'm hurt even for libX11 which is in > /usr/lib/: > > pveber@gesundheit:/usr/lib$ locate libX11.so > /usr/lib/x86_64-linux-gnu/libX11.so > /usr/lib/x86_64-linux-gnu/libX11.so.6 > /usr/lib/x86_64-linux-gnu/libX11.so.6.3.0 > > This is related to ocaml configure script, which wants to see the lib > before trying to compile > > for dir in \ > $x11_lib_dir \ > $x11_try_lib_dir \ > \ > /usr/X11R6/lib64 \ > /usr/X11R6/lib \ > /usr/lib/X11R6 \ > /usr/local/X11R6/lib \ > /usr/local/lib/X11R6 \ > /opt/X11R6/lib \ > \ > /usr/X11/lib \ > /usr/lib/X11 \ > /usr/local/X11/lib \ > /usr/local/lib/X11 \ > /opt/X11/lib \ > > ; \ > do > if test -f $dir/libX11.a || \ > test -f $dir/libX11.so || \ > test -f $dir/libX11.dll.a || \ > test -f $dir/libX11.dylib || \ > test -f $dir/libX11.sa; then > > So basically it may be an issue in all cases ... I think this is just an argument for using autoconf instead of hand-coded shell scripts. > > In the future we will have many errors because not > > all package developers will test on multiarch-enabled systems. > > > Just curious: are there many others than debian/ubuntu? It seems unlike that Fedora will implement multiarch like this, since Fedora has done its own thing for a long time (and it's broken too, but in a different way). Rich. -- Richard Jones Red Hat From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0DFOp1U028664 for ; Fri, 13 Jan 2012 16:24:51 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApACAEFMEE/U4xEJk2dsb2JhbABChRCoCSIBAQEBCQkLCRQDIoFyAQEEASNWBQsLGgImAgJXBhMJh3ECBqVwkT6BL4JOhwqBFgSNJY0+jG8 X-IronPort-AV: E=Sophos;i="4.71,504,1320620400"; d="scan'208";a="126796207" Received: from moutng.kundenserver.de ([212.227.17.9]) by mail4-smtp-sop.national.inria.fr with ESMTP; 13 Jan 2012 16:24:49 +0100 Received: from office1.lan.sumadev.de (dslb-094-219-216-241.pools.arcor-ip.net [94.219.216.241]) by mrelayeu.kundenserver.de (node=mrbap0) with ESMTP (Nemesis) id 0Ld3qq-1STtSj3yme-00iJSx; Fri, 13 Jan 2012 16:22:18 +0100 Received: from [192.168.5.106] (dslb-094-219-216-241.pools.arcor-ip.net [94.219.216.241]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id A6026C00CE; Fri, 13 Jan 2012 16:22:17 +0100 (CET) From: Gerd Stolpmann To: Philippe Veber Cc: =?ISO-8859-1?Q?St=E9phane?= Glondu , caml users In-Reply-To: References: <4F102F24.9050000@glondu.net> <1326462965.14288.67.camel@thinkpad> Content-Type: text/plain; charset="UTF-8" Date: Fri, 13 Jan 2012 16:22:22 +0100 Message-ID: <1326468142.14288.82.camel@thinkpad> Mime-Version: 1.0 X-Mailer: Evolution 2.28.3 X-Provags-ID: V02:K0:LFOWfA+M6JuYui5wxwx4NewhnLAfvDkVnaHC8SGgn+g I5Lwd+83+QLGVrE1lsCtoToXAVfXCg8Em0vh9eB50vqEPXOG/1 MEpa7AwZF1pvBs45ZJ1hLQVbLzOumJG8zn7aLuKforF/9K2i3y UdC1c6gKSvaCzkSA5Fw7QktZauyqiDBo9KPpkTmXQx7wOe5sur 7jKCoK6jsz+9AJIQqbZID5y1mVYXgF2qpDqJwWa1vei8pEwTau 5tPCI+wPNhDL7ZakpvPHRDaLdYpiD2Au816969SoJ9StZyUfmH kpNUuFkYNIIwZ2zhtfgNlpri4Fd/GzigFBIy21e0JwqI/8OcBl F4z6txLx2iFmERQ6YPaHwpXmnYkvOAHxT0/4AxyX3 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q0DFOp1U028664 Subject: Re: [Caml-list] Compiling the ocaml distribution under multiarched Debian/Ubuntu Am Freitag, den 13.01.2012, 15:17 +0100 schrieb Philippe Veber: > > > 2012/1/13 Gerd Stolpmann > Am Freitag, den 13.01.2012, 14:18 +0100 schrieb Stéphane > Glondu: > > Le 13/01/2012 12:59, Philippe Veber a écrit : > > > Debian and Ubuntu have not so recently switched to > multiarch binaries > > > (including libs, see > http://wiki.debian.org/Multiarch/Implementation). > > > This is an important change for ocaml C bindings since the > libraries are > > > now to be found in /usr/lib/ instead > of /usr/lib. I > > > was just bitten by this, when realizing that the ocaml > configure script > > > couldn't find libX11.so and wouldn't install graphics. A > similar problem > > > was handled by the people in charge of debian ocaml > packages > > > (http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=619344). > Now my > > > question is the following: will this evolution be a > problem for GODI/odb > > > packages (and more generally source distribution), and > what is the > > > advised fix for it? > > > > My advice would be to rely on pkg-config (a kind of > ocamlfind for C > > libraries), or similar scripts (pcre-config, etc.) provided > by the > > libraries. Otherwise, there is no good, portable (I mean, > not > > Debian-specific) way to guess where a library is, and the > packager will > > give an explicit path in his call to the configure script in > > debian/rules. By the way, this is what we did for ocaml [1]. > > > > [1] > > > http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/ocaml.git;a=commitdiff;h=1db9b654b7d8b702cddb44df5aea1982f3120883 > > > In GODI there is a library searcher for libs that do not > support > pkg-config et al. It just tries a list of typical paths used > by various > OS. The method works well if the library is not dependent on > other > libraries, and is quite portable. Of course, you cannot be > sure to find > the right library if several versions are installed (which is > quite > common on non-open-source OS where the developer has to do it > on its > own), but otherwise it is good enough for setting a default if > the user > does not have special wishes. > > So, e.g. for X11, there is no pkg-config, and GODI falls back > to > searching. Btw, we don't rely here on what the Ocaml configure > script > finds out, but have our own searcher, simply because this > makes it > easier to respect users' wishes. > 'seems like pkg-config was updated: > > pveber@gesundheit:~/usr/src/ocaml-3.12.1$ pkg-config --libs x11 > -lX11 Traditionally, X11 came with its own system called imake, which is a preprocessor for makefiles. If there is now pkg-config support, this is very new, or an extension by the distributor. Gerd -- ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de Creator of GODI and camlcity.org. Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de *** Searching for new projects! Need consulting for system *** programming in Ocaml? Gerd Stolpmann can help you. ------------------------------------------------------------ From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0DGDCJl030899 for ; Fri, 13 Jan 2012 17:13:12 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar0BANhWEE/RVde2kGdsb2JhbABCrREIIgEBAQEJCQ0HFAQhgXIBAQEEEgIsARsdAQMMBgULAwouIgERAQUBHAYTIqIhCotqgm+ETz+IcQIFC4NyiCAEjVGHQY4IPYN7 X-IronPort-AV: E=Sophos;i="4.71,505,1320620400"; d="scan'208";a="126804873" Received: from mail-ey0-f182.google.com ([209.85.215.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 Jan 2012 17:13:09 +0100 Received: by eaai12 with SMTP id i12so299127eaa.27 for ; Fri, 13 Jan 2012 08:13:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=TySqJl5sZsYoNzhN+9cxGYLKZKoQrLmzX/dnHpvv/EY=; b=w2diaqxf6+j+ZblVbXvBq69oHxSKV/kadhpgSkngRGec/RPe35cGxlWD39nXVmokHQ L98El1RJtrQC4VBJve6A0pQjbuYVsTBqC4I965vOM3Z/KN++KrTtatSKKSEj+1pZrndL IH5Dk4rAIlPD6fe2hVJ6Kc5eK0erNPI9/jYbk= MIME-Version: 1.0 Received: by 10.213.114.137 with SMTP id e9mr113633ebq.18.1326471188532; Fri, 13 Jan 2012 08:13:08 -0800 (PST) Received: by 10.213.29.82 with HTTP; Fri, 13 Jan 2012 08:13:08 -0800 (PST) In-Reply-To: <1326468142.14288.82.camel@thinkpad> References: <4F102F24.9050000@glondu.net> <1326462965.14288.67.camel@thinkpad> <1326468142.14288.82.camel@thinkpad> Date: Fri, 13 Jan 2012 17:13:08 +0100 Message-ID: From: Adrien To: Gerd Stolpmann Cc: Philippe Veber , =?ISO-8859-1?Q?St=E9phane_Glondu?= , caml users Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] Compiling the ocaml distribution under multiarched Debian/Ubuntu On 13/01/2012, Gerd Stolpmann wrote: > Am Freitag, den 13.01.2012, 15:17 +0100 schrieb Philippe Veber: >> pveber@gesundheit:~/usr/src/ocaml-3.12.1$ pkg-config --libs x11 >> -lX11 > > Traditionally, X11 came with its own system called imake, which is a > preprocessor for makefiles. If there is now pkg-config support, this is > very new, or an extension by the distributor. I don't know how old this would be but it's upstream at least in libX11-1.4.2. Regards, Adrien Nader From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0DGlTAF032224 for ; Fri, 13 Jan 2012 17:47:29 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApACACZfEE/U4367k2dsb2JhbABChRCoCyIBAQEBCQkLCRQDIoFyAQEEASNWBQsLGAICJgICVwYTCYdxAgalZ5E6gS+CTocKgRYEjSWNPoxv X-IronPort-AV: E=Sophos;i="4.71,505,1320620400"; d="scan'208";a="126811237" Received: from moutng.kundenserver.de ([212.227.126.187]) by mail4-smtp-sop.national.inria.fr with ESMTP; 13 Jan 2012 17:47:28 +0100 Received: from office1.lan.sumadev.de (dslb-094-219-216-241.pools.arcor-ip.net [94.219.216.241]) by mrelayeu.kundenserver.de (node=mreu3) with ESMTP (Nemesis) id 0LqaYA-1SHFc53jve-00eJbs; Fri, 13 Jan 2012 17:47:28 +0100 Received: from [192.168.5.106] (dslb-094-219-216-241.pools.arcor-ip.net [94.219.216.241]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 9F63BC00CE; Fri, 13 Jan 2012 17:47:27 +0100 (CET) From: Gerd Stolpmann To: Adrien Cc: Philippe Veber , =?ISO-8859-1?Q?St=E9phane?= Glondu , caml users In-Reply-To: References: <4F102F24.9050000@glondu.net> <1326462965.14288.67.camel@thinkpad> <1326468142.14288.82.camel@thinkpad> Content-Type: text/plain; charset="UTF-8" Date: Fri, 13 Jan 2012 17:47:32 +0100 Message-ID: <1326473252.14288.97.camel@thinkpad> Mime-Version: 1.0 X-Mailer: Evolution 2.28.3 Content-Transfer-Encoding: 7bit X-Provags-ID: V02:K0:+fGD+M6mvHSHh1lc6pKMyVokromM2MY0VM/hdbCJ9V5 M3EDCmjqQJQ8zsfP4aLLOpeZ980l9M84PsDvYGYdr8j+02+I4n DC6notv0UaSuMAWV/X5x8VOHkdimvF9QtDOCqeZNqCKs4WAmcU pn8e1PB4FD9Er6gFTdWRwkn8QfS9JgxJF0yEvVjQ53DONMxGo4 RPGaz2ToCnZnF9E3D7HCNSK2UhyK/+DqIpNbYDDj9VN/Px2xGK ckteu8G7ePw4AiwodiILQQWW1wDfoHtIPULSgQ2lYqvmV3y1tm i6ST4E+ZyU4HO6tAMh8mkGPM6dzxklSBt5uq5f7/mskxYi69Fg WWKm6fciFuoM5wU9U7LOWITJjnWEJ7S4JdtP+LEaQ Subject: Re: [Caml-list] Compiling the ocaml distribution under multiarched Debian/Ubuntu Am Freitag, den 13.01.2012, 17:13 +0100 schrieb Adrien: > On 13/01/2012, Gerd Stolpmann wrote: > > Am Freitag, den 13.01.2012, 15:17 +0100 schrieb Philippe Veber: > >> pveber@gesundheit:~/usr/src/ocaml-3.12.1$ pkg-config --libs x11 > >> -lX11 > > > > Traditionally, X11 came with its own system called imake, which is a > > preprocessor for makefiles. If there is now pkg-config support, this is > > very new, or an extension by the distributor. > > I don't know how old this would be but it's upstream at least in libX11-1.4.2. So far I can trace it the file x11.pc appeared in xorg's version of X. So quite a time ago. Note that especially commercial OS are behind when it comes to renewing X11. E.g. I saw complaints that MacOS 10.4 did not ship it, and it was first available in 10.5 (2007). OpenSolaris fixed it in 2008. The commercial Solaris probably still misses it. Anyway, I think we should use pkg-config if available. Philippe: Did you already file a bug? Gerd > Regards, > Adrien Nader > -- ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de Creator of GODI and camlcity.org. Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de *** Searching for new projects! Need consulting for system *** programming in Ocaml? Gerd Stolpmann can help you. ------------------------------------------------------------ From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0DGsEb2032561 for ; Fri, 13 Jan 2012 17:54:14 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjwCAGxgEE/RVdy2mGdsb2JhbABCpQuICQgiAQEBAQEICQ0HFCWBcgEBAQMBEgIsARsPDgEDAQsGBQQHAwouIgERAQUBHAYTCRmHWAiaOwqLaoJvhE4/iHECBQuDcoggBJUSjgg9g3s X-IronPort-AV: E=Sophos;i="4.71,505,1320620400"; d="scan'208";a="139191882" Received: from mail-vx0-f182.google.com ([209.85.220.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 Jan 2012 17:54:07 +0100 Received: by vcbfo14 with SMTP id fo14so841490vcb.27 for ; Fri, 13 Jan 2012 08:54:06 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=4UjAb7jo7nhEMjjtgPnWYXMK6OIb0Jqs/Vs856fPl+Q=; b=j0KoBO9mVFRHenrkMGCrF8qtynRpuYEmptZrDUlbm5OUD+SLG2E/1Bhy0Uhx+zPEV7 QNEY38fCDWv1VAAhrAocr1q7soPzTyrSiz09hr1urInUJoFO8jFAB0ZRUgFcaY13wqGe J07f6n+S1lEDsMHPUMwGsId2RhA4itg8VH7Xg= Received: by 10.220.155.142 with SMTP id s14mr1241024vcw.20.1326473645790; Fri, 13 Jan 2012 08:54:05 -0800 (PST) MIME-Version: 1.0 Received: by 10.52.240.130 with HTTP; Fri, 13 Jan 2012 08:53:29 -0800 (PST) In-Reply-To: <1326473252.14288.97.camel@thinkpad> References: <4F102F24.9050000@glondu.net> <1326462965.14288.67.camel@thinkpad> <1326468142.14288.82.camel@thinkpad> <1326473252.14288.97.camel@thinkpad> From: Philippe Veber Date: Fri, 13 Jan 2012 17:53:29 +0100 Message-ID: To: Gerd Stolpmann Cc: Adrien , =?ISO-8859-1?Q?St=E9phane_Glondu?= , caml users Content-Type: multipart/alternative; boundary=f46d0438943976142104b66bb628 X-Validation-by: philippe.veber@gmail.com Subject: Re: [Caml-list] Compiling the ocaml distribution under multiarched Debian/Ubuntu --f46d0438943976142104b66bb628 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Le 13 janvier 2012 17:47, Gerd Stolpmann a =E9crit= : > Am Freitag, den 13.01.2012, 17:13 +0100 schrieb Adrien: > > On 13/01/2012, Gerd Stolpmann wrote: > > > Am Freitag, den 13.01.2012, 15:17 +0100 schrieb Philippe Veber: > > >> pveber@gesundheit:~/usr/src/ocaml-3.12.1$ pkg-config --libs x11 > > >> -lX11 > > > > > > Traditionally, X11 came with its own system called imake, which is a > > > preprocessor for makefiles. If there is now pkg-config support, this = is > > > very new, or an extension by the distributor. > > > > I don't know how old this would be but it's upstream at least in > libX11-1.4.2. > > So far I can trace it the file x11.pc appeared in xorg's version of X. > So quite a time ago. Note that especially commercial OS are behind when > it comes to renewing X11. E.g. I saw complaints that MacOS 10.4 did not > ship it, and it was first available in 10.5 (2007). OpenSolaris fixed it > in 2008. The commercial Solaris probably still misses it. > > Anyway, I think we should use pkg-config if available. > > Philippe: Did you already file a bug? > Not yet, but I'd be happy to. Do you mean ocaml or godi's bug tracker? I must say I'm not exactly an expert on these issues so I'd understand if you'd rather file the bug yourself, for clarity's sake. ph. > > Gerd > > > Regards, > > Adrien Nader > > > > -- > ------------------------------------------------------------ > Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de > Creator of GODI and camlcity.org. > Contact details: http://www.camlcity.org/contact.html > Company homepage: http://www.gerd-stolpmann.de > *** Searching for new projects! Need consulting for system > *** programming in Ocaml? Gerd Stolpmann can help you. > ------------------------------------------------------------ > > --f46d0438943976142104b66bb628 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable

Le 13 janvier 2012 17:47, Gerd Stolpmann= <info@gerd-= stolpmann.de> a =E9crit :
Am Freitag, den 13.01.2012, 17:13 +0100 schrieb Adrien:
> On 13/01/2012, Gerd Stolpmann <info@gerd-stolpmann.de> wrote:
> > Am Freitag, den 13.01.2012, 15:17 +0100 schrieb Philippe Veber: > >> pveber@gesundheit:~/usr/src/ocaml-3.12.1$ pkg-config --libs x= 11
> >> -lX11
> >
> > Traditionally, X11 came with its own system called imake, which i= s a
> > preprocessor for makefiles. If there is now pkg-config support, t= his is
> > very new, or an extension by the distributor.
>
> I don't know how old this would be but it's upstream at least = in libX11-1.4.2.

So far I can trace it the file x11.pc appeared in xorg's ve= rsion of X.
So quite a time ago. Note that especially commercial OS are behind when
it comes to renewing X11. E.g. I saw complaints that MacOS 10.4 did not
ship it, and it was first available in 10.5 (2007). OpenSolaris fixed it
in 2008. The commercial Solaris probably still misses it.

Anyway, I think we should use pkg-config if available.

Philippe: Did you already file a bug?
Not yet, but I&#= 39;d be happy to. Do you mean ocaml or godi's bug tracker? I must say I= 'm not exactly an expert on these issues so I'd understand if you&#= 39;d rather file the bug yourself, for clarity's sake.

ph.

=A0

Gerd

> Regards,
> Adrien Nader
>

--
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany =A0 =A0gerd@gerd-stolpmann.de
Creator of GODI and camlc= ity.org.
Contact details: =A0 =A0 =A0 =A0http://www.camlcity.org/contact.html
Company homepage: =A0 =A0 =A0 http://www.gerd-stolpmann.de
*** Searching for new projects! Need consulting for system
*** programming in Ocaml? Gerd Stolpmann can help you.
------------------------------------------------------------


--f46d0438943976142104b66bb628-- From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0EF7NXq027069 for ; Sat, 14 Jan 2012 16:07:23 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsYBAEmZEU/RVdQ2kGdsb2JhbAApGqUlAYceaggiAQEBAQkJDRsEIYFyAQEBAwESAiwBGw8OAQMBCwYFCwMKLiEBAREBBQEcBhMJGYdYCCSZIwqLaoJvhDk/iHECBQuDcYgbBJURinuDDz2Dew X-IronPort-AV: E=Sophos;i="4.71,510,1320620400"; d="scan'208";a="139336555" Received: from mail-vw0-f54.google.com ([209.85.212.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 14 Jan 2012 16:07:18 +0100 Received: by vbbfp1 with SMTP id fp1so3102905vbb.27 for ; Sat, 14 Jan 2012 07:07:17 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=5YTFxfXrCgLDK7Ks/9tkR3Ar8JtIaOQFHx/i6Om3JRQ=; b=xUjO5JQ+Yj6kor2RK27u+zVpJuvUFyKNCcf1bLaAQjXoA+azOsFb5oYOIiD0y40uHG nRPvsoYH7ccY9mq11lbhfqo28qRKJWng7zTFQAjtINn4bc95C+2jMT+78p0+a3pQq/1w AX8+sgZwqVgpDwzXADjHaxp0gm3YWzrEEwSc4= Received: by 10.52.92.33 with SMTP id cj1mr2603731vdb.31.1326553637166; Sat, 14 Jan 2012 07:07:17 -0800 (PST) MIME-Version: 1.0 Received: by 10.52.240.130 with HTTP; Sat, 14 Jan 2012 07:06:56 -0800 (PST) In-Reply-To: References: <4F102F24.9050000@glondu.net> <1326462965.14288.67.camel@thinkpad> <1326468142.14288.82.camel@thinkpad> <1326473252.14288.97.camel@thinkpad> From: Philippe Veber Date: Sat, 14 Jan 2012 16:06:56 +0100 Message-ID: To: Gerd Stolpmann Cc: Adrien , =?ISO-8859-1?Q?St=E9phane_Glondu?= , caml users Content-Type: multipart/alternative; boundary=20cf307f3a0a519d6e04b67e56e1 X-Validation-by: philippe.veber@gmail.com Subject: Re: [Caml-list] Compiling the ocaml distribution under multiarched Debian/Ubuntu --20cf307f3a0a519d6e04b67e56e1 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Reported by Gerd: http://caml.inria.fr/mantis/view.php?id=3D5477 Le 13 janvier 2012 17:53, Philippe Veber a =E9cr= it : > > > Le 13 janvier 2012 17:47, Gerd Stolpmann a =E9cr= it > : > > Am Freitag, den 13.01.2012, 17:13 +0100 schrieb Adrien: >> > On 13/01/2012, Gerd Stolpmann wrote: >> > > Am Freitag, den 13.01.2012, 15:17 +0100 schrieb Philippe Veber: >> > >> pveber@gesundheit:~/usr/src/ocaml-3.12.1$ pkg-config --libs x11 >> > >> -lX11 >> > > >> > > Traditionally, X11 came with its own system called imake, which is a >> > > preprocessor for makefiles. If there is now pkg-config support, this >> is >> > > very new, or an extension by the distributor. >> > >> > I don't know how old this would be but it's upstream at least in >> libX11-1.4.2. >> >> So far I can trace it the file x11.pc appeared in xorg's version of X. >> So quite a time ago. Note that especially commercial OS are behind when >> it comes to renewing X11. E.g. I saw complaints that MacOS 10.4 did not >> ship it, and it was first available in 10.5 (2007). OpenSolaris fixed it >> in 2008. The commercial Solaris probably still misses it. >> >> Anyway, I think we should use pkg-config if available. >> >> Philippe: Did you already file a bug? >> > Not yet, but I'd be happy to. Do you mean ocaml or godi's bug tracker? I > must say I'm not exactly an expert on these issues so I'd understand if > you'd rather file the bug yourself, for clarity's sake. > > ph. > > > >> >> Gerd >> >> > Regards, >> > Adrien Nader >> > >> >> -- >> ------------------------------------------------------------ >> Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de >> Creator of GODI and camlcity.org. >> Contact details: http://www.camlcity.org/contact.html >> Company homepage: http://www.gerd-stolpmann.de >> *** Searching for new projects! Need consulting for system >> *** programming in Ocaml? Gerd Stolpmann can help you. >> ------------------------------------------------------------ >> >> > --20cf307f3a0a519d6e04b67e56e1 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Reported by Gerd:

http://caml.inria.fr/mantis/view.php?id=3D5477


Le 13 janvier 2012 17:53, Philippe Veber= <philippe= .veber@gmail.com> a =E9crit :


Le 13 janvier 2012 17:47, Gerd Stolpmann= <info@gerd-stolpmann.de> a =E9crit :
=
Am Freitag, den 13.01.2012, 17:13 +0100 schrieb Adrien:
> On 13/01/2012, Gerd Stolpmann <info@gerd-stolpmann.de> wrote:
> > Am Freitag, den 13.01.2012, 15:17 +0100 schrieb Philippe Veber: > >> pveber@gesundheit:~/usr/src/ocaml-3.12.1$ pkg-config --libs x= 11
> >> -lX11
> >
> > Traditionally, X11 came with its own system called imake, which i= s a
> > preprocessor for makefiles. If there is now pkg-config support, t= his is
> > very new, or an extension by the distributor.
>
> I don't know how old this would be but it's upstream at least = in libX11-1.4.2.

So far I can trace it the file x11.pc appeared in xorg's ve= rsion of X.
So quite a time ago. Note that especially commercial OS are behind when
it comes to renewing X11. E.g. I saw complaints that MacOS 10.4 did not
ship it, and it was first available in 10.5 (2007). OpenSolaris fixed it
in 2008. The commercial Solaris probably still misses it.

Anyway, I think we should use pkg-config if available.

Philippe: Did you already file a bug?
Not yet, b= ut I'd be happy to. Do you mean ocaml or godi's bug tracker? I must= say I'm not exactly an expert on these issues so I'd understand if= you'd rather file the bug yourself, for clarity's sake.

ph.

=A0

Gerd

> Regards,
> Adrien Nader
>

--
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany =A0 =A0gerd@gerd-stolpmann.de
Creator of GODI and camlc= ity.org.
Contact details: =A0 =A0 =A0 =A0http://www.camlcity.org/contact.html
Company homepage: =A0 =A0 =A0 http://www.gerd-stolpmann.de
*** Searching for new projects! Need consulting for system
*** programming in Ocaml? Gerd Stolpmann can help you.
------------------------------------------------------------



--20cf307f3a0a519d6e04b67e56e1--