caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: "Stéphane Glondu" <steph@glondu.net>
Cc: Philippe Veber <philippe.veber@gmail.com>,
	caml users <caml-list@inria.fr>
Subject: Re: [Caml-list] Compiling the ocaml distribution under multiarched Debian/Ubuntu
Date: Fri, 13 Jan 2012 14:56:05 +0100	[thread overview]
Message-ID: <1326462965.14288.67.camel@thinkpad> (raw)
In-Reply-To: <4F102F24.9050000@glondu.net>

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/<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=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.
------------------------------------------------------------



  reply	other threads:[~2012-01-13 13:58 UTC|newest]

Thread overview: 12+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-01-13 11:59 Philippe Veber
2012-01-13 12:25 ` Gerd Stolpmann
2012-01-13 12:44   ` Philippe Veber
2012-01-13 14:21     ` Richard W.M. Jones
2012-01-13 13:18 ` Stéphane Glondu
2012-01-13 13:56   ` Gerd Stolpmann [this message]
2012-01-13 14:17     ` Philippe Veber
2012-01-13 15:22       ` Gerd Stolpmann
2012-01-13 16:13         ` Adrien
2012-01-13 16:47           ` Gerd Stolpmann
2012-01-13 16:53             ` Philippe Veber
2012-01-14 15:06               ` Philippe Veber

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1326462965.14288.67.camel@thinkpad \
    --to=info@gerd-stolpmann.de \
    --cc=caml-list@inria.fr \
    --cc=philippe.veber@gmail.com \
    --cc=steph@glondu.net \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).