[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: |
Bill Page |
Subject: |
[Axiom-developer] RE: gcl-2.6.8pre on MAC OSX 10.2 |
Date: |
Sat, 21 Oct 2006 18:16:19 -0400 |
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:
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.
> ...
> > 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. :-(
> > ...
> > 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?
> 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?
>
> > 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
> >
> > 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
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.
>
> 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. :-)
Thanks.
Regards,
Bill Page.
- 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
- [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 <=
- [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, 2006/10/23
- [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