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

[John Matthews]

I forgot to :cc this message to gcl-devel, sorry about that...

-john

Begin forwarded message:

From: John Matthews <address@hidden>
Date: May 23, 2004 9:39:04 AM PDT
To: Aurelien Chanudet <address@hidden>
Cc: Camm Maguire <address@hidden>
Subject: Re: Can't build ACL2 using GCL under Mac OS X 3.3

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.

I also compiled and ran Aurelien's test C file, which printed out

addr = 0x00000043

Thanks!

-john