Greetings! Bill is right -- please let me know if problems persist. Take care,
"Page, Bill" <[EMAIL PROTECTED]> writes: > 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. > > > > _______________________________________________ > Axiom-developer mailing list > Axiom-developer@nongnu.org > http://lists.nongnu.org/mailman/listinfo/axiom-developer > > > -- Camm Maguire [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
