[Gcl-devel] Re: Can't build ACL2 using GCL under Mac OS X 3.3

[Aurelien Chanudet]

>  I would have thought a bad fault address would
> result in a crash, not
>  an infinite loop.

I guess you're right. John, would it be possible for
you to upload your saved_gcl runnable somewhere on the
web for me to pick it up and run it within gdb to sort
out the matter ?

> It would be interesting to
> notice if you can
>  trigger the 'fault address recovery failure'
> message for such
>  situations when doing simply (si::sgc-on t) in GCL
> when your 'dar
>  exception state' workaround is disabled.

What kind of error message should I get ?

Aurelien


        
        
                
Dialoguez en direct avec vos amis grâce à Yahoo! Messenger !Téléchargez Yahoo! 
Messenger sur http://fr.messenger.yahoo.com