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. _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
