cl-z3

• source: https://github.com/mister-walter/cl-z3.git
• site: https://github.com/mister-walter/cl-z3/
• last updated: 35 weeks ago

SBCL 2.5.9.105-56015d7ab / ASDF 3.3.5

• cl-z3/z3
• cl-z3/tests
• cl-z3/ffi
• cl-z3

While evaluating the form starting at line 1, column 0
  of #P"/home/quicklisp/quicklisp-controller/dist/build-cache/cl-z3/79790934f4cfae7a31e2e898870d83493bc4c52b/cl-z3-20251102-git/cl-z3.asd":
Unhandled MISSING-DEPENDENCY in thread #<SB-THREAD:THREAD tid=933194 "main thread" RUNNING {1200030003}>: Component "cffi-grovel" not found, required by NIL

Backtrace for: #<SB-THREAD:THREAD tid=933194 "main thread" RUNNING {1200030003}>
0: (SB-DEBUG::DEBUGGER-DISABLED-HOOK Component "cffi-grovel" not found, required by NIL #<unused argument> :QUIT T)
1: (SB-DEBUG::RUN-HOOK SB-EXT:*INVOKE-DEBUGGER-HOOK* Component "cffi-grovel" not found, required by NIL)
2: (INVOKE-DEBUGGER Component "cffi-grovel" not found, required by NIL)
3: (ERROR MISSING-DEPENDENCY :REQUIRED-BY NIL :REQUIRES "cffi-grovel")
4: (ASDF/FIND-COMPONENT:RESOLVE-DEPENDENCY-NAME NIL "cffi-grovel" NIL)
5: ((LAMBDA NIL :IN ASDF/PARSE-DEFSYSTEM:REGISTER-SYSTEM-DEFINITION))
6: (SB-INT:SIMPLE-EVAL-IN-LEXENV (DEFSYSTEM "cl-z3/ffi" :DEFSYSTEM-DEPENDS-ON ("cffi-grovel") :DEPENDS-ON ("cffi") :SERIAL T :PATHNAME "src/ffi" :COMPONENTS ((:FILE "package") (:CFFI-GROVEL-FILE "z3-grovel") (:FILE "z3-c-types") (:FILE "z3-c") (:FILE "z3-api"))) #<NULL-LEXENV>)
7: (SB-EXT:EVAL-TLF (DEFSYSTEM "cl-z3/ffi" :DEFSYSTEM-DEPENDS-ON ("cffi-grovel") :DEPENDS-ON ("cffi") :SERIAL T :PATHNAME "src/ffi" :COMPONENTS ((:FILE "package") (:CFFI-GROVEL-FILE "z3-grovel") (:FILE "z3-c-types") (:FILE "z3-c") (:FILE "z3-api"))) 0 NIL)
8: ((LABELS SB-FASL::EVAL-FORM :IN SB-INT:LOAD-AS-SOURCE) (DEFSYSTEM "cl-z3/ffi" :DEFSYSTEM-DEPENDS-ON ("cffi-grovel") :DEPENDS-ON ("cffi") :SERIAL T :PATHNAME "src/ffi" :COMPONENTS ((:FILE "package") (:CFFI-GROVEL-FILE "z3-grovel") (:FILE "z3-c-types") (:FILE "z3-c") (:FILE "z3-api"))) 0)
9: ((LAMBDA (SB-KERNEL:FORM &KEY :CURRENT-INDEX &ALLOW-OTHER-KEYS) :IN SB-INT:LOAD-AS-SOURCE) (DEFSYSTEM "cl-z3/ffi" :DEFSYSTEM-DEPENDS-ON ("cffi-grovel") :DEPENDS-ON ("cffi") :SERIAL T :PATHNAME "src/ffi" :COMPONENTS ((:FILE "package") (:CFFI-GROVEL-FILE "z3-grovel") (:FILE "z3-c-types") (:FILE "z3-c") (:FILE "z3-api"))) :CURRENT-INDEX 0)
10: (SB-C::%DO-FORMS-FROM-INFO #<FUNCTION (LAMBDA (SB-KERNEL:FORM &KEY :CURRENT-INDEX &ALLOW-OTHER-KEYS) :IN SB-INT:LOAD-AS-SOURCE) {7F6F0982E35B}> #<SB-C::SOURCE-INFO {12033DDDF3}> SB-C::INPUT-ERROR-IN-LOAD)
11: (SB-INT:LOAD-AS-SOURCE #<SB-INT:FORM-TRACKING-STREAM for "file /home/quicklisp/quicklisp-controller/dist/build-cache/cl-z3/79790934f4cfae7a31e2e898870d83493bc4c52b/cl-z3-20251102-git/cl-z3.asd" {12033EE273}> :VERBOSE NIL :PRINT NIL :CONTEXT "loading")
12: ((LABELS SB-FASL::LOAD-STREAM-1 :IN LOAD) #<SB-INT:FORM-TRACKING-STREAM for "file /home/quicklisp/quicklisp-controller/dist/build-cache/cl-z3/79790934f4cfae7a31e2e898870d83493bc4c52b/cl-z3-20251102-git/cl-z3.asd" {12033EE273}> NIL)
13: (SB-FASL::CALL-WITH-LOAD-BINDINGS #<FUNCTION (LABELS SB-FASL::LOAD-STREAM-1 :IN LOAD) {7F6F0982E71B}> #<SB-INT:FORM-TRACKING-STREAM for "file /home/quicklisp/quicklisp-controller/dist/build-cache/cl-z3/79790934f4cfae7a31e2e898870d83493bc4c52b/cl-z3-20251102-git/cl-z3.asd" {12033EE273}> NIL #<SB-INT:FORM-TRACKING-STREAM for "file /home/quicklisp/quicklisp-controller/dist/build-cache/cl-z3/79790934f4cfae7a31e2e898870d83493bc4c52b/cl-z3-20251102-git/cl-z3.asd" {12033EE273}>)
14: (LOAD #P"/home/quicklisp/quicklisp-controller/dist/build-cache/cl-z3/79790934f4cfae7a31e2e898870d83493bc4c52b/cl-z3-20251102-git/cl-z3.asd" :VERBOSE NIL :PRINT NIL :IF-DOES-NOT-EXIST :ERROR :EXTERNAL-FORMAT :UTF-8)
15: (CALL-WITH-MUFFLED-CONDITIONS #<FUNCTION (LAMBDA NIL :IN LOAD*) {12033ECB1B}> ("Overwriting already existing readtable ~S." #(#:FINALIZERS-OFF-WARNING :ASDF-FINALIZERS)))
16: ((FLET "THUNK" :IN PERFORM))
17: (SB-IMPL::%WITH-STANDARD-IO-SYNTAX #<FUNCTION (FLET "THUNK" :IN PERFORM) {7F6F0982E98B}>)
18: ((:METHOD PERFORM (DEFINE-OP SYSTEM)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3">) [fast-method]
19: ((SB-PCL::EMF PERFORM) #<unused argument> #<unused argument> #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3">)
20: ((LAMBDA NIL :IN ASDF/ACTION:CALL-WHILE-VISITING-ACTION))
21: ((:METHOD PERFORM-WITH-RESTARTS :AROUND (T T)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3">) [fast-method]
22: ((:METHOD PERFORM-PLAN (T)) #<SEQUENTIAL-PLAN {12033DBFD3}>) [fast-method]
23: ((FLET SB-C::WITH-IT :IN SB-C::%WITH-COMPILATION-UNIT))
24: ((:METHOD PERFORM-PLAN :AROUND (T)) #<SEQUENTIAL-PLAN {12033DBFD3}>) [fast-method]
25: ((:METHOD OPERATE (OPERATION COMPONENT)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3"> :PLAN-CLASS NIL :PLAN-OPTIONS NIL) [fast-method]
26: ((SB-PCL::EMF OPERATE) #<unused argument> #<unused argument> #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3">)
27: ((LAMBDA NIL :IN OPERATE))
28: ((:METHOD OPERATE :AROUND (T T)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3">) [fast-method]
29: ((LAMBDA NIL :IN FIND-SYSTEM))
30: (ASDF/SESSION:CONSULT-ASDF-CACHE (FIND-SYSTEM "cl-z3") #<FUNCTION (LAMBDA NIL :IN FIND-SYSTEM) {120338BA8B}>)
31: ((:METHOD FIND-COMPONENT (STRING T)) "cl-z3" (NIL) :REGISTERED NIL) [fast-method]
32: ((:METHOD OPERATE (OPERATION T)) #<DEFINE-OP > ("cl-z3")) [fast-method]
33: ((SB-PCL::EMF OPERATE) #<unused argument> #<unused argument> #<DEFINE-OP > ("cl-z3"))
34: ((LAMBDA NIL :IN OPERATE))
35: ((:METHOD OPERATE :AROUND (T T)) #<DEFINE-OP > ("cl-z3")) [fast-method]
36: (ASDF/SESSION:CALL-WITH-ASDF-SESSION #<FUNCTION (LAMBDA NIL :IN OPERATE) {120334B6BB}> :OVERRIDE T :KEY NIL :OVERRIDE-CACHE T :OVERRIDE-FORCING NIL)
37: ((LAMBDA NIL :IN OPERATE))
38: ((:METHOD OPERATE :AROUND (T T)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3">) [fast-method]
39: ((LAMBDA NIL :IN LOAD-ASD))
40: ((LAMBDA NIL :IN FIND-SYSTEM))
41: (ASDF/SESSION:CONSULT-ASDF-CACHE (FIND-SYSTEM "cl-z3") #<FUNCTION (LAMBDA NIL :IN FIND-SYSTEM) {1201FA1B8B}>)
42: (ASDF/SESSION:CALL-WITH-ASDF-SESSION #<FUNCTION (LAMBDA NIL :IN FIND-SYSTEM) {1201FA1B8B}> :OVERRIDE NIL :KEY (FIND-SYSTEM "cl-z3") :OVERRIDE-CACHE NIL :OVERRIDE-FORCING NIL)
43: (DEPCHECK::COMPUTE-DEPENDENCIES "cl-z3" "cl-z3/z3")
44: (DEPCHECK::MAGIC "cl-z3" "cl-z3/z3" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-9REKQ8ue/depcheck-win.txt")
45: (DEPCHECK::MAIN ("depcheck" "/home/quicklisp/quicklisp-controller/dist/system-file-index" "cl-z3" "cl-z3/z3" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-9REKQ8ue/depcheck-win.txt" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-9REKQ8ue/depcheck-fail.txt"))
46: ((LAMBDA NIL :IN "/home/quicklisp/quicklisp/local-projects/quicklisp-controller/dumper-2SKVI5f7.lisp"))
47: ((FLET SB-UNIX::BODY :IN SB-IMPL::START-LISP))
48: ((FLET "WITHOUT-INTERRUPTS-BODY-3" :IN SB-IMPL::START-LISP))
49: (SB-IMPL::%START-LISP)

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

While evaluating the form starting at line 1, column 0
  of #P"/home/quicklisp/quicklisp-controller/dist/build-cache/cl-z3/79790934f4cfae7a31e2e898870d83493bc4c52b/cl-z3-20251102-git/cl-z3.asd":
Unhandled MISSING-DEPENDENCY in thread #<SB-THREAD:THREAD tid=933188 "main thread" RUNNING {1200030003}>: Component "cffi-grovel" not found, required by NIL

Backtrace for: #<SB-THREAD:THREAD tid=933188 "main thread" RUNNING {1200030003}>
0: (SB-DEBUG::DEBUGGER-DISABLED-HOOK Component "cffi-grovel" not found, required by NIL #<unused argument> :QUIT T)
1: (SB-DEBUG::RUN-HOOK SB-EXT:*INVOKE-DEBUGGER-HOOK* Component "cffi-grovel" not found, required by NIL)
2: (INVOKE-DEBUGGER Component "cffi-grovel" not found, required by NIL)
3: (ERROR MISSING-DEPENDENCY :REQUIRED-BY NIL :REQUIRES "cffi-grovel")
4: (ASDF/FIND-COMPONENT:RESOLVE-DEPENDENCY-NAME NIL "cffi-grovel" NIL)
5: ((LAMBDA NIL :IN ASDF/PARSE-DEFSYSTEM:REGISTER-SYSTEM-DEFINITION))
6: (SB-INT:SIMPLE-EVAL-IN-LEXENV (DEFSYSTEM "cl-z3/ffi" :DEFSYSTEM-DEPENDS-ON ("cffi-grovel") :DEPENDS-ON ("cffi") :SERIAL T :PATHNAME "src/ffi" :COMPONENTS ((:FILE "package") (:CFFI-GROVEL-FILE "z3-grovel") (:FILE "z3-c-types") (:FILE "z3-c") (:FILE "z3-api"))) #<NULL-LEXENV>)
7: (SB-EXT:EVAL-TLF (DEFSYSTEM "cl-z3/ffi" :DEFSYSTEM-DEPENDS-ON ("cffi-grovel") :DEPENDS-ON ("cffi") :SERIAL T :PATHNAME "src/ffi" :COMPONENTS ((:FILE "package") (:CFFI-GROVEL-FILE "z3-grovel") (:FILE "z3-c-types") (:FILE "z3-c") (:FILE "z3-api"))) 0 NIL)
8: ((LABELS SB-FASL::EVAL-FORM :IN SB-INT:LOAD-AS-SOURCE) (DEFSYSTEM "cl-z3/ffi" :DEFSYSTEM-DEPENDS-ON ("cffi-grovel") :DEPENDS-ON ("cffi") :SERIAL T :PATHNAME "src/ffi" :COMPONENTS ((:FILE "package") (:CFFI-GROVEL-FILE "z3-grovel") (:FILE "z3-c-types") (:FILE "z3-c") (:FILE "z3-api"))) 0)
9: ((LAMBDA (SB-KERNEL:FORM &KEY :CURRENT-INDEX &ALLOW-OTHER-KEYS) :IN SB-INT:LOAD-AS-SOURCE) (DEFSYSTEM "cl-z3/ffi" :DEFSYSTEM-DEPENDS-ON ("cffi-grovel") :DEPENDS-ON ("cffi") :SERIAL T :PATHNAME "src/ffi" :COMPONENTS ((:FILE "package") (:CFFI-GROVEL-FILE "z3-grovel") (:FILE "z3-c-types") (:FILE "z3-c") (:FILE "z3-api"))) :CURRENT-INDEX 0)
10: (SB-C::%DO-FORMS-FROM-INFO #<FUNCTION (LAMBDA (SB-KERNEL:FORM &KEY :CURRENT-INDEX &ALLOW-OTHER-KEYS) :IN SB-INT:LOAD-AS-SOURCE) {7F0700ED635B}> #<SB-C::SOURCE-INFO {12033D5E03}> SB-C::INPUT-ERROR-IN-LOAD)
11: (SB-INT:LOAD-AS-SOURCE #<SB-INT:FORM-TRACKING-STREAM for "file /home/quicklisp/quicklisp-controller/dist/build-cache/cl-z3/79790934f4cfae7a31e2e898870d83493bc4c52b/cl-z3-20251102-git/cl-z3.asd" {12033E6273}> :VERBOSE NIL :PRINT NIL :CONTEXT "loading")
12: ((LABELS SB-FASL::LOAD-STREAM-1 :IN LOAD) #<SB-INT:FORM-TRACKING-STREAM for "file /home/quicklisp/quicklisp-controller/dist/build-cache/cl-z3/79790934f4cfae7a31e2e898870d83493bc4c52b/cl-z3-20251102-git/cl-z3.asd" {12033E6273}> NIL)
13: (SB-FASL::CALL-WITH-LOAD-BINDINGS #<FUNCTION (LABELS SB-FASL::LOAD-STREAM-1 :IN LOAD) {7F0700ED671B}> #<SB-INT:FORM-TRACKING-STREAM for "file /home/quicklisp/quicklisp-controller/dist/build-cache/cl-z3/79790934f4cfae7a31e2e898870d83493bc4c52b/cl-z3-20251102-git/cl-z3.asd" {12033E6273}> NIL #<SB-INT:FORM-TRACKING-STREAM for "file /home/quicklisp/quicklisp-controller/dist/build-cache/cl-z3/79790934f4cfae7a31e2e898870d83493bc4c52b/cl-z3-20251102-git/cl-z3.asd" {12033E6273}>)
14: (LOAD #P"/home/quicklisp/quicklisp-controller/dist/build-cache/cl-z3/79790934f4cfae7a31e2e898870d83493bc4c52b/cl-z3-20251102-git/cl-z3.asd" :VERBOSE NIL :PRINT NIL :IF-DOES-NOT-EXIST :ERROR :EXTERNAL-FORMAT :UTF-8)
15: (CALL-WITH-MUFFLED-CONDITIONS #<FUNCTION (LAMBDA NIL :IN LOAD*) {12033E4B1B}> ("Overwriting already existing readtable ~S." #(#:FINALIZERS-OFF-WARNING :ASDF-FINALIZERS)))
16: ((FLET "THUNK" :IN PERFORM))
17: (SB-IMPL::%WITH-STANDARD-IO-SYNTAX #<FUNCTION (FLET "THUNK" :IN PERFORM) {7F0700ED698B}>)
18: ((:METHOD PERFORM (DEFINE-OP SYSTEM)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3">) [fast-method]
19: ((SB-PCL::EMF PERFORM) #<unused argument> #<unused argument> #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3">)
20: ((LAMBDA NIL :IN ASDF/ACTION:CALL-WHILE-VISITING-ACTION))
21: ((:METHOD PERFORM-WITH-RESTARTS :AROUND (T T)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3">) [fast-method]
22: ((:METHOD PERFORM-PLAN (T)) #<SEQUENTIAL-PLAN {12033D4003}>) [fast-method]
23: ((FLET SB-C::WITH-IT :IN SB-C::%WITH-COMPILATION-UNIT))
24: ((:METHOD PERFORM-PLAN :AROUND (T)) #<SEQUENTIAL-PLAN {12033D4003}>) [fast-method]
25: ((:METHOD OPERATE (OPERATION COMPONENT)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3"> :PLAN-CLASS NIL :PLAN-OPTIONS NIL) [fast-method]
26: ((SB-PCL::EMF OPERATE) #<unused argument> #<unused argument> #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3">)
27: ((LAMBDA NIL :IN OPERATE))
28: ((:METHOD OPERATE :AROUND (T T)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3">) [fast-method]
29: ((LAMBDA NIL :IN FIND-SYSTEM))
30: (ASDF/SESSION:CONSULT-ASDF-CACHE (FIND-SYSTEM "cl-z3") #<FUNCTION (LAMBDA NIL :IN FIND-SYSTEM) {1203383A8B}>)
31: ((:METHOD FIND-COMPONENT (STRING T)) "cl-z3" (NIL) :REGISTERED NIL) [fast-method]
32: ((:METHOD OPERATE (OPERATION T)) #<DEFINE-OP > ("cl-z3")) [fast-method]
33: ((SB-PCL::EMF OPERATE) #<unused argument> #<unused argument> #<DEFINE-OP > ("cl-z3"))
34: ((LAMBDA NIL :IN OPERATE))
35: ((:METHOD OPERATE :AROUND (T T)) #<DEFINE-OP > ("cl-z3")) [fast-method]
36: (ASDF/SESSION:CALL-WITH-ASDF-SESSION #<FUNCTION (LAMBDA NIL :IN OPERATE) {12033436BB}> :OVERRIDE T :KEY NIL :OVERRIDE-CACHE T :OVERRIDE-FORCING NIL)
37: ((LAMBDA NIL :IN OPERATE))
38: ((:METHOD OPERATE :AROUND (T T)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3">) [fast-method]
39: ((LAMBDA NIL :IN LOAD-ASD))
40: ((LAMBDA NIL :IN FIND-SYSTEM))
41: (ASDF/SESSION:CONSULT-ASDF-CACHE (FIND-SYSTEM "cl-z3") #<FUNCTION (LAMBDA NIL :IN FIND-SYSTEM) {1201F99B8B}>)
42: (ASDF/SESSION:CALL-WITH-ASDF-SESSION #<FUNCTION (LAMBDA NIL :IN FIND-SYSTEM) {1201F99B8B}> :OVERRIDE NIL :KEY (FIND-SYSTEM "cl-z3") :OVERRIDE-CACHE NIL :OVERRIDE-FORCING NIL)
43: (DEPCHECK::COMPUTE-DEPENDENCIES "cl-z3" "cl-z3/tests")
44: (DEPCHECK::MAGIC "cl-z3" "cl-z3/tests" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-w8iasxfq/depcheck-win.txt")
45: (DEPCHECK::MAIN ("depcheck" "/home/quicklisp/quicklisp-controller/dist/system-file-index" "cl-z3" "cl-z3/tests" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-w8iasxfq/depcheck-win.txt" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-w8iasxfq/depcheck-fail.txt"))
46: ((LAMBDA NIL :IN "/home/quicklisp/quicklisp/local-projects/quicklisp-controller/dumper-2SKVI5f7.lisp"))
47: ((FLET SB-UNIX::BODY :IN SB-IMPL::START-LISP))
48: ((FLET "WITHOUT-INTERRUPTS-BODY-3" :IN SB-IMPL::START-LISP))
49: (SB-IMPL::%START-LISP)

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

While evaluating the form starting at line 1, column 0
  of #P"/home/quicklisp/quicklisp-controller/dist/build-cache/cl-z3/79790934f4cfae7a31e2e898870d83493bc4c52b/cl-z3-20251102-git/cl-z3.asd":
Unhandled MISSING-DEPENDENCY in thread #<SB-THREAD:THREAD tid=933199 "main thread" RUNNING {1200030003}>: Component "cffi-grovel" not found, required by NIL

Backtrace for: #<SB-THREAD:THREAD tid=933199 "main thread" RUNNING {1200030003}>
0: (SB-DEBUG::DEBUGGER-DISABLED-HOOK Component "cffi-grovel" not found, required by NIL #<unused argument> :QUIT T)
1: (SB-DEBUG::RUN-HOOK SB-EXT:*INVOKE-DEBUGGER-HOOK* Component "cffi-grovel" not found, required by NIL)
2: (INVOKE-DEBUGGER Component "cffi-grovel" not found, required by NIL)
3: (ERROR MISSING-DEPENDENCY :REQUIRED-BY NIL :REQUIRES "cffi-grovel")
4: (ASDF/FIND-COMPONENT:RESOLVE-DEPENDENCY-NAME NIL "cffi-grovel" NIL)
5: ((LAMBDA NIL :IN ASDF/PARSE-DEFSYSTEM:REGISTER-SYSTEM-DEFINITION))
6: (SB-INT:SIMPLE-EVAL-IN-LEXENV (DEFSYSTEM "cl-z3/ffi" :DEFSYSTEM-DEPENDS-ON ("cffi-grovel") :DEPENDS-ON ("cffi") :SERIAL T :PATHNAME "src/ffi" :COMPONENTS ((:FILE "package") (:CFFI-GROVEL-FILE "z3-grovel") (:FILE "z3-c-types") (:FILE "z3-c") (:FILE "z3-api"))) #<NULL-LEXENV>)
7: (SB-EXT:EVAL-TLF (DEFSYSTEM "cl-z3/ffi" :DEFSYSTEM-DEPENDS-ON ("cffi-grovel") :DEPENDS-ON ("cffi") :SERIAL T :PATHNAME "src/ffi" :COMPONENTS ((:FILE "package") (:CFFI-GROVEL-FILE "z3-grovel") (:FILE "z3-c-types") (:FILE "z3-c") (:FILE "z3-api"))) 0 NIL)
8: ((LABELS SB-FASL::EVAL-FORM :IN SB-INT:LOAD-AS-SOURCE) (DEFSYSTEM "cl-z3/ffi" :DEFSYSTEM-DEPENDS-ON ("cffi-grovel") :DEPENDS-ON ("cffi") :SERIAL T :PATHNAME "src/ffi" :COMPONENTS ((:FILE "package") (:CFFI-GROVEL-FILE "z3-grovel") (:FILE "z3-c-types") (:FILE "z3-c") (:FILE "z3-api"))) 0)
9: ((LAMBDA (SB-KERNEL:FORM &KEY :CURRENT-INDEX &ALLOW-OTHER-KEYS) :IN SB-INT:LOAD-AS-SOURCE) (DEFSYSTEM "cl-z3/ffi" :DEFSYSTEM-DEPENDS-ON ("cffi-grovel") :DEPENDS-ON ("cffi") :SERIAL T :PATHNAME "src/ffi" :COMPONENTS ((:FILE "package") (:CFFI-GROVEL-FILE "z3-grovel") (:FILE "z3-c-types") (:FILE "z3-c") (:FILE "z3-api"))) :CURRENT-INDEX 0)
10: (SB-C::%DO-FORMS-FROM-INFO #<FUNCTION (LAMBDA (SB-KERNEL:FORM &KEY :CURRENT-INDEX &ALLOW-OTHER-KEYS) :IN SB-INT:LOAD-AS-SOURCE) {7FBDA26EE35B}> #<SB-C::SOURCE-INFO {12033D5E03}> SB-C::INPUT-ERROR-IN-LOAD)
11: (SB-INT:LOAD-AS-SOURCE #<SB-INT:FORM-TRACKING-STREAM for "file /home/quicklisp/quicklisp-controller/dist/build-cache/cl-z3/79790934f4cfae7a31e2e898870d83493bc4c52b/cl-z3-20251102-git/cl-z3.asd" {12033E6273}> :VERBOSE NIL :PRINT NIL :CONTEXT "loading")
12: ((LABELS SB-FASL::LOAD-STREAM-1 :IN LOAD) #<SB-INT:FORM-TRACKING-STREAM for "file /home/quicklisp/quicklisp-controller/dist/build-cache/cl-z3/79790934f4cfae7a31e2e898870d83493bc4c52b/cl-z3-20251102-git/cl-z3.asd" {12033E6273}> NIL)
13: (SB-FASL::CALL-WITH-LOAD-BINDINGS #<FUNCTION (LABELS SB-FASL::LOAD-STREAM-1 :IN LOAD) {7FBDA26EE71B}> #<SB-INT:FORM-TRACKING-STREAM for "file /home/quicklisp/quicklisp-controller/dist/build-cache/cl-z3/79790934f4cfae7a31e2e898870d83493bc4c52b/cl-z3-20251102-git/cl-z3.asd" {12033E6273}> NIL #<SB-INT:FORM-TRACKING-STREAM for "file /home/quicklisp/quicklisp-controller/dist/build-cache/cl-z3/79790934f4cfae7a31e2e898870d83493bc4c52b/cl-z3-20251102-git/cl-z3.asd" {12033E6273}>)
14: (LOAD #P"/home/quicklisp/quicklisp-controller/dist/build-cache/cl-z3/79790934f4cfae7a31e2e898870d83493bc4c52b/cl-z3-20251102-git/cl-z3.asd" :VERBOSE NIL :PRINT NIL :IF-DOES-NOT-EXIST :ERROR :EXTERNAL-FORMAT :UTF-8)
15: (CALL-WITH-MUFFLED-CONDITIONS #<FUNCTION (LAMBDA NIL :IN LOAD*) {12033E4B1B}> ("Overwriting already existing readtable ~S." #(#:FINALIZERS-OFF-WARNING :ASDF-FINALIZERS)))
16: ((FLET "THUNK" :IN PERFORM))
17: (SB-IMPL::%WITH-STANDARD-IO-SYNTAX #<FUNCTION (FLET "THUNK" :IN PERFORM) {7FBDA26EE98B}>)
18: ((:METHOD PERFORM (DEFINE-OP SYSTEM)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3">) [fast-method]
19: ((SB-PCL::EMF PERFORM) #<unused argument> #<unused argument> #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3">)
20: ((LAMBDA NIL :IN ASDF/ACTION:CALL-WHILE-VISITING-ACTION))
21: ((:METHOD PERFORM-WITH-RESTARTS :AROUND (T T)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3">) [fast-method]
22: ((:METHOD PERFORM-PLAN (T)) #<SEQUENTIAL-PLAN {12033D4003}>) [fast-method]
23: ((FLET SB-C::WITH-IT :IN SB-C::%WITH-COMPILATION-UNIT))
24: ((:METHOD PERFORM-PLAN :AROUND (T)) #<SEQUENTIAL-PLAN {12033D4003}>) [fast-method]
25: ((:METHOD OPERATE (OPERATION COMPONENT)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3"> :PLAN-CLASS NIL :PLAN-OPTIONS NIL) [fast-method]
26: ((SB-PCL::EMF OPERATE) #<unused argument> #<unused argument> #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3">)
27: ((LAMBDA NIL :IN OPERATE))
28: ((:METHOD OPERATE :AROUND (T T)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3">) [fast-method]
29: ((LAMBDA NIL :IN FIND-SYSTEM))
30: (ASDF/SESSION:CONSULT-ASDF-CACHE (FIND-SYSTEM "cl-z3") #<FUNCTION (LAMBDA NIL :IN FIND-SYSTEM) {1203383A8B}>)
31: ((:METHOD FIND-COMPONENT (STRING T)) "cl-z3" (NIL) :REGISTERED NIL) [fast-method]
32: ((:METHOD OPERATE (OPERATION T)) #<DEFINE-OP > ("cl-z3")) [fast-method]
33: ((SB-PCL::EMF OPERATE) #<unused argument> #<unused argument> #<DEFINE-OP > ("cl-z3"))
34: ((LAMBDA NIL :IN OPERATE))
35: ((:METHOD OPERATE :AROUND (T T)) #<DEFINE-OP > ("cl-z3")) [fast-method]
36: (ASDF/SESSION:CALL-WITH-ASDF-SESSION #<FUNCTION (LAMBDA NIL :IN OPERATE) {12033436BB}> :OVERRIDE T :KEY NIL :OVERRIDE-CACHE T :OVERRIDE-FORCING NIL)
37: ((LAMBDA NIL :IN OPERATE))
38: ((:METHOD OPERATE :AROUND (T T)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3">) [fast-method]
39: ((LAMBDA NIL :IN LOAD-ASD))
40: ((LAMBDA NIL :IN FIND-SYSTEM))
41: (ASDF/SESSION:CONSULT-ASDF-CACHE (FIND-SYSTEM "cl-z3") #<FUNCTION (LAMBDA NIL :IN FIND-SYSTEM) {1201F99B8B}>)
42: (ASDF/SESSION:CALL-WITH-ASDF-SESSION #<FUNCTION (LAMBDA NIL :IN FIND-SYSTEM) {1201F99B8B}> :OVERRIDE NIL :KEY (FIND-SYSTEM "cl-z3") :OVERRIDE-CACHE NIL :OVERRIDE-FORCING NIL)
43: (DEPCHECK::COMPUTE-DEPENDENCIES "cl-z3" "cl-z3/ffi")
44: (DEPCHECK::MAGIC "cl-z3" "cl-z3/ffi" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-ZxdlJxyO/depcheck-win.txt")
45: (DEPCHECK::MAIN ("depcheck" "/home/quicklisp/quicklisp-controller/dist/system-file-index" "cl-z3" "cl-z3/ffi" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-ZxdlJxyO/depcheck-win.txt" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-ZxdlJxyO/depcheck-fail.txt"))
46: ((LAMBDA NIL :IN "/home/quicklisp/quicklisp/local-projects/quicklisp-controller/dumper-2SKVI5f7.lisp"))
47: ((FLET SB-UNIX::BODY :IN SB-IMPL::START-LISP))
48: ((FLET "WITHOUT-INTERRUPTS-BODY-3" :IN SB-IMPL::START-LISP))
49: (SB-IMPL::%START-LISP)

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

While evaluating the form starting at line 1, column 0
  of #P"/home/quicklisp/quicklisp-controller/dist/build-cache/cl-z3/79790934f4cfae7a31e2e898870d83493bc4c52b/cl-z3-20251102-git/cl-z3.asd":
Unhandled MISSING-DEPENDENCY in thread #<SB-THREAD:THREAD tid=933209 "main thread" RUNNING {1200030003}>: Component "cffi-grovel" not found, required by NIL

Backtrace for: #<SB-THREAD:THREAD tid=933209 "main thread" RUNNING {1200030003}>
0: (SB-DEBUG::DEBUGGER-DISABLED-HOOK Component "cffi-grovel" not found, required by NIL #<unused argument> :QUIT T)
1: (SB-DEBUG::RUN-HOOK SB-EXT:*INVOKE-DEBUGGER-HOOK* Component "cffi-grovel" not found, required by NIL)
2: (INVOKE-DEBUGGER Component "cffi-grovel" not found, required by NIL)
3: (ERROR MISSING-DEPENDENCY :REQUIRED-BY NIL :REQUIRES "cffi-grovel")
4: (ASDF/FIND-COMPONENT:RESOLVE-DEPENDENCY-NAME NIL "cffi-grovel" NIL)
5: ((LAMBDA NIL :IN ASDF/PARSE-DEFSYSTEM:REGISTER-SYSTEM-DEFINITION))
6: (SB-INT:SIMPLE-EVAL-IN-LEXENV (DEFSYSTEM "cl-z3/ffi" :DEFSYSTEM-DEPENDS-ON ("cffi-grovel") :DEPENDS-ON ("cffi") :SERIAL T :PATHNAME "src/ffi" :COMPONENTS ((:FILE "package") (:CFFI-GROVEL-FILE "z3-grovel") (:FILE "z3-c-types") (:FILE "z3-c") (:FILE "z3-api"))) #<NULL-LEXENV>)
7: (SB-EXT:EVAL-TLF (DEFSYSTEM "cl-z3/ffi" :DEFSYSTEM-DEPENDS-ON ("cffi-grovel") :DEPENDS-ON ("cffi") :SERIAL T :PATHNAME "src/ffi" :COMPONENTS ((:FILE "package") (:CFFI-GROVEL-FILE "z3-grovel") (:FILE "z3-c-types") (:FILE "z3-c") (:FILE "z3-api"))) 0 NIL)
8: ((LABELS SB-FASL::EVAL-FORM :IN SB-INT:LOAD-AS-SOURCE) (DEFSYSTEM "cl-z3/ffi" :DEFSYSTEM-DEPENDS-ON ("cffi-grovel") :DEPENDS-ON ("cffi") :SERIAL T :PATHNAME "src/ffi" :COMPONENTS ((:FILE "package") (:CFFI-GROVEL-FILE "z3-grovel") (:FILE "z3-c-types") (:FILE "z3-c") (:FILE "z3-api"))) 0)
9: ((LAMBDA (SB-KERNEL:FORM &KEY :CURRENT-INDEX &ALLOW-OTHER-KEYS) :IN SB-INT:LOAD-AS-SOURCE) (DEFSYSTEM "cl-z3/ffi" :DEFSYSTEM-DEPENDS-ON ("cffi-grovel") :DEPENDS-ON ("cffi") :SERIAL T :PATHNAME "src/ffi" :COMPONENTS ((:FILE "package") (:CFFI-GROVEL-FILE "z3-grovel") (:FILE "z3-c-types") (:FILE "z3-c") (:FILE "z3-api"))) :CURRENT-INDEX 0)
10: (SB-C::%DO-FORMS-FROM-INFO #<FUNCTION (LAMBDA (SB-KERNEL:FORM &KEY :CURRENT-INDEX &ALLOW-OTHER-KEYS) :IN SB-INT:LOAD-AS-SOURCE) {7F8350FA635B}> #<SB-C::SOURCE-INFO {12033D5E03}> SB-C::INPUT-ERROR-IN-LOAD)
11: (SB-INT:LOAD-AS-SOURCE #<SB-INT:FORM-TRACKING-STREAM for "file /home/quicklisp/quicklisp-controller/dist/build-cache/cl-z3/79790934f4cfae7a31e2e898870d83493bc4c52b/cl-z3-20251102-git/cl-z3.asd" {12033E6273}> :VERBOSE NIL :PRINT NIL :CONTEXT "loading")
12: ((LABELS SB-FASL::LOAD-STREAM-1 :IN LOAD) #<SB-INT:FORM-TRACKING-STREAM for "file /home/quicklisp/quicklisp-controller/dist/build-cache/cl-z3/79790934f4cfae7a31e2e898870d83493bc4c52b/cl-z3-20251102-git/cl-z3.asd" {12033E6273}> NIL)
13: (SB-FASL::CALL-WITH-LOAD-BINDINGS #<FUNCTION (LABELS SB-FASL::LOAD-STREAM-1 :IN LOAD) {7F8350FA671B}> #<SB-INT:FORM-TRACKING-STREAM for "file /home/quicklisp/quicklisp-controller/dist/build-cache/cl-z3/79790934f4cfae7a31e2e898870d83493bc4c52b/cl-z3-20251102-git/cl-z3.asd" {12033E6273}> NIL #<SB-INT:FORM-TRACKING-STREAM for "file /home/quicklisp/quicklisp-controller/dist/build-cache/cl-z3/79790934f4cfae7a31e2e898870d83493bc4c52b/cl-z3-20251102-git/cl-z3.asd" {12033E6273}>)
14: (LOAD #P"/home/quicklisp/quicklisp-controller/dist/build-cache/cl-z3/79790934f4cfae7a31e2e898870d83493bc4c52b/cl-z3-20251102-git/cl-z3.asd" :VERBOSE NIL :PRINT NIL :IF-DOES-NOT-EXIST :ERROR :EXTERNAL-FORMAT :UTF-8)
15: (CALL-WITH-MUFFLED-CONDITIONS #<FUNCTION (LAMBDA NIL :IN LOAD*) {12033E4B1B}> ("Overwriting already existing readtable ~S." #(#:FINALIZERS-OFF-WARNING :ASDF-FINALIZERS)))
16: ((FLET "THUNK" :IN PERFORM))
17: (SB-IMPL::%WITH-STANDARD-IO-SYNTAX #<FUNCTION (FLET "THUNK" :IN PERFORM) {7F8350FA698B}>)
18: ((:METHOD PERFORM (DEFINE-OP SYSTEM)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3">) [fast-method]
19: ((SB-PCL::EMF PERFORM) #<unused argument> #<unused argument> #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3">)
20: ((LAMBDA NIL :IN ASDF/ACTION:CALL-WHILE-VISITING-ACTION))
21: ((:METHOD PERFORM-WITH-RESTARTS :AROUND (T T)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3">) [fast-method]
22: ((:METHOD PERFORM-PLAN (T)) #<SEQUENTIAL-PLAN {12033D4003}>) [fast-method]
23: ((FLET SB-C::WITH-IT :IN SB-C::%WITH-COMPILATION-UNIT))
24: ((:METHOD PERFORM-PLAN :AROUND (T)) #<SEQUENTIAL-PLAN {12033D4003}>) [fast-method]
25: ((:METHOD OPERATE (OPERATION COMPONENT)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3"> :PLAN-CLASS NIL :PLAN-OPTIONS NIL) [fast-method]
26: ((SB-PCL::EMF OPERATE) #<unused argument> #<unused argument> #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3">)
27: ((LAMBDA NIL :IN OPERATE))
28: ((:METHOD OPERATE :AROUND (T T)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3">) [fast-method]
29: ((LAMBDA NIL :IN FIND-SYSTEM))
30: (ASDF/SESSION:CONSULT-ASDF-CACHE (FIND-SYSTEM "cl-z3") #<FUNCTION (LAMBDA NIL :IN FIND-SYSTEM) {1203383A8B}>)
31: ((:METHOD FIND-COMPONENT (STRING T)) "cl-z3" (NIL) :REGISTERED NIL) [fast-method]
32: ((:METHOD OPERATE (OPERATION T)) #<DEFINE-OP > ("cl-z3")) [fast-method]
33: ((SB-PCL::EMF OPERATE) #<unused argument> #<unused argument> #<DEFINE-OP > ("cl-z3"))
34: ((LAMBDA NIL :IN OPERATE))
35: ((:METHOD OPERATE :AROUND (T T)) #<DEFINE-OP > ("cl-z3")) [fast-method]
36: (ASDF/SESSION:CALL-WITH-ASDF-SESSION #<FUNCTION (LAMBDA NIL :IN OPERATE) {12033436BB}> :OVERRIDE T :KEY NIL :OVERRIDE-CACHE T :OVERRIDE-FORCING NIL)
37: ((LAMBDA NIL :IN OPERATE))
38: ((:METHOD OPERATE :AROUND (T T)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-z3">) [fast-method]
39: ((LAMBDA NIL :IN LOAD-ASD))
40: ((LAMBDA NIL :IN FIND-SYSTEM))
41: (ASDF/SESSION:CONSULT-ASDF-CACHE (FIND-SYSTEM "cl-z3") #<FUNCTION (LAMBDA NIL :IN FIND-SYSTEM) {1201F99B8B}>)
42: (ASDF/SESSION:CALL-WITH-ASDF-SESSION #<FUNCTION (LAMBDA NIL :IN FIND-SYSTEM) {1201F99B8B}> :OVERRIDE NIL :KEY (FIND-SYSTEM "cl-z3") :OVERRIDE-CACHE NIL :OVERRIDE-FORCING NIL)
43: (DEPCHECK::COMPUTE-DEPENDENCIES "cl-z3" "cl-z3")
44: (DEPCHECK::MAGIC "cl-z3" "cl-z3" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-JyYG36mi/depcheck-win.txt")
45: (DEPCHECK::MAIN ("depcheck" "/home/quicklisp/quicklisp-controller/dist/system-file-index" "cl-z3" "cl-z3" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-JyYG36mi/depcheck-win.txt" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-JyYG36mi/depcheck-fail.txt"))
46: ((LAMBDA NIL :IN "/home/quicklisp/quicklisp/local-projects/quicklisp-controller/dumper-2SKVI5f7.lisp"))
47: ((FLET SB-UNIX::BODY :IN SB-IMPL::START-LISP))
48: ((FLET "WITHOUT-INTERRUPTS-BODY-3" :IN SB-IMPL::START-LISP))
49: (SB-IMPL::%START-LISP)

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