Re: [Gcl-devel] Compiling GCL

[Faré]

Dear Camm,

>> (declaim (ftype function ensure-exported))
>
> Why do you think this is legal from the following page from the spec?  I
> think you mean either (declaim (type function ensure-exported)) or
> (declaim (function ensure-exported)).
>
Well, I expect declaim type would associate a type
to the *variable* named ensure-exported, not to the function of the same name.

> 3.8.23 ftype                                                         
> [Declaration]
>[...]
> Specifies that the functions named by function-names are of the
> functional type type.
>
I don't see anything in http://clhs.lisp.se/Body/d_ftype.htm
that suggests function is an invalid type, as opposed to
(function (&rest t) &rest t)
It just says type, and as far as I can tell, all the implementations agree that
function is a valid type for functions (indeed, the most general type
that covers
all functions, even including funcallable objects)


OK, after compiling an ansi gcl the way you suggested,
trying to load asdf as a lisp file works — that's good.
But compiling it fails.

I invoke GCL with:
gcl -eval '(compile-file "/home/tunes/cl/asdf/build/asdf.lisp" :print
t :verbose t)'

The last things in the output log as I is
; (PROGN (DEFPACKAGE :ASDF/FOOTER ...) ...) is being compiled.
; (EVAL-WHEN (:COMPILE-TOPLEVEL :LOAD-TOPLEVEL ...) ...) is being compiled.
; (EVAL-WHEN (:COMPILE-TOPLEVEL :LOAD-TOPLEVEL ...)) is being compiled.
; (EVAL-WHEN (:COMPILE-TOPLEVEL :LOAD-TOPLEVEL ...) ...) is being compiled.
;; End of Pass 1.
; (DEFUN ASDF/COMPONENT:SUB-COMPONENTS) is being compiled.
;;; A bug was found in the compiler.  Contact Taiichi.

Break.



Broken at NIL.  Type :H for Help.
 1 (Continue) Return from break.
 2 Retry compiling file "/home/tunes/cl/asdf/build/asdf.lisp".
 3 Return to top level.

There is no backtrace available:
ASDF/FOOTER>>:b
Backtrace:
ASDF/FOOTER>>

If I try to continue, then it breaks repeatedly, with the following messages

; (DEFUN ASDF/PACKAGE-SYSTEM::PACKAGE-DEPENDENCIES) is being compiled.
;;; A bug was found in the compiler.  Contact Taiichi.

;;; A bug was found in the compiler.  Contact Taiichi.

; NIL is being compiled.
;;; A bug was found in the compiler.  Contact Taiichi.

;;; A bug was found in the compiler.  Contact Taiichi.

;;; A bug was found in the compiler.  Contact Taiichi.

No FASL generated.

Error:
Fast links are on: do (si::use-fast-links nil) for debugging
Signalled by "AN ANONYMOUS FUNCTION".
INTERNAL-SIMPLE-PROGRAM-ERROR: Compilation of "build/asdf.lisp" failed.

And then my choices are only
Broken at NIL.  Type :H for Help.
 1 (Continue) Retry compiling file "build/asdf.lisp".
 2 Return to top level.


Another attempt where I first load asdf.lisp then compile it via
(asdf:load-system :asdf :verbose t) fails with:

Error in error:
ERROR SIMPLE-TYPE-ERROR (DATUM
INTERNAL-SIMPLE-LOAD-SYSTEM-DEFINITION-ERROR EXPECTED-TYPE (SATISFIES
CONDITION-CLASS-P) FORMAT-CONTROL Not a condition type: ~S
FORMAT-ARGUMENTS (INTERNAL-SIMPLE-LOAD-SYSTEM-DEFINITION-ERROR)) NIL

Backtrace:  > SYSTEM:LAMBDA-CLOSURE

Top level.


There are apparently problems with the way you compile conditions,
amongst other things.

And there, I'm stuck. Can you help?
You may have to
git clone git://common-lisp.net/projects/asdf/asdf.git
        cd asdf ; make
        gcl -load build/asdf.lisp -eval '(compile-file
"build/asdf.lisp" :print t :verbose t)'

Being able to run all the quicklisp libraries would be the ultimate
test for GCL,
but for that, you'd have to run asdf.

Best regards,

—♯ƒ • François-René ÐVB Rideau •Reflection&Cybernethics• http://fare.tunes.org
If all values are relative, then cannibalism is a matter of taste.
— Leo Strauss