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

[Jan Gustafsson]

Hi Fred!

That seems to solve the problem! Thanks!

Kind regards,

Jan G

Den 2012-02-25 09:52 skrev Fred Mesnard <frederic.mesnard at 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 at cs.unipr.it
>> _______________________________________________
>> PPL-devel mailing list
>> PPL-devel at cs.unipr.it
>> http://www.cs.unipr.it/mailman/listinfo/ppl-devel
>> 
>