axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: [Axiom-developer] Axiom on MACOSX... gettext issue


From: Page, Bill
Subject: RE: [Axiom-developer] Axiom on MACOSX... gettext issue
Date: Tue, 6 Dec 2005 23:20:19 -0500

Tim,

On Tuesday, December 06, 2005 11:42 PM you wrote:
> 
> I'm getting the message:
> 
> enable_machine=
> Exactly one loader option must be chosen: dlopen=no 
> statsysbfd=yes dynsysbfd=no locbfd=yes custreloc=no
> 
> on the macosx 10.4 build. suggestions?
> 

I am not sure if this will help, but I think you need the
following gcl ./configure options

--disable-statsysbfd --enable-locbfd

Ref:

http://www.cs.utexas.edu/users/moore/acl2/v2-9/installation.html

Or maybe

--disable-statsysbfd --disable-locbfd --enable-custreloc

Ref:

http://gcl.darwinports.com

Regards,
Bill Page.





reply via email to

[Prev in Thread] Current Thread [Next in Thread]