[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] macosx stack space
From: |
Matt Kaufmann |
Subject: |
Re: [Gcl-devel] macosx stack space |
Date: |
Fri, 22 Jan 2016 17:23:21 -0600 |
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
>