axiom-developer
[Top][All Lists]
Advanced

[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 




reply via email to

[Prev in Thread] Current Thread [Next in Thread]