[Gcl-devel] macosx stack space

[Camm Maguire]

Greetings!  Just pushed a fix for macosx onto Version_2_6_13pre.  Please
let me know if problems persist.

Turns out that more than 64Mb is not available, at least not in any
straightforward manner.

Take care,

Matt Kaufmann <address@hidden> writes:

> Hi, Camm --
>
> I've run into a problem building ACL2 on GCL on a Mac (running
> Mac OS 10.10.5).  This is very low priority for me right now, but I
> thought you might be interested.
>
> I've attached a log showing the problem, but here is an abbreviated
> version of it, which shows that the error goes away when turning off
> fast links.  So I can't see how to get debugging info for you -- sorry.
> Maybe I should just update, but I'm not sure how these days -- is
> it simply "git clone http://git.savannah.gnu.org/cgit/gcl.git";?  Anyhow
> here's the abbreviated version of the attached log.
>
> ~/acl2/acl2-git-scratch$ cat /Users/kaufmann/bin/my-fast-gcl
> #!/bin/sh
>
> # Built May 7 at UT CS:
> /Users/kaufmann/lisps/gcl/2.6.13pre14d/gcl/gcl/bin/gcl -eval
> "(defparameter user::*fast-acl2-gcl-build* t)" "$@"
> ~/acl2/acl2-git-scratch$
> /Users/kaufmann/lisps/gcl/2.6.13pre14d/gcl/gcl/bin/gcl -eval
> "(defparameter user::*fast-acl2-gcl-build* t)"
> GCL (GNU Common Lisp)  2.6.12 ANSI    May  7 2015 12:24:18
> ....
>>(load "init.lisp")
> ....
> Finished loading init.lisp
> T
>
>>[GC for 54 SFUN pages..(T=1).GC finished]
>
> Error:
> Fast links are on: do (si::use-fast-links nil) for debugging
> Signalled by SYSTEM::GCL-TOP-LEVEL.
>
> Raw Lisp Break.
> Condition in SYSTEM::GCL-TOP-LEVEL [or a callee]:
> INTERNAL-SIMPLE-ERROR: Caught fatal error [memory may be damaged]
>
> [GC for 129 RELOCATABLE-BLOCKS pages..
> Unrecoverable error: Segmentation violation..
> Abort trap: 6
> ~/acl2/acl2-git-scratch$
> /Users/kaufmann/lisps/gcl/2.6.13pre14d/gcl/gcl/bin/gcl -eval
> "(defparameter user::*fast-acl2-gcl-build* t)"
> GCL (GNU Common Lisp)  2.6.12 ANSI    May  7 2015 12:24:18
> ....
>>(si::use-fast-links nil)
>
> NIL
>
>>(load "init.lisp")
> ....
> Finished loading init.lisp
> T
>
>>[GC for 54 SFUN pages..(T=0).GC finished]
> GCL (GNU Common Lisp)  2.6.12 ANSI    May  7 2015 12:24:18
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License:  GPL due to GPL'ed components: (READLINE UNEXEC)
> Modifications of this banner must retain notice of a compatible license
> Dedicated to the memory of W. Schelter
>
> Use (help) to get some basic information on how to use GCL.
> Temporary directory for compiler files:
> /private/var/folders/gg/583fkmvx1g70j4s7m33tg1500000gn/T/
>
>>
>
> Thanks --
> -- Matt
>

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