[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gcl-devel] Re: building acl2 2.8 w/patch on gcl 2.6.2

From: Camm Maguire
Subject: [Gcl-devel] Re: building acl2 2.8 w/patch on gcl 2.6.2
Date: 07 Jul 2004 12:11:40 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2


Is this macosx?  If so, there is a recently introduced sgc problem
which we have not chased down yet, as our macosx person is occupied
with other things.  You can check the release notes on the website for

The workaround is

echo '(fmakunbound 'si::sgc-on) (si::save-system "foo")' |
<your_path>/saved_gcl && mv foo <your_path>/saved_gcl. 

Then you should be able to build acl2 with this saved_gcl.

If by any chance you can arrange remote ssh access to a macosx box
showing this difficulty, I might be able to look into it.

Take care,

Damir Jamsek <address@hidden> writes:

> Camm,
> Hi, I've been trying to build acl 2.8 with the patch as distributed on the 
> debian site
> on gcl 2.6.2 and am having no luck.
> The GCL compile hangs with '[SGC ON]' as the last thing printed.
> I believe there have been issues related to this previously but I don't know 
> the current status.
> I thought there might be some hope if I got 2.7.0? Is this correct? But, 
> subversions is down and I
> can't seem to check anything out of cvs?
> Any hints?
> thanks,
> --damir
> -------------------------
> Damir A. Jamsek   (address@hidden)
> IBM Austin Research Laboratory,  11400 Burnet Rd. MS/904-6G020,  Austin, TX 
> 78758-3493
> tel. (512)838-3733 fax. (512)838-4036  tie 678-3733

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]