From b026c698fddcfeba5d125e09583555f6fbffd5e9 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 7 Aug 2008 11:54:00 +0000
Subject: 	* configure.ac.pamphlet: Add 'debug' to Lisp optimize
 proclamation 	when --enable-checking.

---
 src/ChangeLog            |  7 +++++++
 src/boot/translator.boot | 10 ++++++++--
 src/lisp/core.lisp.in    |  3 +++
 3 files changed, 18 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/ChangeLog b/src/ChangeLog
index 38e08d62..463f784e 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,10 @@
+2008-08-07  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* boot/translator.boot (genOptimizeOptions): New.
+	(shoeClLines): Use it.
+	(shorClCLines): Likewise.
+	* lisp/core.lisp.in ($LispOptimizeOptions): New; export.
+
 2008-08-06  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* interp/Makefile.pamphlet (makeint.lisp): Tidy.
diff --git a/src/boot/translator.boot b/src/boot/translator.boot
index 01778e2e..86aada78 100644
--- a/src/boot/translator.boot
+++ b/src/boot/translator.boot
@@ -60,6 +60,10 @@ genModuleFinalization(stream) ==
     REALLYPRETTYPRINT(init,stream)
   nil
 
+genOptimizeOptions stream ==
+  REALLYPRETTYPRINT
+    (["PROCLAIM",["QUOTE",["OPTIMIZE",:$LispOptimizeOptions]]],stream)
+
 +++ True if we are translating code written in Old Boot.
 $translatingOldBoot := false
 
@@ -106,7 +110,8 @@ shoeClLines(a,fn,lines,outfn)==
   a=nil => shoeNotFound fn
   $GenVarCounter := 0
   shoeOpenOutputFile(stream,outfn,_
-    ((for line in lines repeat shoeFileLine(line,stream);
+    (genOptimizeOptions stream;
+     (for line in lines repeat shoeFileLine(line,stream);
        shoeFileTrees(shoeTransformStream a,stream));
       genModuleFinalization(stream)))
   outfn
@@ -130,7 +135,8 @@ shoeClCLines(a,fn,lines,outfn)==
   a=nil => shoeNotFound fn
   $GenVarCounter := 0
   shoeOpenOutputFile(stream,outfn,
-    (for line in lines repeat shoeFileLine (line,stream);
+    (genOptimizeOptions stream;
+     for line in lines repeat shoeFileLine (line,stream);
       shoeFileTrees(shoeTransformToFile(stream,
 	  shoeInclude bAddLineNumber(bRgen a,bIgen 0)),stream);
       genModuleFinalization(stream)))
diff --git a/src/lisp/core.lisp.in b/src/lisp/core.lisp.in
index 4996a7d5..96ae877f 100644
--- a/src/lisp/core.lisp.in
+++ b/src/lisp/core.lisp.in
@@ -78,6 +78,7 @@
 	   "$NativeModuleExt"
 	   "$systemInstallationDirectory"
 	   "$NativeTypeTable"
+	   "$LispOptimizeOptions"
 
            "getCommandLineArguments"
            "processCommandLine"
@@ -119,6 +120,8 @@
   "@open_axiom_installdir@/")
 
 ;; Lisp compiler optimization settings.
+(defconstant |$LispOptimizeOptions|
+  '(@axiom_optimize_options@))
 (proclaim '(optimize @axiom_optimize_options@))
 
 ;; 
-- 
cgit v1.2.3