Partial success!
It seems that the different binding of "not" for bootsys and depsys
caused an error described by Bill Page in a private mail from 30-Jul-2011.
The attached patch fixes the problem in the libaxiom.al build.
This kind of error is gone after applying the patch.
(Message Preview)
"ap/init_FR.ap", line 5:
(|Apply| -> (|Declare| T |IntegralDomain|) |IntegralDomain|))
............................^
[L5 C29] #1 (Error) No meaning for identifier `IntegralDomain'.
(Message Preview)
"ap/init_FR.ap", line 5:
(|Apply| -> (|Declare| T |IntegralDomain|) |IntegralDomain|))
............................^
[L5 C29] #2 (Error) No meaning for identifier `IntegralDomain'.
"ap/init_FR.ap", line 5:
(|Apply| -> (|Declare| T |IntegralDomain|) |IntegralDomain|))
............................^
[L5 C29] #1 (Error) No meaning for identifier `IntegralDomain'.
make[1]: *** [ao/init_FR.ao] Error 2
make[1]: *** Waiting for unfinished jobs....
Unfortunately, there is another problem now. FriCAS (trunk+patch)
compiles fine, but the build of libaxiom.al still fails.
FriCAS r1037+patch is compiling fine (including libaxiom.al).
Looks like I have to run another git bisect. :-(
Ralf
ar: creating al/libaxiom_A1AGG.al
aldor -Wname=axiom -Mno-abbrev -Mpreview -Y al -L AxiomLib=axiom_A1AGG
-fao=ao/A1AGG.ao ap/A1AGG.ap
(Message Preview)
#1 (Error) Argument 1 of `Matrix' did not match any possible parameter type.
The rejected type is Join(SemiRng, AbelianMonoid) with .
Expected type Ring.
(Message Preview)
#2 (Error) Argument 1 of `Matrix' did not match any possible parameter type.
The rejected type is Join(SemiRng, AbelianMonoid) with .
Expected type Ring.
(Message Preview)
#3 (Error) Argument 1 of `Matrix' did not match any possible parameter type.
The rejected type is Join(SemiRng, AbelianMonoid) with .
Expected type Ring.
(Message Preview)
#4 (Error) Argument 1 of `Record' did not match any possible parameter type.
Expected type Type.
(Message Preview)
#5 (Error) Argument 1 of `Record' did not match any possible parameter type.
Expected type Type.
(Message Preview)
#6 (Error) Argument 1 of `Matrix' did not match any possible parameter type.
The rejected type is Join(SemiRng, AbelianMonoid) with .
Expected type Ring.
(Message Preview)
#7 (Error) Argument 1 of `Matrix' did not match any possible parameter type.
The rejected type is Join(SemiRng, AbelianMonoid) with .
Expected type Ring.
(Message Preview)
#8 (Error) Argument 1 of `Matrix' did not match any possible parameter type.
The rejected type is Join(SemiRng, AbelianMonoid) with .
Expected type Ring.
(Message Preview)
#9 (Error) Argument 1 of `Matrix' did not match any possible parameter type.
The rejected type is Join(SemiRng, AbelianMonoid) with .
Expected type Ring.
(Message Preview)
#10 (Error) Argument 1 of `Matrix' did not match any possible parameter
type.
The rejected type is Join(SemiRng, AbelianMonoid) with .
Expected type Ring.
(Message Preview)
#11 (Fatal Error) Too many errors (use `-M emax=n' or `-M no-emax' to
change the limit).
#1 (Error) Argument 1 of `Matrix' did not match any possible parameter type.
The rejected type is Join(SemiRng, AbelianMonoid) with .
Expected type Ring.
#4 (Error) Argument 1 of `Record' did not match any possible parameter type.
Expected type Type.
#6 (Error) Argument 1 of `Matrix' did not match any possible parameter type.
The rejected type is Join(SemiRng, AbelianMonoid) with .
Expected type Ring.
#11 (Fatal Error) Too many errors (use `-M emax=n' or `-M no-emax' to
change the limit).
make[1]: *** [ao/A1AGG.ao] Error 1
rm ao/.dir
make[1]: Leaving directory `/home/hemmecke/gg/f/build/src/aldor'
make: *** [al/libaxiom.al] Error 2
--
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.
>From c636b491542be325b189793ae83a556c93d536a2 Mon Sep 17 00:00:00 2001
From: Ralf Hemmecke <[email protected]>
Date: Sun, 16 Oct 2011 11:09:50 +0200
Subject: fix "not" precedence in ax.boot
---
src/interp/ax.boot | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/src/interp/ax.boot b/src/interp/ax.boot
index 9e950e8..7771c81 100644
--- a/src/interp/ax.boot
+++ b/src/interp/ax.boot
@@ -60,7 +60,7 @@ makeAxExportForm(filename, constructors) ==
axForms :=
[modemapToAx(modemap) for cname in constructors |
(modemap:=GETDATABASE(cname,'CONSTRUCTORMODEMAP)) and
- (not cname in '(Tuple Exit Type)) and
+ (not (cname in '(Tuple Exit Type))) and
not isDefaultPackageName cname]
if $baseForms then
axForms := [:$baseForms, :axForms]
--
1.7.4.1
