diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/lisp/Makefile.in | 4 | ||||
| -rw-r--r-- | src/lisp/core.lisp.in | 4 | ||||
| -rwxr-xr-x | src/scripts/document.in | 2 |
3 files changed, 5 insertions, 5 deletions
diff --git a/src/lisp/Makefile.in b/src/lisp/Makefile.in index c1685b47..e4336f42 100644 --- a/src/lisp/Makefile.in +++ b/src/lisp/Makefile.in @@ -126,7 +126,7 @@ $(oa_target_lispdir)/linkset: $(oa_target_lispdir)/core.$(LNKEXT) rm -f $@ echo '$(base_lisp_objects)' > $@ -axiom_optimize_options = @axiom_optimize_options@ +oa_optimize_options = @oa_optimize_options@ oa_editor = @oa_editor@ @@ -143,7 +143,7 @@ oa_keep_files = $(patsubst %,|%|,$(subst $(oa_comma), ,@oa_keep_files@)) edit = sed \ -e 's|@open_axiom_installdir[@]|$(open_axiom_installdir)|g' \ - -e 's|@axiom_optimize_options[@]|$(axiom_optimize_options)|g' \ + -e 's|@oa_optimize_options[@]|$(oa_optimize_options)|g' \ -e 's|@oa_editor[@]|$(oa_editor)|g' \ -e 's/@oa_keep_files[@]/$(oa_keep_files)/g' \ -e 's|@host[@]|$(host)|g' \ diff --git a/src/lisp/core.lisp.in b/src/lisp/core.lisp.in index 94e8823c..08d1ecba 100644 --- a/src/lisp/core.lisp.in +++ b/src/lisp/core.lisp.in @@ -143,9 +143,9 @@ ;; Lisp compiler optimization settings. (defconstant |$LispOptimizeOptions| - '(@axiom_optimize_options@)) + '(@oa_optimize_options@)) -(proclaim '(optimize @axiom_optimize_options@)) +(proclaim '(optimize @oa_optimize_options@)) ;; Enablig profiling of generated Lisp codes. (defconstant |$EnableLispProfiling| @oa_enable_profiling@) diff --git a/src/scripts/document.in b/src/scripts/document.in index bafdd1e2..14173484 100755 --- a/src/scripts/document.in +++ b/src/scripts/document.in @@ -57,7 +57,7 @@ eval_flags="@axiom_eval_flags@" lisp_flavor=@axiom_lisp_flavor@ # safety option -- used only when saving image. -enable_checking=@axiom_enable_checking@ +enable_checking=@oa_enable_checking@ # Issue a diagnostic message and exit with non-zero status. error() { |