[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: gcl-2.6.8pre on MAC OSX 10.2
From: |
Camm Maguire |
Subject: |
[Axiom-developer] Re: gcl-2.6.8pre on MAC OSX 10.2 |
Date: |
23 Oct 2006 10:23:25 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
Greetings!
"Bill Page" <address@hidden> writes:
> Camm,
>
> On October 21, 2006 4:05 PM you wrote:
> >
> > Greetings! Just checking that my last message hee was not lost.
> >
>
> I was a bit confused because the message that you quote below is
> my reply to you not your last message. :-) But anyway I presume you
> meant the following email:
>
Yes, thanks!
> On October 18, 2006 4:31 PM you asked:
>
> >...
> > Sigh. I suppose reconfigured here? The binutils configure scripts
> > do look for msgfmt. I'm surprised they don't step around a missing
> > one, or at least bomb. What does your binutils configure output say
> > in this regard?
> >
>
> I am not sure what you are asking. I showed out the partial output
> from gcl-2.6.8pre/binutils/bfd/config.log below.
>
> > >
> > > ---------
> > >
> > > gcl-2.6.8pre/binutils/bfd/config.log confirms:
> > >
> > > Invocation command line was
> > >
> > > $ ./configure --with-included-gettext
> > >
> > > But apparently recursive makefile in bfd/po does not make
> > > use of the included gettext. Maybe this is a binutils bug?
> > >
>
> When I looked further in this log file it showed that inspite of
> --with-included-gettext, the configure script also found the msgfmt
> in my local bin directory. I didn't understand this so I tried to
> reproduce the result but first I removed all the gettext and msgfmt
> from by local bin, but left it in the path in order to use the
> replacement for sed.
>
> When I re-ran the gcl build it ran properly to completion without
> any error. Hmmmm... don't know. Can't reproduce. So scrap this one.
> Must have been my mistake.
>
OK great! But Gaby's suggestion of --disable-nls might also work --
to pressed for time to get this in unless it is really needed.
> > ...
> > > But see later in the message - I apparently have a problem with
> > > __srget.
> > >
> >
> > There is a notorious platform specific _ name mangling issue here.
> > See the LEADING_UNDERSCORE variable.
> > ...
> > >
> > > Thank you. I look forward to a finally finalized 2.6.8. The
> > > evoluton of 2.6.8pre is causing us a little consternaton in
> > > the current Axiom source distribution... :-)
> > >
> >
> > My apologies. So many moving parts. I have to get everything synched
> > on one image, however, if we want these apps in Etch. And there have
> > been so many gcc et. al. issues.
> >
> > BTW, are we not updating
> >
> > http://axiom.axiom-developer.org/axiom-website/DOWNLOADS/
> >
> > anymore? Is there a latest official tarball somewhere for Etch (eta
> > this December)? Having a simple webpage with the filenames in some
> > sort of alphabetical/cronological sort order lets me automatically
> > know when the Debian package needs updating.
> >
>
> One no one has been created any new tarballs lately. The latest version
> in Axiom Gold is patch-50 but I don't think Tim created a tarball when
> he release the patch. :-(
>
OK. As you might know, Debian is trying to release Etch in December.
I'm skeptical, but we need to be ready. I need to get all the gcl
packages in their current state back into testing as they were thrown
out due to a transient gcc on some platforms (it appears). There
might be time for another source update if everything goes smoothly.
> > > ...
> > > Something is strange about thid symbol "___srget" with the 3
> > > underscore characters, I think??? The name "__srget" with 2
> > > underscore characters is properly defined in /usr/include/stdio.h
> > >
> > > I don't understand what is going on here.
> > >
> >
> > OK, your linker is prepending an underscore, and apparently
> > LEADING_UNDERSCORE was improperly set. Could you investigate?
>
> I tried to track this down. LEADING_UNDERSCORE is set to 1, which
> seems to be correct when I use nm to look at the symbols in the
> test file compiled by the gcl configure script. The raw symbol
> "___srget" does have 3 underscores (two in the original name), and
> cos appears as "_cos" etc. Everything works fine during the Axiom
> build for quite a while (up to the start of the building interpsys)
> until the
>
> Error: Undefined symbol "___srget"
>
> message appears. I would have presumed that this symbol would have
> been needed long before this failure occured. I rather suspsect that
> this error is a consequence of some deeper but silent problem, e.g.
> failed compiler::link?
>
OK here is a simple test (asusming this symbol comes from getc() on
the mac:
foo.l:
(defun foo nil (with-open-file (s "/tmp/foo") (read-byte s)))
gcl
>(compile-file "foo.l")
>(load "foo.o")
>(bye)
nm foo.o |grep srget
>
> > There may also be a C compiler switch for this. Is this gcc?
> >
>
> Yes it is
>
> $ gcc --version
> gcc (GCC) 3.1 20020420 (prerelease)
> Copyright (C) 2002 Free Software Foundation, Inc.
>
> What sort of switch? How/when should I set it?
>
Lets try the above first.
> >
> > > Also prior to compiling depsys, bootsys was already successfully
> > > created however it did have one oddity. The original Axiom load
> > > commands like ')load postpar' run during building depsys fails
> > > with an error message like "'postpar.8' does not exist" (Yes, that's
> > > the digit 8 after the dot.). If I change the command to include the
> > > .o like this: ')load postpar.o' everything seems fine and depsys
> > > is built.
> > >
> > > bootsys itself is actually built form a copy of gcl called 'lisp'
> > > that is created using compiler::link. The 'lisp' image includes
> > > several Axiom specific external routines. I.e.
> > >
> > > echo '(compiler::link nil
> > >
> > >
> > "/home/users/b/bi/billpage/osx/axiom.build-improvements/build/
> > powerpc-ap
> > > ple-darwin6.8/bin/lisp" ' \
> > > ' (format nil "(progn (let ((*load-path* (cons ~S
> > > *load-path*))'\
> > > ' (si::*load-types* ~S))' \
> > > ' (compiler::emit-fn t))' \
> > > ' (when (fboundp (quote si::sgc-on))' \
> > > ' (si::sgc-on t))' \
> > > ' (setq compiler::*default-system-p* t))"' \
> > > ' si::*system-directory* (quote (list ".lsp")))' \
> > > '
> > >
> > "/home/users/b/bi/billpage/osx/axiom.build-improvements/lsp/..
> > /./src/lib
> > > /cfuns-c.o' \
> > > '
> > >
> > /home/users/b/bi/billpage/osx/axiom.build-improvements/lsp/../
> > ./src/lib/
> > > sockio-c.o' \
> > > '
> > >
> > /home/users/b/bi/billpage/osx/axiom.build-improvements/lsp/../
> > ./src/lib/
> > > libspad.a")' \
> > > | /home/users/b/bi/billpage/osx/bin/gcl
> >
> > Can you post the output from this?
> >
>
> | /home/users/b/bi/billpage/osx/bin/gcl
> GCL (GNU Common Lisp) 2.6.8 CLtL1 Oct 18 2006 15:24:28
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (BFD 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 set to /tmp/
>
> >DBEGIN: 0x1c9000
> mach_mapstart: 0x5f9000
> heap_end: 0x5f9000
> core_end: 0x5f9000
> mach_brkpt: 0x5f9000
> mach_maplimit: 0x201c9000
> --- List of All Regions ---
> address size prot maxp zone_name
> 0 0x1000 none none (no zone)
> 0x1000 0x1c8000 r x rwx (no zone)
> 0x1c9000 0xf000 rw rwx (no zone)
> 0x1d8000 0x421000 rw rwx (no zone)
> 0x5f9000 0x165000 r rwx (no zone)
> 0x75e000 0x40000 rw rwx DefaultMallocZone
> --- List of Regions to be Dumped ---
> address size prot maxp zone_name
> 0 0x1000 none none (no zone)
> 0x1000 0x1c8000 r x rwx (no zone)
> 0x1c9000 0x430000 rw rwx (no zone)
> 0x5f9000 0x165000 r rwx (no zone)
> 0x75e000 0x40000 rw rwx DefaultMallocZone
> --- Header Information ---
> Magic = 0xfeedface
> CPUType = 18
> CPUSubType = 0
> FileType = 0x2
> NCmds = 10
> SizeOfCmds = 1620
> Flags = 0x00000085
> Highest address of load commands in input file: 0x75e000
> Lowest offset of all sections in __TEXT segment: 0xc30
> --- List of Load Commands in Input File ---
> no cmd cmdsize name address size
> 0 LC_SEGMENT 0x38 __PAGEZERO 0 0x1000
> 1 LC_SEGMENT 0x258 __TEXT 0x1000 0x1c8000
> __text 0x1c30 0x1ad804
> __picsymbol_stub 0x1af434 0x1998
> __symbol_stub 0x1b0dcc 0
> __cstring 0x1b0dcc 0x16110
> __literal4 0x1c6edc 0x18
> __literal8 0x1c6ef8 0x108
> __const 0x1c7000 0x1f9c
> __eh_frame 0x1c8f9c 0x60
> 2 LC_SEGMENT 0x214 __DATA 0x1c9000 0x430000
> __data 0x1c9000 0xaee4
> __la_symbol_ptr 0x1d3ee4 0x2d8
> __nl_symbol_ptr 0x1d41bc 0x9e0
> __dyld 0x1d4b9c 0x1c
> __const 0x1d4bb8 0x2748
> __bss 0x1d7300 0x9340
> __common 0x1e0640 0x418970
> 3 LC_SEGMENT 0x38 __LINKEDIT 0x5f9000 0x165000
> 4 LC_LOAD_DYLINKER 0x1c
> 5 LC_LOAD_DYLIB 0x34
> 6 LC_SYMTAB 0x18
> 7 LC_DYSYMTAB 0x50
> 8 LC_TWOLEVEL_HINTS 0x10
> 9 LC_UNIXTHREAD 0xb0
> --- Load Commands written to Output File ---
> Writing segment __PAGEZERO at 0 - 0 (sz: 0)
> Writing segment __TEXT at 0 - 0x1c8000 (sz: 0x1c8000)
> Writing segment __DATA at 0x1c8000 - 0x1d7000 (sz: 0xf000)
> section __data at 0x1c8000 - 0x1d2ee4 (sz: 0xaee4)
> section __la_symbol_ptr at 0x1d2ee4 - 0x1d31bc (sz: 0x2d8)
> section __nl_symbol_ptr at 0x1d31bc - 0x1d3b9c (sz: 0x9e0)
> section __dyld at 0x1d3b9c - 0x1d3bb8 (sz: 0x1c)
> section __const at 0x1d3bb8 - 0x1d6300 (sz: 0x2748)
> section __bss at 0x1d6300 - 0x1df640 (sz: 0x9340)
> section __common at 0x1df640 - 0x5f7fb0 (sz: 0x418970)
> Writing segment __DATA at 0x5f8000 - 0x5f8000 (sz: 0)
> WGCL (GNU Common Lisp) April 1994 131072 pages
>
Does this stop here? Or do you see "Initializing ...." as in your
compiler::link output below?
> > >
> > > If I intervene and make Axiom use the original 'saved_gcl' to build
> > > 'bootsys' instead of using 'lisp', then the 'postpar.8' problem does
> > > not occur and gcl finds the .o files anyway, as expected.
> > >
> > > This makes me suspicious that something subtle may be wrong with
> > > the output of 'compiler:link'. The size of the result images also
> > > seem curious:
> > >
> > > -rwxr-xr-x 1 billpage 100 18362444 Oct 17 19:08 saved_gcl
> > > ...
> > > -rwxr-xr-x 1 billpage 100 13072984 Oct 18 04:01 lisp
> > > -rwxr-xr-x 1 billpage 100 19159640 Oct 18 04:01 bootsys
> > > -rwxr-xr-x 1 billpage 100 7719512 Oct 18 04:01 raw_lisp.tmp
> > > -rw-r--r-- 1 billpage 100 0 Oct 18 04:01 raw_lisp_map
> > > -rwxr-xr-x 1 billpage 100 49588824 Oct 18 03:10 depsys
> > >
> > > Remember that 'lisp' is create by 'compiler::link' from
> > > saved_gcl plus some externals. Why is it smaller? Also the
> > > "raw" files were left here don't look "normal" to me.
> > >
> > > A test image of gcl created by
> > >
> > > $ gcl
> > > (si:save-system "test-image")
> > > (quit)
> > >
> > > is actually *larger* than the original saved_gcl.
> > >
> > > -rwxr-xr-x 1 billpage 100 23699532 Oct 18 11:07 test-image
> > >
> > > Are all these problems related?
> > >
> > > Any thing you can suggest would be greatly appreciated.
> > >
> >
> > I also suspect compiler::link failure. It is also odd that
> > save-system images are so much bigger. Here is the tiny difference on
> > Linux:
> >
> > ls -l /usr/lib/gcl-2.6.7/unixport/saved_gcl
> > -rwxr-xr-x 1 root root 9329131 Oct 18 13:43
> > /usr/lib/gcl-2.6.7/unixport/saved_gcl
> > /usr/lib/gcl-2.6.7/unixport/saved_gcl
> > GCL (GNU Common Lisp) 2.6.7 CLtL1 Oct 18 2006 13:40:07
> > Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> > Binary License: GPL due to GPL'ed components: (XGCL READLINE
> > BFD 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 set to /tmp/
> >
> > >(si::save-system "/tmp/ff")
> > ls -l /tmp/ff
> > -rwxr-x--- 1 camm camm 9333267 Oct 18 16:25 /tmp/ff
> >
> > compiler::link should be no smaller than saved_gcl. The raw files are
> > explicitly deleted as named and output by gcc -- the .tmp extension
> > appears non-std and might be expected to persist.
> >
> > I'd make two images, one with
> >
> > (si::save-system "foo")
> >
> > and the other with
> >
> > (compiler::link nil "bar")
> >
> > And then in each, do a few tests, including looking at
> > si::*load-types*.
> >
>
> Ok, here are the result of your suggested tests below:
>
> --------------
>
> ppc-osx3:~/osx/axiom.build-improvements $ echo '(si::save-system "foo")' |
> gcl > foo.log
> ppc-osx3:~/osx/axiom.build-improvements $ echo '(compiler::link nil "bar")'
> | gcl > bar.log
> ppc-osx3:~/osx/axiom.build-improvements $ ls -l foo bar
> -rwxr-xr-x 1 billpage 100 13029844 Oct 21 15:06 bar
> -rwxr-xr-x 1 billpage 100 23708096 Oct 21 15:05 foo
>
> ppc-osx3:~/osx/axiom.build-improvements $ cat foo.log
>
> GCL (GNU Common Lisp) 2.6.8 CLtL1 Oct 18 2006 15:24:28
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (BFD 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 set to /tmp/
>
> >DBEGIN: 0x1c7000
> mach_mapstart: 0x5f5000
> heap_end: 0xb0c000
> core_end: 0xb0d000
> mach_brkpt: 0xe737000
> mach_maplimit: 0x201c7000
> --- List of All Regions ---
> address size prot maxp zone_name
> 0 0x1000 none none (no zone)
> 0x1000 0x1c6000 r x rwx (no zone)
> 0x1c7000 0x42e000 rw rwx (no zone)
> 0x5f5000 0x517000 rwx rwx (no zone)
> 0xb0c000 0x1f6bb000 rwx rwx (no zone)
> --- List of Regions to be Dumped ---
> address size prot maxp zone_name
> 0 0x1000 none none (no zone)
> 0x1000 0x1c6000 r x rwx (no zone)
> 0x1c7000 0x42e000 rw rwx (no zone)
> 0x5f5000 0x1fbd2000 rwx rwx (no zone)
> --- Header Information ---
> Magic = 0xfeedface
> CPUType = 18
> CPUSubType = 0
> FileType = 0x2
> NCmds = 11
> SizeOfCmds = 1744
> Flags = 0x00000085
> Highest address of load commands in input file: 0x5fad0000
> Lowest offset of all sections in __TEXT segment: 0x6f8
> --- List of Load Commands in Input File ---
> no cmd cmdsize name address size
> 0 LC_SEGMENT 0x38 __PAGEZERO 0 0x1000
> 1 LC_SEGMENT 0x258 __TEXT 0x1000 0x1c6000
> __text 0x16f8 0x1aafc8
> __picsymbol_stub 0x1ac6c0 0x18e4
> __symbol_stub 0x1adfa4 0
> __cstring 0x1adfa4 0x15f5c
> __literal4 0x1c3f00 0x18
> __literal8 0x1c3f18 0x108
> __const 0x1c4020 0x1f9c
> __eh_frame 0x1c5fbc 0x60
> 2 LC_SEGMENT 0x214 __DATA 0x1c7000 0x42e000
> __data 0x1c7000 0xaec4
> __la_symbol_ptr 0x1d1ec4 0x2c4
> __nl_symbol_ptr 0x1d2188 0x9c8
> __dyld 0x1d2b50 0x1c
> __const 0x1d2b6c 0x2748
> __bss 0x1d52b8 0x8f28
> __common 0x1de1e0 0x416d68
> 3 LC_SEGMENT 0x7c __DATA 0x5f5000 0x1fbd2000
> __data 0x5f5000 0x517000
> 4 LC_SEGMENT 0x38 __LINKEDIT 0x5f96b000 0x165000
> 5 LC_LOAD_DYLINKER 0x1c
> 6 LC_LOAD_DYLIB 0x34
> 7 LC_SYMTAB 0x18
> 8 LC_DYSYMTAB 0x50
> 9 LC_TWOLEVEL_HINTS 0x10
> 10 LC_UNIXTHREAD 0xb0
> --- Load Commands written to Output File ---
> Writing segment __PAGEZERO at 0 - 0 (sz: 0)
> Writing segment __TEXT at 0 - 0x1c6000 (sz: 0x1c6000)
> Writing segment __DATA at 0x1c6000 - 0x5f4000 (sz: 0x42e000)
> section __data at 0x1c6000 - 0x1d0ec4 (sz: 0xaec4)
> section __la_symbol_ptr at 0x1d0ec4 - 0x1d1188 (sz: 0x2c4)
> section __nl_symbol_ptr at 0x1d1188 - 0x1d1b50 (sz: 0x9c8)
> section __dyld at 0x1d1b50 - 0x1d1b6c (sz: 0x1c)
> section __const at 0x1d1b6c - 0x1d42b4 (sz: 0x2748)
> section __bss at 0x1d42b8 - 0x1dd1e0 (sz: 0x8f28)
> section __common at 0x1dd1e0 - 0x5f3f48 (sz: 0x416d68)
> Writing segment __DATA at 0x5f4000 - 0xb0c000 (sz: 0x518000)
> Writing segment __LINKEDIT at 0x1538000 - 0x169c1c0 (sz: 0x1641c0)
> Writing LC_LOAD_DYLINKER command
> Writing LC_LOAD_DYLIB command
> Writing LC_SYMTAB command
> Fixed up 0/17 external relocation entries in data segment.
> Writing LC_DYSYMTAB command
> Writing LC_TWOLEVEL_HINTS command
> Writing LC_UNIXTHREAD command
> 12 unused bytes follow Mach-O header
>
>
> ppc-osx3:~/osx/axiom.build-improvements $ cat bar.log
>
> GCL (GNU Common Lisp) 2.6.8 CLtL1 Oct 18 2006 15:24:28
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (BFD 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 set to /tmp/
>
> >DBEGIN: 0x1c7000
What I don't understand is this output appearing twice. This is the
place it appears not to belong. Is this not output only from unexec?
> mach_mapstart: 0x5f5000
> heap_end: 0x5f5000
> core_end: 0x5f5000
> mach_brkpt: 0x5f5000
> mach_maplimit: 0x201c7000
> --- List of All Regions ---
> address size prot maxp zone_name
> 0 0x1000 none none (no zone)
> 0x1000 0x1c6000 r x rwx (no zone)
> 0x1c7000 0xf000 rw rwx (no zone)
> 0x1d6000 0x41f000 rw rwx (no zone)
> 0x5f5000 0x165000 r rwx (no zone)
> 0x75a000 0x40000 rw rwx (no zone)
> 0x79a000 0x40000 rw rwx DefaultMallocZone
> --- List of Regions to be Dumped ---
> address size prot maxp zone_name
> 0 0x1000 none none (no zone)
> 0x1000 0x1c6000 r x rwx (no zone)
> 0x1c7000 0x42e000 rw rwx (no zone)
> 0x5f5000 0x165000 r rwx (no zone)
> 0x75a000 0x40000 rw rwx (no zone)
> 0x79a000 0x40000 rw rwx DefaultMallocZone
> --- Header Information ---
> Magic = 0xfeedface
> CPUType = 18
> CPUSubType = 0
> FileType = 0x2
> NCmds = 10
> SizeOfCmds = 1620
> Flags = 0x00000085
> Highest address of load commands in input file: 0x75a000
> Lowest offset of all sections in __TEXT segment: 0x1658
> --- List of Load Commands in Input File ---
> no cmd cmdsize name address size
> 0 LC_SEGMENT 0x38 __PAGEZERO 0 0x1000
> 1 LC_SEGMENT 0x258 __TEXT 0x1000 0x1c6000
> __text 0x2658 0x1ab044
> __picsymbol_stub 0x1ad69c 0x18e4
> __symbol_stub 0x1aef80 0
> __cstring 0x1aef80 0x15f5c
> __literal4 0x1c4edc 0x18
> __literal8 0x1c4ef8 0x108
> __const 0x1c5000 0x1f9c
> __eh_frame 0x1c6f9c 0x60
> 2 LC_SEGMENT 0x214 __DATA 0x1c7000 0x42e000
> __data 0x1c7000 0xaec4
> __la_symbol_ptr 0x1d1ec4 0x2c4
> __nl_symbol_ptr 0x1d2188 0x9c8
> __dyld 0x1d2b50 0x1c
> __const 0x1d2b6c 0x2748
> __bss 0x1d52b8 0x8f28
> __common 0x1de1e0 0x416d58
> 3 LC_SEGMENT 0x38 __LINKEDIT 0x5f5000 0x165000
> 4 LC_LOAD_DYLINKER 0x1c
> 5 LC_LOAD_DYLIB 0x34
> 6 LC_SYMTAB 0x18
> 7 LC_DYSYMTAB 0x50
> 8 LC_TWOLEVEL_HINTS 0x10
> 9 LC_UNIXTHREAD 0xb0
> --- Load Commands written to Output File ---
> Writing segment __PAGEZERO at 0 - 0 (sz: 0)
> Writing segment __TEXT at 0 - 0x1c6000 (sz: 0x1c6000)
> Writing segment __DATA at 0x1c6000 - 0x1d5000 (sz: 0xf000)
> section __data at 0x1c6000 - 0x1d0ec4 (sz: 0xaec4)
> section __la_symbol_ptr at 0x1d0ec4 - 0x1d1188 (sz: 0x2c4)
> section __nl_symbol_ptr at 0x1d1188 - 0x1d1b50 (sz: 0x9c8)
> section __dyld at 0x1d1b50 - 0x1d1b6c (sz: 0x1c)
> section __const at 0x1d1b6c - 0x1d42b4 (sz: 0x2748)
> section __bss at 0x1d42b8 - 0x1dd1e0 (sz: 0x8f28)
> section __common at 0x1dd1e0 - 0x5f3f38 (sz: 0x41GCL
> (GNU Common Lisp) April 1994 131072 pages
> Building symbol table for
> /private/automount/home/users/b/bi/billpage/osx/axiom.build-improvements/raw
> _bar.tmp ..
> loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../lsp/gcl_export.lsp
> Initializing gcl_defmacro.o
> Initializing gcl_evalmacros.o
> Initializing gcl_top.o
> Initializing gcl_module.o
> loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../lsp/gcl_autoload.lsp
>
> >
> NIL
>
> >
> #<"COMPILER" package>
>
> >
> #<"SLOOP" package>
>
> >
> #<"SERROR" package>
>
> >
> #<"ANSI-LOOP" package>
>
> >
> #<"DEFPACKAGE" package>
>
> >
> #<"TK" package>
>
> >
> #<"SYSTEM" package>
>
> SYSTEM>
> *COMMAND-ARGS*
>
> SYSTEM>Initializing gcl_predlib.o
> Initializing gcl_setf.o
> Initializing gcl_arraylib.o
> Initializing gcl_assert.o
> Initializing gcl_defstruct.o
> Initializing gcl_describe.o
> Initializing gcl_iolib.o
> Initializing gcl_listlib.o
> Initializing gcl_mislib.o
> Initializing gcl_numlib.o
> Initializing gcl_packlib.o
> Initializing gcl_seq.o
> Initializing gcl_seqlib.o
> Initializing gcl_trace.o
> Initializing gcl_sloop.o
> Initializing gcl_serror.o
> Initializing gcl_destructuring_bind.o
> Initializing gcl_loop.o
> Initializing gcl_defpackage.o
> Initializing gcl_make_defpackage.o
> Initializing gcl_cmpinline.o
> Initializing gcl_cmputil.o
> Initializing gcl_debug.o
> Initializing gcl_info.o
> Initializing gcl_cmptype.o
> Initializing gcl_cmpbind.o
> Initializing gcl_cmpblock.o
> Initializing gcl_cmpcall.o
> Initializing gcl_cmpcatch.o
> Initializing gcl_cmpenv.o
> Initializing gcl_cmpeval.o
> Initializing gcl_cmpflet.o
> Initializing gcl_cmpfun.o
> Initializing gcl_cmpif.o
> Initializing gcl_cmplabel.o
> Initializing gcl_cmplam.o
> Initializing gcl_cmplet.o
> Initializing gcl_cmploc.o
> Initializing gcl_cmpmap.o
> Initializing gcl_cmpmulti.o
> Initializing gcl_cmpspecial.o
> Initializing gcl_cmptag.o
> Initializing gcl_cmptop.o
> Initializing gcl_cmpvar.o
> Initializing gcl_cmpvs.o
> Initializing gcl_cmpwt.o
>
> Loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../lsp/sys-proclaim.lis
> p
> Finished loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../lsp/sys-proclaim.lis
> p
> Loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../cmpnew/sys-proclaim.
> lisp
> Finished loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../cmpnew/sys-proclaim.
> lisp
> Loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../gcl-tk/tk-package.ls
> p
> Finished loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../gcl-tk/tk-package.ls
> p
> Loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../cmpnew/gcl_cmpmain.l
> sp
> Warning: COMPILE-FILE is being redefined.
> Warning: COMPILE is being redefined.
> Warning: DISASSEMBLE is being redefined.
> Finished loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../cmpnew/gcl_cmpmain.l
> sp
> Loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../cmpnew/gcl_lfun_list
> .lsp
> Finished loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../cmpnew/gcl_lfun_list
> .lsp
> Loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../cmpnew/gcl_cmpopt.ls
> p
> Finished loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../cmpnew/gcl_cmpopt.ls
> p
> Loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../lsp/gcl_auto_new.lsp
> Finished loading
> /home/users/b/bi/billpage/osx/lib/gcl-2.6.8/unixport/../lsp/gcl_auto_new.lsp
>
> T
>
> >DBEGIN: 0x1c7000
> mach_mapstart: 0x5f5000
> heap_end: 0xb09000
> core_end: 0xb0a000
> mach_brkpt: 0x57df000
> mach_maplimit: 0x201c7000
> --- List of All Regions ---
> address size prot maxp zone_name
> 0 0x1000 none none (no zone)
> 0x1000 0x1c6000 r x rwx (no zone)
> 0x1c7000 0x42e000 rw rwx (no zone)
> 0x5f5000 0x1fbd2000 rwx rwx (no zone)
> --- List of Regions to be Dumped ---
> address size prot maxp zone_name
> 0 0x1000 none none (no zone)
> 0x1000 0x1c6000 r x rwx (no zone)
> 0x1c7000 0x42e000 rw rwx (no zone)
> 0x5f5000 0x1fbd2000 rwx rwx (no zone)
> --- Header Information ---
> Magic = 0xfeedface
> CPUType = 18
> CPUSubType = 0
> FileType = 0x2
> NCmds = 11
> SizeOfCmds = 1744
> Flags = 0x00000085
> Highest address of load commands in input file: 0x2032c000
> Lowest offset of all sections in __TEXT segment: 0x1658
> --- List of Load Commands in Input File ---
> no cmd cmdsize name address size
> 0 LC_SEGMENT 0x38 __PAGEZERO 0 0x1000
> 1 LC_SEGMENT 0x258 __TEXT 0x1000 0x1c6000
> __text 0x2658 0x1ab044
> __picsymbol_stub 0x1ad69c 0x18e4
> __symbol_stub 0x1aef80 0
> __cstring 0x1aef80 0x15f5c
> __literal4 0x1c4edc 0x18
> __literal8 0x1c4ef8 0x108
> __const 0x1c5000 0x1f9c
> __eh_frame 0x1c6f9c 0x60
> 2 LC_SEGMENT 0x214 __DATA 0x1c7000 0x42e000
> __data 0x1c7000 0xaec4
> __la_symbol_ptr 0x1d1ec4 0x2c4
> __nl_symbol_ptr 0x1d2188 0x9c8
> __dyld 0x1d2b50 0x1c
> __const 0x1d2b6c 0x2748
> __bss 0x1d52b8 0x8f28
> __common 0x1de1e0 0x416d58
> 3 LC_SEGMENT 0x7c __DATA 0x5f5000 0x1fbd2000
> __data 0x5f5000 0
> 4 LC_SEGMENT 0x38 __LINKEDIT 0x201c7000 0x165000
> 5 LC_LOAD_DYLINKER 0x1c
> 6 LC_LOAD_DYLIB 0x34
> 7 LC_SYMTAB 0x18
> 8 LC_DYSYMTAB 0x50
> 9 LC_TWOLEVEL_HINTS 0x10
> 10 LC_UNIXTHREAD 0xb0
> --- Load Commands written to Output File ---
> Writing segment __PAGEZERO at 0 - 0 (sz: 0)
> Writing segment __TEXT at 0 - 0x1c6000 (sz: 0x1c6000)
> Writing segment __DATA at 0x1c6000 - 0x5f4000 (sz: 0x42e000)
> section __data at 0x1c6000 - 0x1d0ec4 (sz: 0xaec4)
> section __la_symbol_ptr at 0x1d0ec4 - 0x1d1188 (sz: 0x2c4)
> section __nl_symbol_ptr at 0x1d1188 - 0x1d1b50 (sz: 0x9c8)
> section __dyld at 0x1d1b50 - 0x1d1b6c (sz: 0x1c)
> section __const at 0x1d1b6c - 0x1d42b4 (sz: 0x2748)
> section __bss at 0x1d42b8 - 0x1dd1e0 (sz: 0x8f28)
> section __common at 0x1dd1e0 - 0x5f3f38 (sz: 0x416d58)
> Writing segment __DATA at 0x5f4000 - 0xb09000 (sz: 0x515000)
> Writing segment __LINKEDIT at 0xb09000 - 0xc6d1d4 (sz: 0x1641d4)
> Writing LC_LOAD_DYLINKER command
> Writing LC_LOAD_DYLIB command
> Writing LC_SYMTAB command
> Fixed up 0/17 external relocation entries in data segment.
> Writing LC_DYSYMTAB command
> Writing LC_TWOLEVEL_HINTS command
> Writing LC_UNIXTHREAD command
> 3948 unused bytes follow Mach-O header
>
> "bar"
>
> ppc-osx3:~/osx/axiom.build-improvements $ ./foo
> GCL (GNU Common Lisp) 2.6.8 CLtL1 Oct 18 2006 15:24:28
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (BFD 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 set to /tmp/
>
> >si::*load-types*
>
> (".o" ".lsp" ".lisp")
>
> >(+ 1 1)
>
> 2
>
> >(quit)
>
> ppc-osx3:~/osx/axiom.build-improvements $ ./bar
> GCL (GNU Common Lisp) 2.6.8 CLtL1 Oct 18 2006 15:24:28
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License: GPL due to GPL'ed components: (BFD 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 set to /tmp/
>
> >si::*load-types*
>
> (".o" ".lsp" ".lisp")
>
> >(+ 1 1)
>
> 2
>
> >(quit)
>
> ppc-osx3:~/osx/axiom.build-improvements $
>
> -----------
>
> Besides the difference in size in the images, I don't see any
> other visible problems. Does the output from the save-system
> and compiler::link help? I have no idea what it should look
> like.
Might be of use seeing if both images can compile and load files,
especially the test file foo.l above.
>
> >
> > Lastly, you all in the axiom world might like to know that I'm about
> > to release an HOL88 Debian package build atop GCL. In addition to
> > providing an alternate theorem proving environment, one also has the
> > ML language built into the same image for potential use by axiom.
> > More on this later.
> >
>
> That sounds very interesting.
>
> I think we need to move this part of the message to a more conspicuous
> place. :-)
OK reply separately.
Take care,
>
> Thanks.
>
> Regards,
> Bill Page.
>
>
>
>
>
--
Camm Maguire address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
- Re: [Axiom-developer] gcl-2.6.8pre on MAC OSX 10.2, (continued)
- Re: [Axiom-developer] gcl-2.6.8pre on MAC OSX 10.2, root, 2006/10/18
- Re: [Axiom-developer] gcl-2.6.8pre on MAC OSX 10.2, root, 2006/10/18
- [Axiom-developer] Re: gcl-2.6.8pre on MAC OSX 10.2, Camm Maguire, 2006/10/18
- [Axiom-developer] RE: gcl-2.6.8pre on MAC OSX 10.2, Page, Bill, 2006/10/18
- [Axiom-developer] Re: gcl-2.6.8pre on MAC OSX 10.2, Camm Maguire, 2006/10/18
- Re: [Axiom-developer] Re: gcl-2.6.8pre on MAC OSX 10.2, Gabriel Dos Reis, 2006/10/18
- [Axiom-developer] Re: gcl-2.6.8pre on MAC OSX 10.2, Camm Maguire, 2006/10/23
- [Axiom-developer] RE: gcl-2.6.8pre on MAC OSX 10.2, Bill Page, 2006/10/21
- [Axiom-developer] Axiom and the ML language built into the same image, Bill Page, 2006/10/21
- [Axiom-developer] HOL88 (was Re: Axiom and the ML language built into the same image), Camm Maguire, 2006/10/23
- [Axiom-developer] Re: gcl-2.6.8pre on MAC OSX 10.2,
Camm Maguire <=
- [Axiom-developer] RE: gcl-2.6.8pre on MAC OSX 10.2, Bill Page, 2006/10/23
- [Axiom-developer] Re: gcl-2.6.8pre on MAC OSX 10.2, Camm Maguire, 2006/10/23
- [Axiom-developer] RE: gcl-2.6.8pre on MAC OSX 10.2, Bill Page, 2006/10/23
- RE: [Axiom-developer] RE: gcl-2.6.8pre on MAC OSX 10.2, Bill Page, 2006/10/23
- RE: [Axiom-developer] RE: gcl-2.6.8pre on MAC OSX 10.2, Bill Page, 2006/10/23
- Re: [Axiom-developer] RE: gcl-2.6.8pre on MAC OSX 10.2, Camm Maguire, 2006/10/24
- RE: [Axiom-developer] RE: gcl-2.6.8pre on MAC OSX 10.2, Bill Page, 2006/10/24
- Re: [Axiom-developer] RE: gcl-2.6.8pre on MAC OSX 10.2, Camm Maguire, 2006/10/24
- [Axiom-developer] Re: gcl-2.6.8pre on MAC OSX 10.2, Camm Maguire, 2006/10/24
- [Axiom-developer] RE: gcl-2.6.8pre on MAC OSX 10.2, Bill Page, 2006/10/24