gcl-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Gcl-devel] Re: address@hidden: Re: ACL2 Version 4.0]


From: Camm Maguire
Subject: Re: [Gcl-devel] Re: address@hidden: Re: ACL2 Version 4.0]
Date: Fri, 23 Jul 2010 15:19:05 -0400
User-agent: Gnus/5.11 (Gnus v5.11) Emacs/22.2 (gnu/linux)

Thanks so much!

The status so far:

I can get gcl built using mingw32 as a cross compiler on linux.  As
gcl must be run in this procedure, I've installed wine and have it
autolaunching when the binaries are invoked.  There is a distressing
bug in wine around system() -- the server is not waiting for the child
to complete leading to corruption between C compiler input and
output.  I've implemented a workable but ugly locking mechanism
running as a separate unix process:

#!/bin/sh

while true ; do
      if [ -e lckk ] ; then
         if ! pidof $(basename $(awk '{print $1}' lckk)); then
             echo $(cat lckk) is done
             rm lckk;
         fi 
      fi
      sleep 1;
done

and then I check for this before exiting from a system() wrapper.
I've conditionalized this check for now to only run when wine is
detected (in si::*wine-detected*).  It might be better to replace
system() with CreateProcess as Mike Thomas did in run_process, which
appears to work.

Anyway, I've rewritten the loader code and it looks very solid. 

You can try this binary:

http://people.debian.org/~camm/saved_ansi_gcl.exe

(size 31341048, uploading now so please check that it is done before
retrieving.)

You will probably have to adjust the compiler::*cc* variable with the
correct path to your C compiler.

Please let me know how it goes, and/or if you have suggestions re: the
above.  I think being able to build stuff under wine will prove much
more reliable in the future, if it works that is :-).  If this path
proves fruitful, perhaps you might be able to assist in developing
some makefile rules to build the installer package either natively or
when cross compiling with wine.

Take care,


Donald Winiecki <address@hidden> writes:

> Hi again Camm,
>
> Just to update things, the IT staff that oversees the college indicates that 
> it has to do some experimenting
> with setups on this operating system (Win-Vista) to make sure you (a distro 
> of Linux) can hit it. 
>
> It is my experience that `experimenting' is an indication that this issue 
> will take more time than
> expected...  Apologies.
>
> _don
>
> On Thu, Jul 22, 2010 at 4:52 PM, Camm Maguire <address@hidden> wrote:
>
>     Greetings!  Might you be able to download and test a preliminary
>     binary?
>    
>     Take care,
>    
>     Donald Winiecki <address@hidden> writes:
>    
>     > Hi again, and apologies for pelting you with E-mail on this.  We're 
> almost at the point where you get
>     access
>     > (I think).
>     >
>     > Do you have a VPN client on your end?  If so, what is it and what is 
> your IP address (this is so the
>     staff
>     > here can look for you and let you through the firewall).
>     >
>     > (Once you get access, I'll put shortcuts to MSYS and EMACS in a folder 
> on the Windows-Vista desktop. 
>     This
>     > will give you the local functionality.)
>     >
>     > _don
>     >
>     > On Tue, Jul 20, 2010 at 9:48 AM, Donald Winiecki <address@hidden> wrote:
>     >
>     >     Hi Camm,
>     >
>     >     The last time I successfully built 2.6.8pre was 7 July, 2008.  I've 
> been running it on my Vista box
>     since
>     >     then.  I certainly haven't stressed it at all, but I haven't 
> experienced any unsurmountable
>     troubles
>     >     either.
>     >
>     >     I'm a little farther along in getting access to this machine for 
> you.  It may take a few more days,
>     >     however..
>     >
>     >     When I attempted to `make raw_pre_gcl' from the MSYS shell using 
> your suggested script, I get the
>     >     following abend.  I hope this gets you a bit farther.
>     >
>     >     $ make raw_pre_gcl
>     >     ../o/gcllib.a: No such file or directory
>     >     c:\mingw\bin\ar.exe: ls: ../o/*.o: No such file or directory
>     >     ls: ../lsp/*.o: No such file or directory
>     >     ls: ../xgcl-2/*.o: No such file or directory
>     >     ls: ../cmpnew/*.o: No such file or directory
>     >     ls: ../mod/*.o: No such file or directory
>     >     ls: ../pcl/*.o: No such file or directory
>     >     ls: ../clcs/*.o: No such file or directory
>     >     ls: ../clcs/clcs_*.lisp: No such file or directory
>     >     gcc    -c -o sys_pre_gcl.o sys_pre_gcl.c
>     >     In file included from sys_pre_gcl.c:3:
>     >     ../h/include.h:36:21: gclincl.h: No such file or directory
>     >     ../h/include.h:37:20: config.h: No such file or directory
>     >     In file included from ../h/include.h:70,
>     >                      from sys_pre_gcl.c:3:
>     >     ../h/protoize.h:74: error: parse error before '*' token
>     >     In file included from ../h/notcomp.h:289,
>     >                      from ../h/include.h:71,
>     >                      from sys_pre_gcl.c:3:
>     >     ../h/gmp_wrappers.h:115: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_add':
>     >     ../h/gmp_wrappers.h:115: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:115: error: (Each undeclared identifier is 
> reported only once
>     >     ../h/gmp_wrappers.h:115: error: for each function it appears in.)
>     >     ../h/gmp_wrappers.h:115: error: `_c' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:115: error: `_d' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:116: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_add_ui':
>     >     ../h/gmp_wrappers.h:116: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:116: error: `_c' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:116: error: `_d' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:117: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_sub':
>     >     ../h/gmp_wrappers.h:117: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:117: error: `_c' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:117: error: `_d' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:118: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_sub_ui':
>     >     ../h/gmp_wrappers.h:118: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:118: error: `_c' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:118: error: `_d' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:119: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_mul':
>     >     ../h/gmp_wrappers.h:119: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:119: error: `_c' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:119: error: `_d' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:120: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_mul_si':
>     >     ../h/gmp_wrappers.h:120: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:120: error: `_c' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:120: error: `_d' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:121: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_mul_2exp':
>     >     ../h/gmp_wrappers.h:121: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:121: error: `_c' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:121: error: `_d' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:122: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_neg':
>     >     ../h/gmp_wrappers.h:122: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:122: error: `_c' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:123: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_tdiv_qr':
>     >     ../h/gmp_wrappers.h:123: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:123: error: `_d' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:123: error: `_e' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:123: error: `_c' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:124: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_fdiv_q_2exp':
>     >     ../h/gmp_wrappers.h:124: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:124: error: `_c' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:124: error: `_d' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:125: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_cmp':
>     >     ../h/gmp_wrappers.h:125: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:125: error: `_c' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:126: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_and':
>     >     ../h/gmp_wrappers.h:126: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:126: error: `_c' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:126: error: `_d' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:127: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_xor':
>     >     ../h/gmp_wrappers.h:127: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:127: error: `_c' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:127: error: `_d' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:128: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_ior':
>     >     ../h/gmp_wrappers.h:128: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:128: error: `_c' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:128: error: `_d' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:129: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_com':
>     >     ../h/gmp_wrappers.h:129: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:129: error: `_c' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:130: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_tstbit':
>     >     ../h/gmp_wrappers.h:130: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:130: error: `_c' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:131: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_init':
>     >     ../h/gmp_wrappers.h:131: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:132: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_set':
>     >     ../h/gmp_wrappers.h:132: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:132: error: `_c' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:133: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_set_ui':
>     >     ../h/gmp_wrappers.h:133: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:133: error: `_c' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:134: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_set_si':
>     >     ../h/gmp_wrappers.h:134: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:134: error: `_c' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:135: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_get_d':
>     >     ../h/gmp_wrappers.h:135: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:136: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_get_si':
>     >     ../h/gmp_wrappers.h:136: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:137: error: parse error before "mpz_t"
>     >     ../h/gmp_wrappers.h: In function `mmpz_get_str':
>     >     ../h/gmp_wrappers.h:137: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:137: error: `_c' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:137: error: `_d' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:137: warning: assignment makes pointer from 
> integer without a cast
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:138: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_fits_sint_p':
>     >     ../h/gmp_wrappers.h:138: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:139: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_popcount':
>     >     ../h/gmp_wrappers.h:139: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:141: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_size':
>     >     ../h/gmp_wrappers.h:141: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h: At top level:
>     >     ../h/gmp_wrappers.h:142: error: parse error before "_b"
>     >     ../h/gmp_wrappers.h: In function `mmpz_sizeinbase':
>     >     ../h/gmp_wrappers.h:142: error: `_b' undeclared (first use in this 
> function)
>     >     ../h/gmp_wrappers.h:142: error: `_c' undeclared (first use in this 
> function)
>     >     ../h/include.h:74:27: ../h/new_decl.h: No such file or directory
>     >     make: *** [sys_pre_gcl.o] Error 1
>     >
>     >     Best,
>     >
>     >     _don
>     >
>     >     On Tue, Jul 20, 2010 at 8:14 AM, Camm Maguire <address@hidden> 
> wrote:
>     >
>     >         Greetings!
>     >
>     >         Donald Winiecki <address@hidden> writes:
>     >
>     >         > Hi Camm,
>     >         >
>     >         > Since I'm trying to build GCL 2.6.8pre using MSYS on the 
> Windows (Vista) side of my computer,
>     I
>     >         think you'll
>     >         > have to have access to the Windows (Vista) through `Remote 
> Desktop' using VPN.
>     >         >
>     >         > Is this what you want, or do you want ssh access to the Linux 
> side of my computer?
>     >         >
>     >
>     >         This is OK, but terminal access (to windows) would be 
> preferable.
>     >         I've done the vpn before, and as long as there is emacs and 
> gdb, that
>     >         should be OK.
>     >
>     >         Alternatively, a linux mingw/msys emulation might be ideal.  
> There are
>     >         Debian packages which look pertinent, but I am not familiar 
> with them.
>     >
>     >         Do you recall the last time you built this tree successfully?  
> I'm
>     >         pretty sure this is a failure in the new gmp4 subtree, but I'll 
> need
>     >         gdb to make sure.
>     >
>     >         If you feel inspired, you can
>     >
>     >         cd unixport
>     >         make raw_pre_gcl
>     >         gdb raw_pre_gcl
>     >         (gdb) r ./ <foo
>     >
>     >         > _don
>     >         >
>     >         > On Sun, Jul 18, 2010 at 8:32 PM, Donald Winiecki 
> <address@hidden> wrote:
>     >         >
>     >         >     Hi Camm,
>     >         >
>     >         >     Still no joy.  Here is a fragment more of the ab end.
>     >         >
>     >         >     I'll check with the powers that be tomorrow about getting 
> ssh access for you (it's my
>     >         production machine
>     >         >     so the uni will probably be a little bit tight, but I'm 
> fairly confident access can be
>     >         arranged.
>     >         >
>     >         >             -e "address@hidden@#`cat ../minvers | cut -f2 
> -d.`#1" \
>     >         >             -e "address@hidden@#`cat ../minvers | cut -f1 
> -d.`#1" \
>     >         >             -e "address@hidden@#`cat ../majvers`#1" \
>     >         >             -e "address@hidden@#\"gcc -c -Wall -DVOL=volatile 
> -fsigned-char -pipe
>     >         -fno-zero-initialized-in-bss
>     >         >     -mms-bitfields -march=i386 \"#1" \
>     >         >             -e "address@hidden@#\"gcc -o \"#1" \
>     >         >             -e "address@hidden@#\" ../o/firstfile.o  
> -lpre_gcl -lm -lmingwex  -lreadline
>     -lwsock32 
>     >         -lgclp ../
>     >         >     o/lastfile.o\"#1" \
>     >         >             -e "address@hidden@#\"-O3 \"#1" \
>     >         >             -e "address@hidden@#\"-O\"#1" \
>     >         >             -e "address@hidden@#\"init_pre_gcl.lsp\"#1" 
> >init_pre_gcl.lsp
>     >         >     touch raw_pre_gcl_map
>     >         >     gcc -o raw_pre_gcl.exe ../o/mingwin.o ../o/mingfile.o \
>     >         >             -L.  -Wl,-Map raw_pre_gcl_map ../o/firstfile.o  
> -lpre_gcl -lm -lmingwex 
>     -lreadline
>     >         -lwsock32 
>     >         >     -lgclp ../o/lastfile.o
>     >         >     cp init_pre_gcl.lsp foo
>     >         >     echo " (in-package \"USER\")(system:save-system 
> \"saved_pre_gcl\")" >>foo
>     >         >     /c/_cvs/gcl268pre/unixport/raw_pre_gcl.exe 
> /c/_cvs/gcl268pre/unixport/ -libdir /c/_cvs/
>     >         gcl268pre/ < foo
>     >         >
>     >         >     make[1]: *** [saved_pre_gcl] Error 5
>     >         >     make[1]: Leaving directory `/c/_cvs/gcl268pre/unixport'
>     >         >
>     >         >     make: *** [unixport/saved_pre_gcl] Error 2
>     >         >
>     >         >     _don
>     >         >
>     >         >     On Sat, Jul 17, 2010 at 3:39 PM, Camm Maguire 
> <address@hidden> wrote:
>     >         >
>     >         >         Greetings!  There is a small chance that the change I 
> just committed
>     >         >         to plttest.c will restore the build.
>     >         >
>     >         >         Take care,
>     >         >
>     >         >         Donald Winiecki <address@hidden> writes:
>     >         >
>     >         >         > Bad news Camm.  The same error occurs in the same 
> place when I try to make GCL
>     2.6.8pre
>     >         on my WinXP
>     >         >         machine.
>     >         >         >
>     >         >         > I'll investigate more fully the possibility of 
> giving you ssh access to my Vista
>     machine
>     >         at
>     >         >         school.  This may
>     >         >         > take a few days...
>     >         >         >
>     >         >         > Best wishes,
>     >         >         >
>     >         >         > _don
>     >         >         >
>     >         >         > ~~~~~~~~~~~~~~~~~~~~~~~~~
>     >         >         > Don Winiecki, Ed.D., Ph.D.
>     >         >         > Professor
>     >         >         > Boise State University, College of Engineering
>     >         >         > Department of Instructional & Performance Technology
>     >         >         > 1910 University Drive, Boise, Idaho 83725-2070 USA
>     >         >         > E-mail: address@hidden
>     >         >         > WWW: http://ipt.boisestate.edu
>     >         >         > Telephone: (+01) 208 426 1899
>     >         >         > Fax: (+01) 208 426 1970
>     >         >         > ~~~~~~~~~~~~~~~~~~~~~~~~~
>     >         >         >
>     >         >         > On Fri, Jul 16, 2010 at 5:27 PM, Donald Winiecki 
> <address@hidden> wrote:
>     >         >         >
>     >         >         >     Hi Camm,
>     >         >         >
>     >         >         >     Unfortunately, after some checking, I find the 
> university won't allow that. 
>     I'll try
>     >         building
>     >         >         >     GCL2.6.8pre on my personal WinXP machine to see 
> if the issue is related to
>     Vista.  If
>     >         so, we
>     >         >         can move
>     >         >         >     ahead that way.  If not, I'll paw up through 
> the chain of authority to make
>     way.
>     >         >         >
>     >         >         >     Best,
>     >         >         >
>     >         >         >     _don
>     >         >         >
>     >         >         >     On Fri, Jul 16, 2010 at 1:26 PM, Camm Maguire 
> <address@hidden> wrote:
>     >         >         >
>     >         >         >         Greetings!
>     >         >         >
>     >         >         >         Donald Winiecki <address@hidden> writes:
>     >         >         >
>     >         >         >         > Camm,
>     >         >         >         >
>     >         >         >         > After `configure' of GCL 2.6.8pre for 
> both CLTL1 and ANSI, `make' fails
>     with
>     >         the
>     >         >         following three
>     >         >         >         lines:
>     >         >         >         >
>     >         >         >         > make[1]: *** [saved_pre_gcl] Error 5
>     >         >         >         > make[1]: Leaving directory 
> `/c/_cvs/gcl-2.6.8pre/unixport'
>     >         >         >         > make: *** [unixport/saved_pre_gcl] Error 2
>     >         >         >         >
>     >         >         >         > Unfortunately, using Msys (MinGW32), I 
> can't write a file of the make
>     process,
>     >         so this is
>     >         >         what I
>     >         >         >         have.
>     >         >         >         >
>     >         >         >
>     >         >         >         Sigh ... not good.  I don't suppose you 
> could setup remote ssh access
>     >         >         >         to this box?
>     >         >         >
>     >         >         >         Take care,
>     >         >         >
>     >         >         >         > GCL 2.6.7 configures, makes and installs 
> without drama.
>     >         >         >         >
>     >         >         >         > _don
>     >         >         >         >
>     >         >         >         > On Fri, Jul 16, 2010 at 8:02 AM, Donald 
> Winiecki <
>     address@hidden>
>     >         wrote:
>     >         >         >         >
>     >         >         >         >     Roger doger. Will report back in a 
> few days to a week or so.
>     >         >         >         >
>     >         >         >         >     Best,
>     >         >         >         >
>     >         >         >         >     _don
>     >         >         >         >
>     >         >         >         >     On Thu, Jul 15, 2010 at 9:06 PM, Camm 
> Maguire <address@hidden
>     >
>     >         wrote:
>     >         >         >         >
>     >         >         >         >         Great!  I had to upgade the gmp 
> sources in the stable
>     Version_2_6_8pre
>     >         >         >         >         branch for mac os x.  I think 
> mingw uses the loca sources too.
>      It
>     >         >         >         >         would be great if you could build 
> this branch to ensure all is
>     well,
>     >         >         >         >         both trad and ansi, report the 
> number of ansi-test failures, and
>     build
>     >         >         >         >         maxima,acl2 and axiom.  Of course 
> if only some of this is
>     possible,
>     >         >         >         >         that is great too.  Thanks so 
> much, and please let me know if you
>     run
>     >         >         >         >         into difficulties.
>     >         >         >         >
>     >         >         >         >         Donald Winiecki <address@hidden> 
> writes:
>     >         >         >         >
>     >         >         >         >         > Hi Camm,
>     >         >         >         >         >
>     >         >         >         >         > I can continue building GCL on 
> Windows for the project, so if
>     you get
>     >         there
>     >         >         I'll produce
>     >         >         >         an
>     >         >         >         >         executable for
>     >         >         >         >         > whoever is out there.
>     >         >         >         >         >
>     >         >         >         >         > _don
>     >         >         >         >         >
>     >         >         >         >         > On Thu, Jul 15, 2010 at 11:49 
> AM, Camm Maguire <
>     >         address@hidden> wrote:
>     >         >         >         >         >
>     >         >         >         >         >     Great!  acl2-4.0 test 
> builds are in progress on bbh and the
>     x86
>     >         mac
>     >         >         >         >         >     axiom provides.  One last 
> porting nightmare is windows/
>     mingw, if
>     >         >         >         >         >     anyone still cares/uses 
> this.  I believe you have had a
>     test box
>     >         at
>     >         >         >         >         >     your cite once in the past. 
>  If this support is of interest
>     to
>     >         you and
>     >         >         >         >         >     you could reactivate this 
> machine, please let me know.
>     >         >         >         >         >
>     >         >         >         >         >     Take care,
>     >         >         >         >         >
>     >         >         >         >         >     "David L. Rager" 
> <address@hidden> writes:
>     >         >         >         >         >
>     >         >         >         >         >     > Hi Camm,
>     >         >         >         >         >     >
>     >         >         >         >         >     > Okay, good.  I think for 
> now, if you're happy we're
>     happy.
>     >          Please let
>     >         >         >         >         >     > me know if you need 
> something else.
>     >         >         >         >         >     >
>     >         >         >         >         >     > Thanks,
>     >         >         >         >         >     > David
>     >         >         >         >         >     >
>     >         >         >         >         >     > On Sun, Jul 11, 2010 at 
> 4:37 PM, Camm Maguire <
>     >         address@hidden>
>     >         >         wrote:
>     >         >         >         >         >     >> "David L. Rager" 
> <address@hidden> writes:
>     >         >         >         >         >     >>
>     >         >         >         >         >     >>> Hello Camm,
>     >         >         >         >         >     >>>
>     >         >         >         >         >     >>> Matt was able to grant 
> me root access on bbh earlier
>     today,
>     >         and I was
>     >         >         >         >         >     >>> able install gcc-4.2 
> and g++4.2.  I tested gcc with a
>     simple
>     >         C program
>     >         >         >         >         >     >>> and it worked.  g++ 
> couldn't compile the same program,
>     but
>     >         unless you
>     >         >         >         >         >     >>> actually need g++, I'm 
> okay leaving g++ [potentially]
>     broken.
>     >         >         >         >         >     >>>
>     >         >         >         >         >     >>> which gcc-4.2
>     >         >         >         >         >     >>> ==>
>     >         >         >         >         >     >>> /usr/bin/gcc-4.2
>     >         >         >         >         >     >>>
>     >         >         >         >         >     >>> which g++-4.2
>     >         >         >         >         >     >>> ==>
>     >         >         >         >         >     >>> /usr/bin/g++-4.2
>     >         >         >         >         >     >>>
>     >         >         >         >         >     >>> I didn't install the 
> xcode package, because I think it
>     >         contains
>     >         >         >         >         >     >>> significantly more than 
> we need, and the xcode
>     installer
>     >         wanted a gui
>     >         >         >         >         >     >>> when I tried earlier 
> (which I don't have at the
>     moment).  The
>     >         4.2
>     >         >         >         >         >     >>> version of GCC looks to 
> be the most recent version
>     available
>     >         for OS-X,
>     >         >         >         >         >     >>> or, at least, it was 
> the most recent version that ATT
>     labs
>     >         had
>     >         >         >         >         >     >>> available.  I did go 
> through the process to "become an
>     apple
>     >         >         >         >         >     >>> developer", so if it 
> turns out you'd like the disk
>     image
>     >         necessary to
>     >         >         >         >         >     >>> install xcode, I'll 
> happily send you the 700 megabyte
>     file.
>     >         >         >         >         >     >>>
>     >         >         >         >         >     >>> Please let me know if 
> you need something else.
>     >         >         >         >         >     >>
>     >         >         >         >         >     >> Thank you so much!  I 
> think this suffices.  On ppc, 4.0
>     and
>     >         4.2
>     >         >         >         >         >     >> relocations appear 
> identical so all is good.  However, I
>     >         thought I'd
>     >         >         >         >         >     >> let you know that there 
> was soe problem with the 4.2
>     >         installation on
>     >         >         >         >         >     >> bbh.
>     >         >         >         >         >     >>
>     >         >         >         >         >     >> 1) Cannot compile with 
> -g:
>     >         >         >         >         >     >>
>     >         >         >         >         >     >> bbh:~/ngcl/o camm$ 
> gcc-4.2  -c -mlongcall -g -O2  -Wall
>     -DVOL=
>     >         volatile
>     >         >         >         -fsigned-char -pipe
>     >         >         >         >         -g   -I/
>     >         >         >         >         >     Users/camm/gcl-2.6.8pre/o 
> -I../h -I../gcl-tk plttest.c
>     >         >         >         >         >     >> {standard 
> input}:3:unknown section attribute: debug
>     >         >         >         >         >     >> {standard input}:3:Rest 
> of line ignored. 1st junk
>     character
>     >         valued 76
>     >         >         (L).
>     >         >         >         >         >     >> {standard 
> input}:4:unknown section attribute: debug
>     >         >         >         >         >     >> {standard input}:4:Rest 
> of line ignored. 1st junk
>     character
>     >         valued 76
>     >         >         (L).
>     >         >         >         >         >     >> {standard 
> input}:5:unknown section attribute: debug
>     >         >         >         >         >     >> {standard input}:5:Rest 
> of line ignored. 1st junk
>     character
>     >         valued 76
>     >         >         (L).
>     >         >         >         >         >     >> {standard 
> input}:6:unknown section attribute: debug
>     >         >         >         >         >     >> {standard input}:6:Rest 
> of line ignored. 1st junk
>     character
>     >         valued 76
>     >         >         (L).
>     >         >         >         >         >     >> {standard 
> input}:7:unknown section attribute: debug
>     >         >         >         >         >     >> {standard input}:7:Rest 
> of line ignored. 1st junk
>     character
>     >         valued 76
>     >         >         (L).
>     >         >         >         >         >     >> {standard 
> input}:8:unknown section attribute: debug
>     >         >         >         >         >     >> {standard input}:8:Rest 
> of line ignored. 1st junk
>     character
>     >         valued 76
>     >         >         (L).
>     >         >         >         >         >     >> {standard 
> input}:9:unknown section attribute: debug
>     >         >         >         >         >     >> {standard input}:9:Rest 
> of line ignored. 1st junk
>     character
>     >         valued 76
>     >         >         (L).
>     >         >         >         >         >     >> {standard 
> input}:10:unknown section attribute: debug
>     >         >         >         >         >     >> {standard input}:10:Rest 
> of line ignored. 1st junk
>     character
>     >         valued 76
>     >         >         (L).
>     >         >         >         >         >     >> {standard 
> input}:11:unknown section attribute: debug
>     >         >         >         >         >     >> {standard input}:11:Rest 
> of line ignored. 1st junk
>     character
>     >         valued 76
>     >         >         (L).
>     >         >         >         >         >     >> {standard 
> input}:12:unknown section attribute: debug
>     >         >         >         >         >     >> {standard input}:12:Rest 
> of line ignored. 1st junk
>     character
>     >         valued 76
>     >         >         (L).
>     >         >         >         >         >     >> {standard 
> input}:13:unknown section attribute: debug
>     >         >         >         >         >     >> {standard input}:13:Rest 
> of line ignored. 1st junk
>     character
>     >         valued 76
>     >         >         (L).
>     >         >         >         >         >     >> {standard 
> input}:15:unknown section attribute: debug
>     >         >         >         >         >     >> {standard input}:15:Rest 
> of line ignored. 1st junk
>     character
>     >         valued 76
>     >         >         (L).
>     >         >         >         >         >     >> {standard 
> input}:16:unknown section attribute: debug
>     >         >         >         >         >     >> {standard input}:16:Rest 
> of line ignored. 1st junk
>     character
>     >         valued 76
>     >         >         (L).
>     >         >         >         >         >     >> {standard 
> input}:17:unknown section attribute: debug
>     >         >         >         >         >     >> {standard input}:17:Rest 
> of line ignored. 1st junk
>     character
>     >         valued 76
>     >         >         (L).
>     >         >         >         >         >     >> {standard 
> input}:533:unknown section attribute: debug
>     >         >         >         >         >     >> {standard 
> input}:533:Rest of line ignored. 1st junk
>     character
>     >         valued 76
>     >         >         (L).
>     >         >         >         >         >     >> {standard 
> input}:589:unknown section attribute: debug
>     >         >         >         >         >     >> {standard 
> input}:589:Rest of line ignored. 1st junk
>     character
>     >         valued 76
>     >         >         (L).
>     >         >         >         >         >     >> {standard 
> input}:677:unknown section attribute: debug
>     >         >         >         >         >     >> {standard 
> input}:677:Rest of line ignored. 1st junk
>     character
>     >         valued 32
>     >         >         ( ).
>     >         >         >         >         >     >> {standard 
> input}:1063:Complex expression. Absolute
>     segment
>     >         assumed.
>     >         >         >         >         >     >> {standard 
> input}:1072:Complex expression. Absolute
>     segment
>     >         assumed.
>     >         >         >         >         >     >> {standard 
> input}:1079:Complex expression. Absolute
>     segment
>     >         assumed.
>     >         >         >         >         >     >> {standard 
> input}:1086:Complex expression. Absolute
>     segment
>     >         assumed.
>     >         >         >         >         >     >> {standard 
> input}:1098:Complex expression. Absolute
>     segment
>     >         assumed.
>     >         >         >         >         >     >> {standard 
> input}:1129:Complex expression. Absolute
>     segment
>     >         assumed.
>     >         >         >         >         >     >> {standard 
> input}:1150:unknown section attribute: debug
>     >         >         >         >         >     >> {standard 
> input}:1150:Rest of line ignored. 1st junk
>     character
>     >         valued 32
>     >         >         ( ).
>     >         >         >         >         >     >> {standard 
> input}:1408:unknown section attribute: debug
>     >         >         >         >         >     >> {standard 
> input}:1408:Rest of line ignored. 1st junk
>     character
>     >         valued 32
>     >         >         ( ).
>     >         >         >         >         >     >> {standard 
> input}:1416:unknown section attribute: debug
>     >         >         >         >         >     >> {standard 
> input}:1416:Rest of line ignored. 1st junk
>     character
>     >         valued 32
>     >         >         ( ).
>     >         >         >         >         >     >> {standard 
> input}:1436:unknown section attribute: debug
>     >         >         >         >         >     >> {standard 
> input}:1436:Rest of line ignored. 1st junk
>     character
>     >         valued 32
>     >         >         ( ).
>     >         >         >         >         >     >> {standard 
> input}:1449:unknown section attribute: debug
>     >         >         >         >         >     >> {standard 
> input}:1449:Rest of line ignored. 1st junk
>     character
>     >         valued 32
>     >         >         ( ).
>     >         >         >         >         >     >>
>     >         >         >         >         >     >>
>     >         >         >         >         >     >> 2) Doing the final link 
> with 4.2 apparently brings in a
>     bogus
>     >         execve
>     >         >         >         >         >     >> from libc:
>     >         >         >         >         >     >>
>     >         >         >         >         >     >> gcc-4.2  -o raw_gcl  -L. 
>    -lgcl `echo -lm  -lreadline
>     -lz |
>     >         sed -e 's/
>     >         >         -lncurses/
>     >         >         >         /'` -lc
>     >         >         >         >         -lgclp
>     >         >         >         >         >     >> ...
>     >         >         >         >         >     >>
>     >         >         >         >         >     >> 
> init_darwin_zone_compat(): execv() failed
>     >         >         >         >         >     >> make: *** [saved_gcl] 
> Error 1
>     >         >         >         >         >     >>
>     >         >         >         >         >     >> gcc-4.0  -o raw_gcl  -L. 
>    -lgcl `echo -lm  -lreadline
>     -lz |
>     >         sed -e 's/
>     >         >         -lncurses/
>     >         >         >         /'` -lc
>     >         >         >         >         -lgclp
>     >         >         >         >         >     >>
>     >         >         >         >         >     >> OK
>     >         >         >         >         >     >>
>     >         >         >         >         >     >> I think I've tested this 
> enough to determine what I was
>     >         looking for,
>     >         >         >         >         >     >> so you really don't have 
> to bother any further unless
>     you want
>     >         to.
>     >         >         >         >         >     >> But just a heads up that 
> 4.2 on this box is not useable
>     as is.
>     >         >         >         >         >     >>
>     >         >         >         >         >     >> Take care,
>     >         >         >         >         >     >>
>     >         >         >         >         >     >>>
>     >         >         >         >         >     >>> Thanks!
>     >         >         >         >         >     >>> David
>     >         >         >         >         >     >>>
>     >         >         >         >         >     >>> On Fri, Jul 9, 2010 at 
> 5:31 AM, Camm Maguire <
>     >         address@hidden>
>     >         >         wrote:
>     >         >         >         >         >     >>>> Greetings!
>     >         >         >         >         >     >>>>
>     >         >         >         >         >     >>>> "David L. Rager" 
> <address@hidden> writes:
>     >         >         >         >         >     >>>>
>     >         >         >         >         >     >>>>> Greetings Camm,
>     >         >         >         >         >     >>>>>
>     >         >         >         >         >     >>>>> I just wanted to let 
> you know that I'm looking into
>     >         updating gcc on
>     >         >         >         >         >     >>>>> Matt's mac.  I'm 
> guessing that the current version of
>     gcc
>     >         is too old.
>     >         >         >         >         >     >>>>> It's looking like 
> it'll be a couple hours worth of
>     work
>     >         (and I'm
>     >         >         >         >         >     >>>>> uncertain at the 
> moment whether I'll be able to get
>     it
>     >         done), so I
>     >         >         >         >         >     >>>>> thought I would ask 
> that question first.
>     >         >         >         >         >     >>>>>
>     >         >         >         >         >     >>>>
>     >         >         >         >         >     >>>> The current version 
> works fine.  Its just that I am
>     >         finalizing mac osx
>     >         >         >         >         >     >>>> support for gcl, and 
> on the intel mac at least, the
>     >         relocation records
>     >         >         >         >         >     >>>> output by gcc-4.0 and 
> gcc-4.2 are different.  I think
>     these
>     >         are the
>     >         >         >         >         >     >>>> only two gcc versions 
> supported on mac (can you verify
>     >         this?)  I'd
>     >         >         >         >         >     >>>> just like to ensure 
> that the patch I have will work
>     with
>     >         both versions
>     >         >         >         >         >     >>>> on both cpus to head 
> off future user complaints.
>     >         >         >         >         >     >>>>
>     >         >         >         >         >     >>>> If it is too 
> difficult, we can just forget about it
>     and
>     >         require
>     >         >         >         >         >     >>>> gcc-4.0 only on ppc.  
> On the intel, gcc-4.0 and 4.2
>     can
>     >         coexist -- the
>     >         >         >         >         >     >>>> default compiler is 
> not changed.  Does that simplify
>     >         anything?
>     >         >         >         >         >     >>>>
>     >         >         >         >         >     >>>> Take care,
>     >         >         >         >         >     >>>>
>     >         >         >         >         >     >>>>> Thanks,
>     >         >         >         >         >     >>>>> David
>     >         >         >         >         >     >>>>>
>     >         >         >         >         >     >>>>>> On Thu, Jul 8, 2010 
> at 9:30 PM, Matt Kaufmann <
>     >         >         address@hidden> wrote:
>     >         >         >         >         >     >>>>>>> Hi, David --
>     >         >         >         >         >     >>>>>>>
>     >         >         >         >         >     >>>>>>> Camm Maguire (the 
> GCL "god") just sent me a request
>     (see
>     >         thread
>     >         >         >         >         >     >>>>>>> below).  Would you 
> be willing to help him?  Someone
>     in
>     >         the Tower
>     >         >         has a
>     >         >         >         >         >     >>>>>>> key to my office 
> (probably Robert).  But I don't
>     know if
>     >         you're in
>     >         >         >         >         >     >>>>>>> town, have time, or 
> know how to do this sort of
>     thing.
>     >         >         >         >         >     >>>>>>>
>     >         >         >         >         >     >>>>>>> Xcode might already 
> be installed on bbh, since we
>     do have
>     >         "make" on
>     >         >         >         >         >     >>>>>>> that machine, but 
> I'm not sure.  I don't know
>     anything
>     >         about
>     >         >         >         >         >     >>>>>>> installing gcc on a 
> Mac but maybe the latest
>     version is
>     >         included
>     >         >         with
>     >         >         >         >         >     >>>>>>> Xcode.  It would be 
> good to help Camm, but I know
>     it's
>     >         not on the
>     >         >         path
>     >         >         >         >         >     >>>>>>> to your 
> dissertation....
>     >         >         >         >         >     >>>>>>>
>     >         >         >         >         >     >>>>>>> Feel free to reply 
> directly to Camm, and to CC me
>     if you
>     >         remember
>     >         >         and
>     >         >         >         >         >     >>>>>>> don't mind.  Or if 
> you're not going to do it,
>     please let
>     >         me know
>     >         >         and
>     >         >         >         >         >     >>>>>>> I'll tell him that 
> I can't help him.
>     >         >         >         >         >     >>>>>>>
>     >         >         >         >         >     >>>>>>> Thanks --
>     >         >         >         >         >     >>>>>>> -- Matt
>     >         >         >         >         >     >>>>>>> ------- Start of 
> forwarded message -------
>     >         >         >         >         >     >>>>>>> Date: 8 Jul 2010 
> 14:27:14 -0500
>     >         >         >         >         >     >>>>>>> From: Matt Kaufmann 
> <address@hidden>
>     >         >         >         >         >     >>>>>>> To: address@hidden
>     >         >         >         >         >     >>>>>>> In-reply-to: 
> <address@hidden>
>     (message
>     >         from Camm
>     >         >         Maguire on
>     >         >         >         >         >     >>>>>>>        Thu, 08 Jul 
> 2010 15:18:32 -0400)
>     >         >         >         >         >     >>>>>>> Subject: Re: ACL2 
> Version 4.0
>     >         >         >         >         >     >>>>>>>
>     >         >         >         >         >     >>>>>>> Hi, Camm --
>     >         >         >         >         >     >>>>>>>
>     >         >         >         >         >     >>>>>>> Unfortunately, I'm 
> not in my office -- instead I'm
>     >         packing for a
>     >         >         trip
>     >         >         >         >         >     >>>>>>> to the UK -- 
> leaving tomorrow (Friday) and
>     returning
>     >         September 15.
>     >         >          I
>     >         >         >         >         >     >>>>>>> expect to be 
> connected while I'm away (including
>     email),
>     >         but I
>     >         >         don't
>     >         >         >         >         >     >>>>>>> know how to install 
> stuff on a Mac unless I'm at
>     the
>     >         terminal.
>     >         >         >         >         >     >>>>>>>
>     >         >         >         >         >     >>>>>>> I know someone who 
> might be able to help -- I'll
>     email
>     >         him.
>     >         >         >         >         >     >>>>>>>
>     >         >         >         >         >     >>>>>>> Sorry I can't be 
> more helpful --
>     >         >         >         >         >     >>>>>>> - -- Matt
>     >         >         >         >         >     >>>>>>>   From: Camm 
> Maguire <address@hidden>
>     >         >         >         >         >     >>>>>>>   Date: Thu, 08 Jul 
> 2010 15:18:32 -0400
>     >         >         >         >         >     >>>>>>>   X-MagicMail-UUID:
>     efd06ae4-8ac5-11df-9e93-000c29c6406d
>     >         >         >         >         >     >>>>>>>   
> X-SpamAssassin-Status: No, hits=-2.6 required=5.0
>     >         >         >         >         >     >>>>>>>   
> X-UTCS-Spam-Status: No, hits=-272 required=165
>     >         >         >         >         >     >>>>>>>
>     >         >         >         >         >     >>>>>>>   Greetings again!  
> One last item -- could you look
>     into
>     >         perhaps
>     >         >         >         >         >     >>>>>>>   installing the 
> latest gcc available for your ppc
>     mac?
>     >          I think at
>     >         >         >         >         >     >>>>>>>   least 4.2 should 
> be in 'xcode', whatever that is.
>     >         >         >         >         >     >>>>>>>
>     >         >         >         >         >     >>>>>>>   Thanks!
>     >         >         >         >         >     >>>>>>>   --
>     >         >         >         >         >     >>>>>>>   Camm Maguire      
>                               
>     >         >         address@hidden
>     >         >         >         >         >     >>>>>>>   
> =================================================
>     ======
>     >         ==========
>     >         >         =========
>     >         >         >         >         >     >>>>>>>   "The earth is but 
> one country, and mankind its
>     >         citizens."  --
>     >         >          Baha'u'llah
>     >         >         >         >         >     >>>>>>> ------- End of 
> forwarded message -------
>     >         >         >         >         >     >>>>>>>
>     >         >         >         >         >     >>>>>>
>     >         >         >         >         >     >>>>>
>     >         >         >         >         >     >>>>>
>     >         >         >         >         >     >>>>>
>     >         >         >         >         >     >>>>>
>     >         >         >         >         >     >>>>
>     >         >         >         >         >     >>>> --
>     >         >         >         >         >     >>>> Camm Maguire           
>                              
>     >         >         address@hidden
>     >         >         >         >         >     >>>> 
> ======================================================
>     ======
>     >         ==========
>     >         >         ====
>     >         >         >         >         >     >>>> "The earth is but one 
> country, and mankind its
>     citizens."
>     >          --
>     >         >          Baha'u'llah
>     >         >         >         >         >     >>>>
>     >         >         >         >         >     >>>
>     >         >         >         >         >     >>>
>     >         >         >         >         >     >>>
>     >         >         >         >         >     >>>
>     >         >         >         >         >     >>
>     >         >         >         >         >     >> --
>     >         >         >         >         >     >> Camm Maguire             
>                            
>     >         >         address@hidden
>     >         >         >         >         >     >> 
> ========================================================
>     ======
>     >         ==========
>     >         >         ==
>     >         >         >         >         >     >> "The earth is but one 
> country, and mankind its
>     citizens."  --
>     >         >          Baha'u'llah
>     >         >         >         >         >     >>
>     >         >         >         >         >     >
>     >         >         >         >         >     >
>     >         >         >         >         >     >
>     >         >         >         >         >     >
>     >         >         >         >         >
>     >         >         >         >         >     --
>     >         >         >         >         >     Camm Maguire                
>                         
>     >         address@hidden
>     >         >         >         >         >     
> ===========================================================
>     ======
>     >         =========
>     >         >         >         >         >     "The earth is but one 
> country, and mankind its citizens."
>      --
>     >          Baha'u'llah
>     >         >         >         >         >
>     >         >         >         >         >     
> _______________________________________________
>     >         >         >         >         >     Gcl-devel mailing list
>     >         >         >         >         >     address@hidden
>     >         >         >         >         >     
> http://lists.gnu.org/mailman/listinfo/gcl-devel
>     >         >         >         >         >
>     >         >         >         >
>     >         >         >         >         --
>     >         >         >         >         Camm Maguire                      
>                   
>     >         address@hidden
>     >         >         >         >         
> =================================================================
>     ======
>     >         ===
>     >         >         >         >         "The earth is but one country, 
> and mankind its citizens."  --
>     >          Baha'u'llah
>     >         >         >         >
>     >         >         >
>     >         >         >         --
>     >         >         >         Camm Maguire                                
>        address@hidden
>     >         >         >         
> ==========================================================================
>     >         >         >         "The earth is but one country, and mankind 
> its citizens."  --  Baha'u'llah
>     >         >         >
>     >         >
>     >         >         --
>     >         >         Camm Maguire                                       
> address@hidden
>     >         >         
> ==========================================================================
>     >         >         "The earth is but one country, and mankind its 
> citizens."  --  Baha'u'llah
>     >         >
>     >
>     >         --
>     >         Camm Maguire                                       
> address@hidden
>     >         
> ==========================================================================
>     >         "The earth is but one country, and mankind its citizens."  --  
> Baha'u'llah
>     >
>    
>     --
>     Camm Maguire                                       address@hidden
>     ==========================================================================
>     "The earth is but one country, and mankind its citizens."  --  Baha'u'llah
>

-- 
Camm Maguire                                        address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah



reply via email to

[Prev in Thread] Current Thread [Next in Thread]