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

[Roberto Bagnara]

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