Re: [Gcl-devel] macosx stack space

[Matt Kaufmann]

Ah -- our emails just crossed.  Thanks!

Sorry, I don't know the current way to get the latest version.  Is it
simply this?

git clone http://git.savannah.gnu.org/cgit/gcl.git

Thanks --
-- Matt
> From: Camm Maguire <address@hidden>
> Date: Fri, 22 Jan 2016 15:21:07 -0500
> Cc: address@hidden
> 
> 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
> 
> _______________________________________________
> Gcl-devel mailing list
> address@hidden
> https://lists.gnu.org/mailman/listinfo/gcl-devel
>