Hi Fred!

That seems to solve the problem! Thanks!

Kind regards,

Jan G

Den 2012-02-25 09:52 skrev Fred Mesnard frederic.mesnard@gmail.com:

Hi Jan,

a suggestion you might try :

• you install SWI-Prolog (which comes with GMP) for Lion, see

http://www.swi-prolog.org/download/devel

• you configure PPL with an option like --with-gmp=/opt/local

I don't know if it works on Lion. It worked for me on Snow Leopard.

Best regards, Fred

Le 25 févr. 2012 à 11:25, Roberto Bagnara a écrit :

...

On 02/25/12 08:05, Jan Gustafsson wrote:

...

Hi!

We had contact a few weeks ago when I (in vain) tried to install PPL on Mac OS X 10.5.8. You recommended me to move to Lion which I have done. Now installation of PPL comes a bit longer, but not all the way. I get the following error message during linking in make:

ld: illegal text-relocation to ___gmp_binvert_limb_table in /usr/local/lib/libgmp.a(mp_minv_tab.o) from ___gmpn_divexact_1 in /usr/local/lib/libgmp.a(dive_1.o) for architecture x86_64

Any advice?

Kind regards

Jan G

[CC to the ppl-devel mailing list so as to reach other Mac OS X users.]

Hi Jan,

it looks like a problem with /usr/local/lib/libgmp.a that is unrelated to the PPL. Is /usr/local/lib/libgmp.a something you have compiled yourself with the same toolchain you are using for the PPL? Can it be the result of some previous experiment that now gets in the way? Otherwise I don't know: perhaps Mac OS X users on the ppl-devel list can provide advice. All the best,

Roberto

-- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it _______________________________________________ PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel