Re: [Gcl-devel] macosx stack space

[Matt Kaufmann]

Thanks, Camm.  (As I replied in a separate email, sure, feel free to
ping me.)

-- Matt
> From: Camm Maguire <address@hidden>
> Cc: address@hidden, address@hidden
> Date: Fri, 22 Jan 2016 17:11:12 -0500
> 
> Greetings!  Thanks again so much for your feedback!
> 
> git clone git://git.sv.gnu.org/gcl.git
> cd gcl/gcl
> git checkout Version_2_6_13pre
> ./configure --enable-ansi && make
> 
> Might I try to ping you in a bit re: the experimental branch I'm trying
> to debug, or are you busy?
> 
> Take care,
> 
> Matt Kaufmann <address@hidden> writes:
> 
> > 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
> >> 
> >
> >
> >
> >
> 
> -- 
> Camm Maguire                                      address@hidden
> ==========================================================================
> "The earth is but one country, and mankind its citizens."  --  Baha'u'llah
>