[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] problems compiling wh-sandbox 503
From: |
Waldek Hebisch |
Subject: |
Re: [Axiom-developer] problems compiling wh-sandbox 503 |
Date: |
Thu, 12 Apr 2007 15:45:08 +0200 (CEST) |
Martin Rubey wrote:
> Gabriel Dos Reis <address@hidden> writes:
>
> > Please, please, please. General message to people experiencing
> > "memory may be damaged". Configure Axiom.build-improvements with
> >
> > --enable-checking
> >
> > The build is slower but you may get a chance to make a meaningful
> > report that may eventually help fix the bug you run into.
>
> Does this work also in wh-sandbox?
>
No, Gaby added --enable-checking in version 491 and the latest parts
merged are from 485.
To get extra checking I used code like below (ho. Her, after 16
hours the build died due to uninitialized variable when compileing
guessing package (I still have to investigate the problem).
--- /home/s/test/tt/axiom2/wh-sandbox2/src/interp/interp-proclaims.lisp
2007-02-16 22:27:49.000000000 +0100
+++ wh-sandbox2/src/interp/interp-proclaims.lisp 2007-04-12
15:39:58.000000000 +0200
@@ -1,4 +1,6 @@
-
+(eval-when (:execute :compile-toplevel :load-toplevel)
+ (proclaim
+ '(optimize (safety 3))))
(IN-PACKAGE "USER")
(PROCLAIM '(FTYPE (FUNCTION (*) (VALUES T T)) BOOT:|ReadLine|))
(PROCLAIM
--
Waldek Hebisch
address@hidden
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, (continued)
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Martin Rubey, 2007/04/13
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Gabriel Dos Reis, 2007/04/13
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Martin Rubey, 2007/04/13
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Waldek Hebisch, 2007/04/20
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Martin Rubey, 2007/04/20
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Ralf Hemmecke, 2007/04/20
Re: [Axiom-developer] problems compiling wh-sandbox 503, Waldek Hebisch, 2007/04/12
RE: [Axiom-developer] problems compiling wh-sandbox 503, Bill Page, 2007/04/12