Cleanup, part 2.

1 files changed, 14 insertions, 9 deletions

diff --git a/configure b/configure
index aa070d3d..45920745 100755
--- a/configure
+++ b/configure
@@ -25612,19 +25612,24 @@ GCLOPTS="$axiom_gcl_emacs $axiom_gcl_bfd_option $axiom_gcl_mm_option $axiom_gcl_
 
 
 
-void_type='void'
-char_type='char'
-int_type='int'
-float_type='float'
-double_type='double'
-string_type='string'
-pointer_type='object'
 case $axiom_lisp_flavor in
    gcl)
+      void_type='void'
+      char_type='char'
+      int_type='int'
+      float_type='float'
+      double_type='double'
+      string_type='string'
+      pointer_type='object'
       ;;
    sbcl)
-      string_type='c-string'
-      pointer_type='system-area-pointer'
+      void_type='sb-alien:void'
+      char_type='sb-alien:char'
+      int_type='sb-alien:int'
+      float_type='sb-alien:float'
+      double_type='sb-alien:double'
+      string_type='sb-alien:c-string'
+      pointer_type='sb-alien:system-area-pointer'
       ;;
    clisp)
       void_type='nil'