Mis-detection of -lrt

[Yaron Minsky]

Thanks!   We'll take a look and integrate upstream. It might take us a bit,
but this process will get smoother when we get our transition to github
done.
On Nov 17, 2011 8:37 AM, "Stéphane Glondu" <steph at glondu.net> wrote:

> 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 --------------
An HTML attachment was scrubbed...
URL: <http://lists.ocaml.org/pipermail/core/attachments/20111117/314062c3/attachment-0001.html>