18 Oct
2008
18 Oct
'08
11:01 a.m.
CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2008-10-18 11:01:55
Modified files: interfaces/OCaml/tests: Makefile.am
Log message: Do not mention gmp.cma when (ocaml-)linking; rather, directly pass options -lmlgmp and -lmpfr to the underlying linker using -cclib. This seems to solve an issue in some x86 systems (e.g., igor on tinderbox) whereby -dlopen was not working as expected, in that it links the installed ppl instead of the one in the build tree.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/Makefil...