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