Re: [Gcl-devel] macosx stack space

[Camm Maguire]

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