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

[Camm Maguire]

Greetings!

John Matthews <address@hidden> writes:

> Thanks for the helpful information, Camm and Aurelien.
> 
> > One very simple though
> > non-optimal thing to try is echo '(fmakunbound
> > (quote si::sgc-on))(si::save-system "foo")' | gcl && mv foo
> > <path_to_your_saved_gcl>.  this will give you a build without SGC just
> > to check out everything else.
> 
> Camm's suggestion of turning off SGC worked very well. I am now able
> to build ACL2, certify all of it's books, and load my own ACL2 files.
> 

Great!  but things will be a lot fater with SGC.  What was the result
of '(si::sgc-on t)' in plain gcl?  Aurelien, I take it from John's
output below that he is not running into a fault address recovery
issue.  GCL now has test code to catch this situation, and should
report failure to start SGC with a suitable diagnostic message.  Is
there any way we can determine what is different in your two setups?
Is your saved_gcl runnable on John's system?

Take care,

> I also compiled and ran Aurelien's test C file, which printed out
> 
>    addr = 0x00000043
> 
> Thanks!
> 
> -john
> 
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah