[PPL-devel] Problems installing PPL on Mac OS X Lion

[Fred Mesnard]

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 at cs.unipr.it
> _______________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it
> http://www.cs.unipr.it/mailman/listinfo/ppl-devel
>