cl-smt-lib

SBCL 2.0.1.149-8fdd882aa / ASDF 3.3.1

cl-smt-lib

WARNING: redefining UIOP/LAUNCH-PROGRAM::REQUIRES-ESCAPING-P in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM:ESCAPE-TOKEN in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM::ESCAPE-WINDOWS-TOKEN-WITHIN-DOUBLE-QUOTES in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM::EASY-WINDOWS-CHARACTER-P in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM:ESCAPE-WINDOWS-TOKEN in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM::ESCAPE-SH-TOKEN-WITHIN-DOUBLE-QUOTES in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM:EASY-SH-CHARACTER-P in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM:ESCAPE-SH-TOKEN in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM:ESCAPE-SHELL-TOKEN in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM:ESCAPE-COMMAND in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM:ESCAPE-WINDOWS-COMMAND in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM:ESCAPE-SH-COMMAND in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM:ESCAPE-SHELL-COMMAND in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM::%NORMALIZE-IO-SPECIFIER in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM::%INTERACTIVEP in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM::%SIGNAL-TO-EXIT-CODE in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM::%CODE-TO-STATUS in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM::%HANDLE-IF-EXISTS in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM::%HANDLE-IF-DOES-NOT-EXIST in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM:PROCESS-INFO-ERROR-OUTPUT in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM:PROCESS-INFO-INPUT in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM:PROCESS-INFO-OUTPUT in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM:PROCESS-INFO-PID in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM::%PROCESS-STATUS in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM:PROCESS-ALIVE-P in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM:WAIT-PROCESS in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM::%POSIX-SEND-SIGNAL in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM:TERMINATE-PROCESS in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM:CLOSE-STREAMS in DEFUN
WARNING: redefining UIOP/LAUNCH-PROGRAM:LAUNCH-PROGRAM in DEFUN

; file: /home/quicklisp/quicklisp-controller/dist/build-cache/cl-smt-lib/6b5c91f0143daa871d7197cac9877dc289bc9c73/cl-smt-lib-20200304-git/cl-smt-lib.lisp
; in: DEFSTRUCT SMT
;     (DEFSTRUCT
;         (CL-SMT-LIB::SMT (:INCLUDE TWO-WAY-STREAM)
;          (:CONSTRUCTOR CL-SMT-LIB::%MAKE-SMT
;           (CL-SMT-LIB::INPUT-STREAM CL-SMT-LIB::OUTPUT-STREAM
;            CL-SMT-LIB::PROCESS))
;          (:COPIER NIL) (:PREDICATE NIL))
;       (CL-SMT-LIB::PROCESS (SB-INT:MISSING-ARG) :READ-ONLY T))
; --> PROGN EVAL-WHEN 
; ==>
;   (SB-KERNEL::%COMPILER-DEFSTRUCT
;    '#<SB-KERNEL:DEFSTRUCT-DESCRIPTION CL-SMT-LIB::SMT {1005AC3C23}>
;    '#(#<SB-KERNEL:LAYOUT for T {50301003}>
;       #<SB-KERNEL:LAYOUT for STRUCTURE-OBJECT {50301083}>
;       #<SB-KERNEL:LAYOUT for STREAM {50301F03}>
;       #<SB-KERNEL:LAYOUT for SB-KERNEL:ANSI-STREAM {50302083}>
;       #<SB-KERNEL:LAYOUT for TWO-WAY-STREAM {50304603}>))
; 
; caught WARNING:
;   unsealing sealed class TWO-WAY-STREAM in order to subclass it
Unhandled UIOP/LISP-BUILD:COMPILE-FILE-ERROR in thread #<SB-THREAD:THREAD "main thread" RUNNING {1000520083}>: COMPILE-FILE-ERROR while compiling #<CL-SOURCE-FILE "cl-smt-lib" "cl-smt-lib">

Backtrace for: #<SB-THREAD:THREAD "main thread" RUNNING {1000520083}>
0: (SB-DEBUG::DEBUGGER-DISABLED-HOOK #<UIOP/LISP-BUILD:COMPILE-FILE-ERROR {10066B1233}> #<unused argument> :QUIT T)
1: (SB-DEBUG::RUN-HOOK *INVOKE-DEBUGGER-HOOK* #<UIOP/LISP-BUILD:COMPILE-FILE-ERROR {10066B1233}>)
2: (INVOKE-DEBUGGER #<UIOP/LISP-BUILD:COMPILE-FILE-ERROR {10066B1233}>)
3: (ERROR UIOP/LISP-BUILD:COMPILE-FILE-ERROR :CONTEXT-FORMAT "~/asdf-action::format-action/" :CONTEXT-ARGUMENTS ((#<ASDF/LISP-ACTION:COMPILE-OP > . #<ASDF/LISP-ACTION:CL-SOURCE-FILE "cl-smt-lib" "cl-smt-lib">)))
4: (UIOP/LISP-BUILD:CHECK-LISP-COMPILE-RESULTS NIL T T "~/asdf-action::format-action/" ((#<ASDF/LISP-ACTION:COMPILE-OP > . #<ASDF/LISP-ACTION:CL-SOURCE-FILE "cl-smt-lib" "cl-smt-lib">)))
5: ((SB-PCL::EMF ASDF/ACTION:PERFORM) #<unused argument> #<unused argument> #<ASDF/LISP-ACTION:COMPILE-OP > #<ASDF/LISP-ACTION:CL-SOURCE-FILE "cl-smt-lib" "cl-smt-lib">)
6: ((LAMBDA NIL :IN ASDF/ACTION:CALL-WHILE-VISITING-ACTION))
7: ((:METHOD ASDF/ACTION:PERFORM-WITH-RESTARTS :AROUND (T T)) #<ASDF/LISP-ACTION:COMPILE-OP > #<ASDF/LISP-ACTION:CL-SOURCE-FILE "cl-smt-lib" "cl-smt-lib">) [fast-method]
8: ((:METHOD ASDF/PLAN:PERFORM-PLAN (T)) #<ASDF/PLAN:SEQUENTIAL-PLAN {100505BE43}>) [fast-method]
9: ((FLET SB-C::WITH-IT :IN SB-C::%WITH-COMPILATION-UNIT))
10: ((:METHOD ASDF/PLAN:PERFORM-PLAN :AROUND (T)) #<ASDF/PLAN:SEQUENTIAL-PLAN {100505BE43}>) [fast-method]
11: ((:METHOD ASDF/OPERATE:OPERATE (ASDF/OPERATION:OPERATION ASDF/COMPONENT:COMPONENT)) #<ASDF/LISP-ACTION:LOAD-OP > #<ASDF/SYSTEM:SYSTEM "cl-smt-lib"> :PLAN-CLASS NIL :PLAN-OPTIONS NIL) [fast-method]
12: ((SB-PCL::EMF ASDF/OPERATE:OPERATE) #<unused argument> #<unused argument> #<ASDF/LISP-ACTION:LOAD-OP > #<ASDF/SYSTEM:SYSTEM "cl-smt-lib">)
13: ((LAMBDA NIL :IN ASDF/OPERATE:OPERATE))
14: ((:METHOD ASDF/OPERATE:OPERATE :AROUND (T T)) #<ASDF/LISP-ACTION:LOAD-OP > #<ASDF/SYSTEM:SYSTEM "cl-smt-lib">) [fast-method]
15: ((SB-PCL::EMF ASDF/OPERATE:OPERATE) #<unused argument> #<unused argument> ASDF/LISP-ACTION:LOAD-OP "cl-smt-lib")
16: ((LAMBDA NIL :IN ASDF/OPERATE:OPERATE))
17: ((:METHOD ASDF/OPERATE:OPERATE :AROUND (T T)) ASDF/LISP-ACTION:LOAD-OP "cl-smt-lib") [fast-method]
18: (ASDF/SESSION:CALL-WITH-ASDF-SESSION #<CLOSURE (LAMBDA NIL :IN ASDF/OPERATE:OPERATE) {10050541AB}> :OVERRIDE T :KEY NIL :OVERRIDE-CACHE T :OVERRIDE-FORCING NIL)
19: ((LAMBDA NIL :IN ASDF/OPERATE:OPERATE))
20: (ASDF/SESSION:CALL-WITH-ASDF-SESSION #<CLOSURE (LAMBDA NIL :IN ASDF/OPERATE:OPERATE) {100500BE3B}> :OVERRIDE NIL :KEY NIL :OVERRIDE-CACHE NIL :OVERRIDE-FORCING NIL)
21: ((:METHOD ASDF/OPERATE:OPERATE :AROUND (T T)) ASDF/LISP-ACTION:LOAD-OP "cl-smt-lib") [fast-method]
22: (DEPCHECK::COMPUTE-DEPENDENCIES "cl-smt-lib" "cl-smt-lib")
23: (DEPCHECK::MAGIC "cl-smt-lib" "cl-smt-lib" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-7OFrlN9W/depcheck-win.txt")
24: (DEPCHECK::MAIN ("depcheck" "/home/quicklisp/quicklisp-controller/dist/system-file-index" "cl-smt-lib" "cl-smt-lib" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-7OFrlN9W/depcheck-win.txt" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-7OFrlN9W/depcheck-fail.txt"))
25: ((LAMBDA NIL :IN "/home/quicklisp/quicklisp/local-projects/quicklisp-controller/dumper-2SKVI5f7.lisp"))
26: ((FLET SB-UNIX::BODY :IN SAVE-LISP-AND-DIE))
27: ((FLET "WITHOUT-INTERRUPTS-BODY-7" :IN SAVE-LISP-AND-DIE))
28: ((LABELS SB-IMPL::RESTART-LISP :IN SAVE-LISP-AND-DIE))

unhandled condition in --disable-debugger mode, quitting
; 
; compilation unit aborted
;   caught 1 fatal ERROR condition
;   caught 1 WARNING condition