diff options
| -rw-r--r-- | src/ChangeLog | 5 | ||||
| -rw-r--r-- | src/boot/ast.boot | 1 | ||||
| -rw-r--r-- | src/boot/strap/ast.clisp | 2 | ||||
| -rw-r--r-- | src/boot/strap/parser.clisp | 2 | ||||
| -rw-r--r-- | src/boot/strap/translator.clisp | 2 | ||||
| -rw-r--r-- | src/driver/Makefile.in | 2 |
6 files changed, 8 insertions, 6 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 8697f58e..d67abf2d 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,8 @@ +2011-06-04 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * driver/Makefile.in (open-axiom$(EXEEXT)): Link statically. + * boot/ast.boot: Remove debugging statement. + 2011-05-28 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/sys-utility.boot (displayTextFile): New. diff --git a/src/boot/ast.boot b/src/boot/ast.boot index 3201d249..5cf0176a 100644 --- a/src/boot/ast.boot +++ b/src/boot/ast.boot @@ -176,7 +176,6 @@ bfDo x == bfAtScope(s,x) == ["LET",[["*PACKAGE*",s]],x] -TRACE bfAtScope bfAppend: %List %List %Form -> %List %Form bfAppend ls == diff --git a/src/boot/strap/ast.clisp b/src/boot/strap/ast.clisp index ca008b4b..c29dc0b2 100644 --- a/src/boot/strap/ast.clisp +++ b/src/boot/strap/ast.clisp @@ -218,8 +218,6 @@ (DEFUN |bfAtScope| (|s| |x|) (LIST 'LET (LIST (LIST '*PACKAGE* |s|)) |x|)) -(EVAL-WHEN (:EXECUTE :LOAD-TOPLEVEL) (TRACE |bfAtScope|)) - (DECLAIM (FTYPE (FUNCTION ((|%List| (|%List| |%Form|))) (|%List| |%Form|)) |bfAppend|)) diff --git a/src/boot/strap/parser.clisp b/src/boot/strap/parser.clisp index 925e9a4f..9b36ba0d 100644 --- a/src/boot/strap/parser.clisp +++ b/src/boot/strap/parser.clisp @@ -356,7 +356,7 @@ (COND (|done| (RETURN NIL)) (T (SETQ |found| - (LET ((#0=#:G1355 + (LET ((#0=#:G1354 (CATCH :OPEN-AXIOM-CATCH-POINT (APPLY |f| NIL)))) (COND diff --git a/src/boot/strap/translator.clisp b/src/boot/strap/translator.clisp index 54c28449..fa3d131c 100644 --- a/src/boot/strap/translator.clisp +++ b/src/boot/strap/translator.clisp @@ -513,7 +513,7 @@ (SETQ |$bpParenCount| 0) (|bpFirstTok|) (SETQ |found| - (LET ((#0=#:G1365 + (LET ((#0=#:G1364 (CATCH :OPEN-AXIOM-CATCH-POINT (|bpOutItem|)))) (COND ((AND (CONSP #0#) diff --git a/src/driver/Makefile.in b/src/driver/Makefile.in index 1769b44c..6682602b 100644 --- a/src/driver/Makefile.in +++ b/src/driver/Makefile.in @@ -65,7 +65,7 @@ stamp: $(bin_PROGRAMS) main.lo: open-axiom.h open-axiom$(EXEEXT): $(open_axiom_objects) - $(CXXLINK) -o $@ $(open_axiom_objects) $(open_axiom_LDADD) + $(CXXLINK) -all-static -o $@ $(open_axiom_objects) $(open_axiom_LDADD) mostlyclean-local: @rm -f $(open_axiom_objects) |