Hi Ralf,

I experimented a bit, ....

I have compiled lang.as by hand and put it into the library path of aldor.
After that the compilation goes further, but stucks again, now claiming that
some imports are missing (in minimach I guess). Since I have no idea
what to do about this, I stop here for today.

conclusion is:
* fricas-trunc does not compile for me with aldor enabeled
* something is wrong with the generation of lang.as
* even if lang.as is present, the compilation of minimach fails
:-((

Ciao
BF.


-- 
% PD Dr Bertfried Fauser
%       Research Fellow, School of Computer Science, Univ. of Birmingham
%       Honorary Associate, University of Tasmania
%       Privat Docent: University of Konstanz, Physics Dept
<http://www.uni-konstanz.de>
% contact |->    URL : http://clifford.physik.uni-konstanz.de/~fauser/
%              Phone : +49 1520 9874517

Added  28 pages and/or macros from XPOLY.pht
Added  30 pages and/or macros from XPR.pht
Added  56 pages and/or macros from ZDSOLVE.pht
Added  16 pages and/or macros from ZLINDEP.pht
make[2]: Leaving directory `/home/fauser/fricas-trunk/build-dir/src/paste'
cd aldor && make
make[2]: Entering directory `/home/fauser/fricas-trunk/build-dir/src/aldor'
make -f Makefile2 aldor_srcs="lang minimach boolean0 attrib axextend
axlit subsetc" GENAX="../../../src/aldor/gendepap.lsp"
make[3]: Entering directory `/home/fauser/fricas-trunk/build-dir/src/aldor'
mkdir -p ao
touch -t 199901010000 ao/.dir
aldor  -Y al -L AxiomLib=axiom_minimach -fao=ao/minimach.ao ap/minimach.ap

#4 (Error) The domain is missing some exports.

"ap/minimach.ap", line 2:
  (|Import| () |Language|)
...............^
[L2 C16] #1 (Error) No meaning for identifier `Language'.

"ap/minimach.ap", line 10:
          (|Declare| |Bool| |Type|)
............................^
[L10 C29] #2 (Error) No meaning for identifier `Type'.

"ap/minimach.ap", line 26:
        (|Define| (|Declare| |Bool| |Type|) (|Add| () ()))
....................................^
[L26 C37] #3 (Error) No meaning for identifier `Type'.
[L26 C37] #11 (Fatal Error) Too many errors (use `-M emax=n' or `-M
no-emax' to change the limit).

make[3]: *** [ao/minimach.ao] Error 1
rm ao/.dir
make[3]: Leaving directory `/home/fauser/fricas-trunk/build-dir/src/aldor'
make[2]: *** [al/libaxiom.al] Error 2
make[2]: Leaving directory `/home/fauser/fricas-trunk/build-dir/src/aldor'
make[1]: *** [all-aldor] Error 2
make[1]: Leaving directory `/home/fauser/fricas-trunk/build-dir/src'
make: *** [all-src] Error 2
fau...@moby:~/fricas-trunk/build-dir>

--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to 
[email protected]
For more options, visit this group at 
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to