> There's a minor glitch in ocaml-3.00/otherlibs/systhreads/Makefile,
> where the wrong C library is memorized.
Well spotted, although another user reported the problem a few hours
before you! (Our users are wonderful.) This is fixed in the working
sources, and I'll post a patch on the FTP server in a few days.
- Xavier Leroy