[Axiom-developer] Using Aldor compiler from within Axiom on amd64

[Christian Aistleitner]

Dear list,

I installed the binary Axiom+Aldor package from
http://wiki.axiom-developer.org/Mirrors?go=/public/axiom-aldor-20060621.tgz&it=Axiom+with+Aldor+binary
according to the instructions on
http://wiki.axiom-developer.org/AxiomBinaries
on my gentoo amd64 system.

Compiling the following short snippet (as test.as)

#include "axiom"

f():OutputForm == {
  import from Integer;
  outputForm 1;
}

within Axiom, gives no error. But when calling the function f after  
compilation, I get

> > System error:
   Unknown bfd format

. How can I get Axiom to run code that got compiled from within Axiom  
using the Aldor compiler?




Let me now give you more details about the setup:

I know the downloaded file is a 32bit binary, but I have the appropriate  
32bit libraries installed on my system:

____________________________________________
address@hidden
cwd: ~/axiom
ldd /home/tmgisi/axiomaldor/axiom/mnt/linux/bin/AXIOMsys
        linux-gate.so.1 =>  (0xffffe000)
        libm.so.6 => /lib32/libm.so.6 (0xf7ec5000)
        libgmp.so.3 => /lib32/libgmp.so.3 (0xf7e90000)
        libreadline.so.4 => /emul/linux/x86/lib/libreadline.so.4  
(0xf7e64000)
        libncurses.so.5 => /emul/linux/x86/lib/libncurses.so.5 (0xf7e23000)
        libc.so.6 => /lib32/libc.so.6 (0xf7cfa000)
        /lib/ld-linux.so.2 (0xf7f0e000)
        libgpm.so.1 => /emul/linux/x86/lib/libgpm.so.1 (0xf7cf4000)

.

The binary has been unpacked to
/home/tmgisi/axiomaldor/
and the setup followed the instruction on the web page mentioned above

____________________________________________
address@hidden
cwd: ~/axiom
export AXIOM=/home/tmgisi/axiomaldor/axiom/mnt/linux

____________________________________________
address@hidden
cwd: ~/axiom
export PATH=$AXIOM/bin:$PATH

____________________________________________
address@hidden
cwd: ~/axiom
export ALDORROOT=/home/tmgisi/axiomaldor/aldor/linux/1.0.2

____________________________________________
address@hidden
cwd: ~/axiom
export PATH=$ALDORROOT/bin:$PATH

____________________________________________
address@hidden
cwd: ~/axiom
cat test.as
#include "axiom"

f():OutputForm == {
  import from Integer;
  outputForm 1;
}

____________________________________________
address@hidden
cwd: ~/axiom
AXIOMsys
                        AXIOM Computer Algebra System
                         Version: Axiom (April 2006)
               Timestamp: Wednesday June 21, 2006 at 03:45:56
-----------------------------------------------------------------------------
   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) -> )co test.as
   Compiling AXIOM source code from file test.as using AXIOM-XL
      compiler and options
-O -Fasy -Fao -Flsp -laxiom -Mno-AXL_W_WillObsolete -DAxiom -Y  
$AXIOM/algebra
      Use the system command )set compiler args to change these
      options.
#1 (Warning) Deprecated message prefix: use `ALDOR_' instead of `_AXL'
   Compiling Lisp source code from file ./test.lsp
   Issuing )library command for test
   Reading /home/tmgisi/axiom/test.asy
   Loading /home/tmgisi/axiomaldor/axiom/mnt/linux/autoload/bc-matrix.
   Loading /home/tmgisi/axiomaldor/axiom/mnt/linux/autoload/bc-misc.
   Loading /home/tmgisi/axiomaldor/axiom/mnt/linux/autoload/bc-solve.
   Loading /home/tmgisi/axiomaldor/axiom/mnt/linux/autoload/bc-util.
   Loading /home/tmgisi/axiomaldor/axiom/mnt/linux/autoload/ht-util.
   Loading /home/tmgisi/axiomaldor/axiom/mnt/linux/autoload/htsetvar.
   Loading /home/tmgisi/axiomaldor/axiom/mnt/linux/autoload/ht-root.
   Loading /home/tmgisi/axiomaldor/axiom/mnt/linux/autoload/br-con.
   Loading /home/tmgisi/axiomaldor/axiom/mnt/linux/autoload/br-data.
   Loading /home/tmgisi/axiomaldor/axiom/mnt/linux/autoload/showimp.
   Loading /home/tmgisi/axiomaldor/axiom/mnt/linux/autoload/br-op1.
   Loading /home/tmgisi/axiomaldor/axiom/mnt/linux/autoload/br-op2.
   Loading /home/tmgisi/axiomaldor/axiom/mnt/linux/autoload/br-search.
   Loading /home/tmgisi/axiomaldor/axiom/mnt/linux/autoload/br-util.
   Loading /home/tmgisi/axiomaldor/axiom/mnt/linux/autoload/topics.
   Loading /home/tmgisi/axiomaldor/axiom/mnt/linux/autoload/br-prof.
   Loading /home/tmgisi/axiomaldor/axiom/mnt/linux/autoload/br-saturn.
(1) -> f()

   >> System error:
   Unknown bfd format

(1) -> )quit
   Please enter y or yes if you really want to leave the interactive
      environment and return to the operating system:
y

Kind regards,
Christian Aistleitner