[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Using Aldor compiler from within Axiom on amd64
From: |
Christian Aistleitner |
Subject: |
[Axiom-developer] Using Aldor compiler from within Axiom on amd64 |
Date: |
Thu, 04 Jan 2007 13:04:14 +0100 |
User-agent: |
Opera Mail/9.10 (Linux) |
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
- [Axiom-developer] Using Aldor compiler from within Axiom on amd64,
Christian Aistleitner <=