Mis-detection of -lrt

[Stéphane Glondu]

Hello,

I've just upgraded Core from version 0.6.0 to 107.01 in Debian, and it
failed on mips, powerpc, s390, hurd and kfreebsd ports, because of
"-lrt" missing [1].

A quick look at Core sources reveals that this flag is supposed to be
there by itself on Linux, and it is indeed on x86, arm and ia64 ports,
but somehow the detection fails everywhere else.

Anyway, I guess checking for Linux is not enough and it is needed
wherever glibc is used. For the moment, I applied a rather crude patch
to the Debian package (attached). It causes "-lrt" to be supplied twice
sometimes, but it at least compiles (and tests pass) everywhere (except
hurd) [2].

[1] https://buildd.debian.org/status/logs.php?pkg=janest-core&ver=107.01-4
[2] https://buildd.debian.org/status/logs.php?pkg=janest-core&ver=107.01-5


Cheers,

-- 
Stéphane
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Force-linking-with-lrt.patch
Type: text/x-patch
Size: 1243 bytes
Desc: not available
URL: <http://lists.ocaml.org/pipermail/core/attachments/20111117/723ebc76/attachment.bin>