[PPL-devel] ppl/interfaces/OCaml/tests Makefile.am

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at 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/Makefile.am.diff?cvsroot=ppl&r1=1.21&r2=1.22