[Gcl-devel] Re: GCL on Zaurus Debian - segmentation violation

[Camm Maguire]

Greetings!  Great to see your looking into this!

This has got to be a libc version dependency issue.  The author of
http://pocketworkstation.org/ appears to be putting together his own
Debian snapshots.  But if you apt-get upgrade to the standard Debian
distribution, all that should be taken care of.  Perhaps you could
send your /etc/apt/sources.list, and 'dpkg -l |grep libc'.  5.9.1-2 is
not a recognizable gcl version.  You are correct in stating that axiom
had to run (at least the regression suite) to be in Debian at all.
You can see the full results at:

http://buildd.debian.org/fetch.php?&pkg=axiom&ver=0.20040831-1&arch=arm&stamp=1094488923&file=log&as=raw

This was built using:

Toolchain package versions: libc6-dev_2.3.2.ds1-13 gcc-3.3_1:3.3.4-7 
g++-3.3_1:3.3.4-7 binutils_2.15-2 libstdc++5_1:3.3.4-7 
libstdc++5-3.3-dev_1:3.3.4-7

and generated dependencies:

 Depends: libc6 (>= 2.3.2.ds1-4), libgmp3, libncurses5 (>= 5.4-1), libreadline4 
(>= 4.3-1), axiom-databases (= 0.20040831-1)


Please make sure these match your system (which should be automatic
when using apt, but there may be something residual from
'pocketworkstation') 

There are also some known bugs listed on the webpage -- none of these
are applicable I assume.

I've just double checked the general integrity of the arm binary.
(ran in both the 'testing' and 'unstable' chroot environments, which
is a requirement, of course) Here is a sample session in case this
helps:

=============================================================================
address@hidden:~$ dchroot unstable
dchroot unstable
Executing shell in chroot: /org/debussy.debian.org/chroot/unstable
address@hidden:~$ wget 
ftp://ftp.debian.org/debian/pool/main/a/axiom/ax*831*arm*b
<ftp.debian.org/debian/pool/main/a/axiom/ax*831*arm*b
--21:02:03--  ftp://ftp.debian.org/debian/pool/main/a/axiom/ax*831*arm*b
           => `.listing'
Resolving ftp.debian.org... 208.185.25.35, 128.101.80.131
Connecting to ftp.debian.org[208.185.25.35]:21... connected.
Logging in as anonymous ... Logged in!
==> SYST ... done.    ==> PWD ... done.
==> TYPE I ... done.  ==> CWD /debian/pool/main/a/axiom ... done.
==> PASV ... done.    ==> LIST ... done.

    [ <=>                                 ] 1,641         --.--K/s             

21:02:04 (1.20 MB/s) - `.listing' saved [1641]

Removed `.listing'.
--21:02:04--  
ftp://ftp.debian.org/debian/pool/main/a/axiom/axiom_0.20040831-1_arm.deb
           => `axiom_0.20040831-1_arm.deb'
==> CWD not required.
==> PASV ... done.    ==> RETR axiom_0.20040831-1_arm.deb ... done.
Length: 13,927,948

100%[====================================>] 13,927,948   373.43K/s    ETA 00:00

21:02:50 (303.67 KB/s) - `axiom_0.20040831-1_arm.deb' saved [13927948]

address@hidden:~$ wget 
ftp://ftp.debian.org/debian/pool/main/a/axiom/ax*831*data*all*b
<ftp.debian.org/debian/pool/main/a/axiom/ax*831*data*all*b
--21:04:58--  ftp://ftp.debian.org/debian/pool/main/a/axiom/ax*831*data*all*b
           => `.listing'
Resolving ftp.debian.org... 128.101.80.131, 208.185.25.35
Connecting to ftp.debian.org[128.101.80.131]:21... connected.
Logging in as anonymous ... Logged in!
==> SYST ... done.    ==> PWD ... done.
==> TYPE I ... done.  ==> CWD /debian/pool/main/a/axiom ... done.
==> PASV ... done.    ==> LIST ... done.

    [ <=>                                 ] 1,641         --.--K/s             

21:05:00 (12.23 KB/s) - `.listing' saved [1641]

Removed `.listing'.
No matches on pattern `ax*831*data*all*b'.
address@hidden:~$ wget 
ftp://ftp.debian.org/debian/pool/main/a/axiom/ax*831*data*b
<ftp.debian.org/debian/pool/main/a/axiom/ax*831*data*b
--21:05:25--  ftp://ftp.debian.org/debian/pool/main/a/axiom/ax*831*data*b
           => `.listing'
Resolving ftp.debian.org... 208.185.25.35, 128.101.80.131
Connecting to ftp.debian.org[208.185.25.35]:21... connected.
Logging in as anonymous ... Logged in!
==> SYST ... done.    ==> PWD ... done.
==> TYPE I ... done.  ==> CWD /debian/pool/main/a/axiom ... done.
==> PASV ... done.    ==> LIST ... done.

    [ <=>                                 ] 1,641         --.--K/s             

21:05:26 (1.59 MB/s) - `.listing' saved [1641]

Removed `.listing'.
No matches on pattern `ax*831*data*b'.
address@hidden:~$ wget 
ftp://ftp.debian.org/debian/pool/main/a/axiom/ax*data*831*all*b
<ftp.debian.org/debian/pool/main/a/axiom/ax*data*831*all*b
--21:05:38--  ftp://ftp.debian.org/debian/pool/main/a/axiom/ax*data*831*all*b
           => `.listing'
Resolving ftp.debian.org... 128.101.80.131, 208.185.25.35
Connecting to ftp.debian.org[128.101.80.131]:21... connected.
Logging in as anonymous ... Logged in!
==> SYST ... done.    ==> PWD ... done.
==> TYPE I ... done.  ==> CWD /debian/pool/main/a/axiom ... done.
==> PASV ... done.    ==> LIST ... done.

    [ <=>                                 ] 1,641         --.--K/s             

21:05:41 (11.83 KB/s) - `.listing' saved [1641]

Removed `.listing'.
--21:05:41--  
ftp://ftp.debian.org/debian/pool/main/a/axiom/axiom-databases_0.20040831-1_all.deb
           => `axiom-databases_0.20040831-1_all.deb'
==> CWD not required.
==> PASV ... done.    ==> RETR axiom-databases_0.20040831-1_all.deb ... done.
Length: 988,742

100%[====================================>] 988,742      173.32K/s    ETA 00:00

21:05:47 (166.76 KB/s) - `axiom-databases_0.20040831-1_all.deb' saved [988742]

address@hidden:~$ dpkg --fsys-tarfile axiom-databases_0.20040831-1_all.deb | 
tar xf -
<-tarfile axiom-databases_0.20040831-1_all.deb | tar xf -
address@hidden:~$ dpkg --fsys-tarfile axiom_0.20040831-1_arm.deb | tar xf -
dpkg --fsys-tarfile axiom_0.20040831-1_arm.deb | tar xf -
which dchroot
which dchroot
address@hidden:~$ which dchroot
address@hidden:~$ cd usr/lib/ax*
pwd
cd usr/lib/ax*
address@hidden:~/usr/lib/axiom-0.20040831$ pwd
/home/camm/usr/lib/axiom-0.20040831
address@hidden:~/usr/lib/axiom-0.20040831$ export AXIOM=$(pwd)
export AXIOM=$(pwd)
address@hidden:~/usr/lib/axiom-0.20040831$ bin/AXIOMsys
bin/AXIOMsys
bin/AXIOMsys: error while loading shared libraries: libgmp.so.3: cannot open 
shared object file: No such file or directory
address@hidden:~/usr/lib/axiom-0.20040831$ export LD_LIBRARY_PATH=$HOME/usr/lib
export LD_LIBRARY_PATH=$HOME/usr/lib
address@hidden:~/usr/lib/axiom-0.20040831$ bin/AXIOMsys
bin/AXIOMsys
bin/AXIOMsys: error while loading shared libraries: libgmp.so.3: cannot open 
shared object file: No such file or directory
address@hidden:~/usr/lib/axiom-0.20040831$ cd
cd
address@hidden:~$ wget 
ftp://ftp.debian.org/debian/pool/main/l/libgmp3/libgmp3*arm*b
<ftp.debian.org/debian/pool/main/l/libgmp3/libgmp3*arm*b
--21:08:31--  ftp://ftp.debian.org/debian/pool/main/l/libgmp3/libgmp3*arm*b
           => `.listing'
Resolving ftp.debian.org... 208.185.25.35, 128.101.80.131
Connecting to ftp.debian.org[208.185.25.35]:21... connected.
Logging in as anonymous ... Logged in!
==> SYST ... done.    ==> PWD ... done.
==> TYPE I ... done.  ==> CWD /debian/pool/main/l/libgmp3 ... 
No such directory `debian/pool/main/l/libgmp3'.

unlink: No such file or directory
address@hidden:~$ wget 
ftp://ftp.debian.org/debian/pool/main/g/gmp3/libgmp3*arm*b
<ftp.debian.org/debian/pool/main/g/gmp3/libgmp3*arm*b
--21:08:49--  ftp://ftp.debian.org/debian/pool/main/g/gmp3/libgmp3*arm*b
           => `.listing'
Resolving ftp.debian.org... 208.185.25.35, 128.101.80.131
Connecting to ftp.debian.org[208.185.25.35]:21... connected.
Logging in as anonymous ... Logged in!
==> SYST ... done.    ==> PWD ... done.
==> TYPE I ... done.  ==> CWD /debian/pool/main/g/gmp3 ... 
No such directory `debian/pool/main/g/gmp3'.

unlink: No such file or directory
address@hidden:~$ wget 
ftp://ftp.debian.org/debian/pool/main/l/libg/libgmp3/libgmp3*arm*b
<ftp.debian.org/debian/pool/main/l/libg/libgmp3/libgmp3*arm*b
--21:09:24--  ftp://ftp.debian.org/debian/pool/main/l/libg/libgmp3/libgmp3*arm*b
           => `.listing'
Resolving ftp.debian.org... 208.185.25.35, 128.101.80.131
Connecting to ftp.debian.org[208.185.25.35]:21... connected.
Logging in as anonymous ... Logged in!
==> SYST ... done.    ==> PWD ... done.
==> TYPE I ... done.  ==> CWD /debian/pool/main/l/libg/libgmp3 ... 
No such directory `debian/pool/main/l/libg/libgmp3'.

unlink: No such file or directory
address@hidden:~$ wget 
ftp://ftp.debian.org/debian/pool/main/libg/libgmp3/libgmp3*arm*b
<ftp.debian.org/debian/pool/main/libg/libgmp3/libgmp3*arm*b
--21:09:37--  ftp://ftp.debian.org/debian/pool/main/libg/libgmp3/libgmp3*arm*b
           => `.listing'
Resolving ftp.debian.org... 208.185.25.35, 128.101.80.131
Connecting to ftp.debian.org[208.185.25.35]:21... connected.
Logging in as anonymous ... Logged in!
==> SYST ... done.    ==> PWD ... done.
==> TYPE I ... done.  ==> CWD /debian/pool/main/libg/libgmp3 ... done.
==> PASV ... done.    ==> LIST ... done.

    [ <=>                                 ] 2,186         --.--K/s             

21:09:39 (586.31 KB/s) - `.listing' saved [2186]

Removed `.listing'.
--21:09:39--  
ftp://ftp.debian.org/debian/pool/main/libg/libgmp3/libgmp3-dev_4.0.1-3_arm.deb
           => `libgmp3-dev_4.0.1-3_arm.deb'
==> CWD not required.
==> PASV ... done.    ==> RETR libgmp3-dev_4.0.1-3_arm.deb ... done.
Length: 362,320

100%[====================================>] 362,320      292.44K/s             

21:09:41 (291.56 KB/s) - `libgmp3-dev_4.0.1-3_arm.deb' saved [362320]

--21:09:41--  
ftp://ftp.debian.org/debian/pool/main/libg/libgmp3/libgmp3_4.0.1-3_arm.deb
           => `libgmp3_4.0.1-3_arm.deb'
==> CWD not required.
==> PASV ... done.    ==> RETR libgmp3_4.0.1-3_arm.deb ... done.
Length: 256,118

100%[====================================>] 256,118      272.84K/s             

21:09:42 (272.44 KB/s) - `libgmp3_4.0.1-3_arm.deb' saved [256118]

address@hidden:~$ dpkg --fsys-tarfile libgmp3_4.0.1-3_arm.deb | tar xf -
dpkg --fsys-tarfile libgmp3_4.0.1-3_arm.deb | tar xf -
address@hidden:~$ cd usr/lib/ax*
cd usr/lib/ax*
address@hidden:~/usr/lib/axiom-0.20040831$ bin/AXIOMsys
bin/AXIOMsys
GCL (GNU Common Lisp)  2.6.5 CLtL1    Aug 26 2004 04:02:40
Source License: LGPL(gcl,gmp), GPL(unexec,bfd)
Binary License:  GPL due to GPL'ed components: (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.
                        AXIOM Computer Algebra System 
             Version of Saturday September 4, 2004 at 23:23:53 
-----------------------------------------------------------------------------
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave AXIOM and return to shell.
-----------------------------------------------------------------------------
 
   Re-reading compress.daase   Re-reading interp.daase
   Re-reading operation.daase
   Re-reading category.daase
   Re-reading browse.daase
(1) -> )quit
)quit
   Please enter y or yes if you really want to leave the interactive 
      environment and return to the operating system:
y
y
address@hidden:~/usr/lib/axiom-0.20040831$ cat /proc/cpuinfo
cat /proc/cpuinfo
Processor       : StrongARM-110 rev 3 (v4l)
BogoMIPS        : 185.95
Features        : swp half 26bit fastmult 

Hardware        : Rebel-NetWinder
Revision        : 52ff
Serial          : 0000000000000c5c
address@hidden:~/usr/lib/axiom-0.20040831$ dpkg -l |grep libc
dpkg -l |grep libc
ii  libc6          2.3.2.ds1-17   GNU C Library: Shared libraries and Timezone
ii  libc6-dev      2.3.2.ds1-17   GNU C Library: Development Libraries and Hea
ii  libcap1        1.10-14        support for getting/setting POSIX.1e capabil
ii  libcomerr2     1.35-8         The Common Error Description library
ii  libconsole     0.2.3dbs-55    Shared libraries for Linux console and font 
ii  libcupsys2-dev 1.1.20final+rc Common UNIX Printing System(tm) - developmen
ii  libcupsys2-gnu 1.1.20final+rc Common UNIX Printing System(tm) - libs
ii  libdb1-compat  2.1.3-7        The Berkeley database routines [glibc 2.0/2.
ii  liblocale-gett 1.01-17        Using libc functions for internationalizatio
address@hidden:~/usr/lib/axiom-0.20040831$ 
=============================================================================

Take care, and please keep me posted.

"Page, Bill" <address@hidden> writes:

> Camm,
> 
> Do you know of any successful reports of GCL on Debian Arm,
> in particular with Debian on Zaurus?
> 
> Recently I have managed to install native debian on the
> Zaurus SL-6000. Following the recipes at
> 
>   http://pocketworkstation.org/ 
> 
> and 
> 
>  
> http://www.zaurususergroup.com/modules.php?op=modload&name=phpWiki&file=inde
> x&pagename=Debian%20on%20the%20Zaurus! 
> 
> Debian seems to run great including apt-get etc. although
> I do have a problem with the X-windows Fbvnc thing. See
> 
>   http://externe.net/zaurus/forum/viewtopic.php?t=1473
> 
> Of course the first thing I though of after getting apt-get
> running was to install axiom. This went thru fine (takes
> a fairly long time - about 2 hours) and seems to complete
> normally. BUT when I tried to start axiom it aborted immediately
> with a "Segmentation violation". Most other Debian arm
> applications however seem to run fine. So I thought I would
> try gcl itself. After a little rearranging of the limited
> space on the Zaurus SD card, I managed to apt-get install
> gcl. But :( it also seg faults on startup. Then I noticed
> that when I searched for Debian packages via the web, there
> is a version 5.9.1-2 for debian arm. Unfortunately it also
> seg faults. So, in desperation I thought I might try maxima...
> seg fault. Then I noticed that pocketworkstation.org had a
> slightly older version of maxima_5.9.0-27_arm.deb
> (apt-get install found version-28) as the current. But it
> seems that version-27 was built using clisp ... <sigh>. So,
> apt-get install clisp. Surprize! clisp works fine (+ 1 1).
> And downloading the maxima version-27 from pocketworkstation
> and running dpkg --install works! 1+1; So I am +2 for clisp
> and maxima but zip for gcl and axiom :(
> 
> Can you suggest what I might try next? If GCL really does
> work on arm (I presume it does work on some arm system or
> it wouldn't be in the debian archive at all, right?) What
> could be wrong with the Zaurus configuration? Could there
> be some library dependency that apt-get is not resolving
> properly?
> 
> Regards,
> Bill Page.
> 
> 
> 

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