cl-sat.minisat

SBCL 2.5.9.105-56015d7ab / ASDF 3.3.5

cl-sat.minisat

While evaluating the form starting at line 14, column 0
  of #P"/home/quicklisp/quicklisp-controller/dist/build-cache/cl-sat.minisat/c6e6321160c5d5f57de4c54fb8b6e9da5a0c526b/cl-sat.minisat-20251102-git/cl-sat.minisat.asd":
Unhandled MISSING-DEPENDENCY in thread #<SB-THREAD:THREAD tid=931831 "main thread" RUNNING {1200030003}>: Component :TRIVIAL-OPEN-BROWSER not found, required by #<SYSTEM "trivial-package-manager">

Backtrace for: #<SB-THREAD:THREAD tid=931831 "main thread" RUNNING {1200030003}>
0: (SB-DEBUG::DEBUGGER-DISABLED-HOOK Component :TRIVIAL-OPEN-BROWSER not found, required by #<SYSTEM "trivial-package-manager"> #<unused argument> :QUIT T)
1: (SB-DEBUG::RUN-HOOK SB-EXT:*INVOKE-DEBUGGER-HOOK* Component :TRIVIAL-OPEN-BROWSER not found, required by #<SYSTEM "trivial-package-manager">)
2: (INVOKE-DEBUGGER Component :TRIVIAL-OPEN-BROWSER not found, required by #<SYSTEM "trivial-package-manager">)
3: (ERROR MISSING-DEPENDENCY :REQUIRED-BY #<SYSTEM "trivial-package-manager"> :REQUIRES :TRIVIAL-OPEN-BROWSER)
4: (ASDF/FIND-COMPONENT:RESOLVE-DEPENDENCY-NAME #<SYSTEM "trivial-package-manager"> :TRIVIAL-OPEN-BROWSER NIL)
5: (ASDF/PLAN:MAP-DIRECT-DEPENDENCIES #<PREPARE-OP > #<SYSTEM "trivial-package-manager"> #<FUNCTION (LAMBDA (ASDF/PLAN::O ASDF/PLAN::C) :IN ASDF/PLAN:TRAVERSE-ACTION) {12036C468B}>)
6: ((LAMBDA NIL :IN ASDF/PLAN:TRAVERSE-ACTION))
7: ((LAMBDA NIL :IN ASDF/ACTION:CALL-WHILE-VISITING-ACTION))
8: (ASDF/PLAN:TRAVERSE-ACTION #<SEQUENTIAL-PLAN {12036A3D33}> #<PREPARE-OP > #<SYSTEM "trivial-package-manager"> T)
9: (ASDF/PLAN:MAP-DIRECT-DEPENDENCIES #<PREPARE-OP > #<CL-SOURCE-FILE "trivial-package-manager" "package"> #<FUNCTION (LAMBDA (ASDF/PLAN::O ASDF/PLAN::C) :IN ASDF/PLAN:TRAVERSE-ACTION) {12036C453B}>)
10: ((LAMBDA NIL :IN ASDF/PLAN:TRAVERSE-ACTION))
11: ((LAMBDA NIL :IN ASDF/ACTION:CALL-WHILE-VISITING-ACTION))
12: (ASDF/PLAN:TRAVERSE-ACTION #<SEQUENTIAL-PLAN {12036A3D33}> #<PREPARE-OP > #<CL-SOURCE-FILE "trivial-package-manager" "package"> T)
13: (ASDF/PLAN:MAP-DIRECT-DEPENDENCIES #<LOAD-OP > #<CL-SOURCE-FILE "trivial-package-manager" "package"> #<FUNCTION (LAMBDA (ASDF/PLAN::O ASDF/PLAN::C) :IN ASDF/PLAN:TRAVERSE-ACTION) {12036C051B}>)
14: ((LAMBDA NIL :IN ASDF/PLAN:TRAVERSE-ACTION))
15: ((LAMBDA NIL :IN ASDF/ACTION:CALL-WHILE-VISITING-ACTION))
16: (ASDF/PLAN:TRAVERSE-ACTION #<SEQUENTIAL-PLAN {12036A3D33}> #<LOAD-OP > #<CL-SOURCE-FILE "trivial-package-manager" "package"> T)
17: (ASDF/PLAN:MAP-DIRECT-DEPENDENCIES #<LOAD-OP > #<SYSTEM "trivial-package-manager"> #<FUNCTION (LAMBDA (ASDF/PLAN::O ASDF/PLAN::C) :IN ASDF/PLAN:TRAVERSE-ACTION) {12036BC48B}>)
18: ((LAMBDA NIL :IN ASDF/PLAN:TRAVERSE-ACTION))
19: ((LAMBDA NIL :IN ASDF/ACTION:CALL-WHILE-VISITING-ACTION))
20: (ASDF/PLAN:TRAVERSE-ACTION #<SEQUENTIAL-PLAN {12036A3D33}> #<LOAD-OP > #<SYSTEM "trivial-package-manager"> T)
21: ((LAMBDA NIL :IN MAKE-PLAN))
22: ((:METHOD OPERATE (OPERATION COMPONENT)) #<LOAD-OP > #<SYSTEM "trivial-package-manager"> :PLAN-CLASS NIL :PLAN-OPTIONS NIL) [fast-method]
23: ((SB-PCL::EMF OPERATE) #<unused argument> #<unused argument> #<LOAD-OP > #<SYSTEM "trivial-package-manager">)
24: ((LAMBDA NIL :IN OPERATE))
25: ((:METHOD OPERATE :AROUND (T T)) #<LOAD-OP > #<SYSTEM "trivial-package-manager">) [fast-method]
26: ((SB-PCL::EMF OPERATE) #<unused argument> #<unused argument> LOAD-OP #<SYSTEM "trivial-package-manager">)
27: ((LAMBDA NIL :IN OPERATE))
28: ((:METHOD OPERATE :AROUND (T T)) LOAD-OP #<SYSTEM "trivial-package-manager">) [fast-method]
29: ((:METHOD OPERATE :AROUND ((EQL (QUOTE LOAD-OP)) T)) LOAD-OP #<SYSTEM "trivial-package-manager">) [fast-method]
30: (LOAD-SYSTEM #<SYSTEM "trivial-package-manager">)
31: (LOAD-SYSTEMS* (#<SYSTEM "trivial-package-manager">))
32: ((LAMBDA NIL :IN ASDF/PARSE-DEFSYSTEM:REGISTER-SYSTEM-DEFINITION))
33: (SB-INT:SIMPLE-EVAL-IN-LEXENV (DEFSYSTEM CL-SAT.MINISAT :VERSION "0.1" :AUTHOR "Masataro Asai" :MAILTO "guicho2.71828@gmail.com" :LICENSE "LLGPL" :DEPENDS-ON (:TRIVIA :ALEXANDRIA :ITERATE :CL-SAT) ...) #<NULL-LEXENV>)
34: (SB-EXT:EVAL-TLF (DEFSYSTEM CL-SAT.MINISAT :VERSION "0.1" :AUTHOR "Masataro Asai" :MAILTO "guicho2.71828@gmail.com" :LICENSE "LLGPL" :DEPENDS-ON (:TRIVIA :ALEXANDRIA :ITERATE :CL-SAT) ...) 0 NIL)
35: ((LABELS SB-FASL::EVAL-FORM :IN SB-INT:LOAD-AS-SOURCE) (DEFSYSTEM CL-SAT.MINISAT :VERSION "0.1" :AUTHOR "Masataro Asai" :MAILTO "guicho2.71828@gmail.com" :LICENSE "LLGPL" :DEPENDS-ON (:TRIVIA :ALEXANDRIA :ITERATE :CL-SAT) ...) 0)
36: ((LAMBDA (SB-KERNEL:FORM &KEY :CURRENT-INDEX &ALLOW-OTHER-KEYS) :IN SB-INT:LOAD-AS-SOURCE) (DEFSYSTEM CL-SAT.MINISAT :VERSION "0.1" :AUTHOR "Masataro Asai" :MAILTO "guicho2.71828@gmail.com" :LICENSE "LLGPL" :DEPENDS-ON (:TRIVIA :ALEXANDRIA :ITERATE :CL-SAT) ...) :CURRENT-INDEX 0)
37: (SB-C::%DO-FORMS-FROM-INFO #<FUNCTION (LAMBDA (SB-KERNEL:FORM &KEY :CURRENT-INDEX &ALLOW-OTHER-KEYS) :IN SB-INT:LOAD-AS-SOURCE) {7F5C229E635B}> #<SB-C::SOURCE-INFO {12033D5EE3}> SB-C::INPUT-ERROR-IN-LOAD)
38: (SB-INT:LOAD-AS-SOURCE #<SB-INT:FORM-TRACKING-STREAM for "file /home/quicklisp/quicklisp-controller/dist/build-cache/cl-sat.minisat/c6e6321160c5d5f57de4c54fb8b6e9da5a0c526b/cl-sat.minisat-20251102-git/cl-sat.minisat.asd" {12033E69C3}> :VERBOSE NIL :PRINT NIL :CONTEXT "loading")
39: ((LABELS SB-FASL::LOAD-STREAM-1 :IN LOAD) #<SB-INT:FORM-TRACKING-STREAM for "file /home/quicklisp/quicklisp-controller/dist/build-cache/cl-sat.minisat/c6e6321160c5d5f57de4c54fb8b6e9da5a0c526b/cl-sat.minisat-20251102-git/cl-sat.minisat.asd" {12033E69C3}> NIL)
40: (SB-FASL::CALL-WITH-LOAD-BINDINGS #<FUNCTION (LABELS SB-FASL::LOAD-STREAM-1 :IN LOAD) {7F5C229E671B}> #<SB-INT:FORM-TRACKING-STREAM for "file /home/quicklisp/quicklisp-controller/dist/build-cache/cl-sat.minisat/c6e6321160c5d5f57de4c54fb8b6e9da5a0c526b/cl-sat.minisat-20251102-git/cl-sat.minisat.asd" {12033E69C3}> NIL #<SB-INT:FORM-TRACKING-STREAM for "file /home/quicklisp/quicklisp-controller/dist/build-cache/cl-sat.minisat/c6e6321160c5d5f57de4c54fb8b6e9da5a0c526b/cl-sat.minisat-20251102-git/cl-sat.minisat.asd" {12033E69C3}>)
41: (LOAD #P"/home/quicklisp/quicklisp-controller/dist/build-cache/cl-sat.minisat/c6e6321160c5d5f57de4c54fb8b6e9da5a0c526b/cl-sat.minisat-20251102-git/cl-sat.minisat.asd" :VERBOSE NIL :PRINT NIL :IF-DOES-NOT-EXIST :ERROR :EXTERNAL-FORMAT :UTF-8)
42: (CALL-WITH-MUFFLED-CONDITIONS #<FUNCTION (LAMBDA NIL :IN LOAD*) {12033E4F6B}> ("Overwriting already existing readtable ~S." #(#:FINALIZERS-OFF-WARNING :ASDF-FINALIZERS)))
43: ((FLET "THUNK" :IN PERFORM))
44: (SB-IMPL::%WITH-STANDARD-IO-SYNTAX #<FUNCTION (FLET "THUNK" :IN PERFORM) {7F5C229E698B}>)
45: ((:METHOD PERFORM (DEFINE-OP SYSTEM)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-sat.minisat">) [fast-method]
46: ((SB-PCL::EMF PERFORM) #<unused argument> #<unused argument> #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-sat.minisat">)
47: ((LAMBDA NIL :IN ASDF/ACTION:CALL-WHILE-VISITING-ACTION))
48: ((:METHOD PERFORM-WITH-RESTARTS :AROUND (T T)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-sat.minisat">) [fast-method]
49: ((:METHOD PERFORM-PLAN (T)) #<SEQUENTIAL-PLAN {12033D40E3}>) [fast-method]
50: ((FLET SB-C::WITH-IT :IN SB-C::%WITH-COMPILATION-UNIT))
51: ((:METHOD PERFORM-PLAN :AROUND (T)) #<SEQUENTIAL-PLAN {12033D40E3}>) [fast-method]
52: ((:METHOD OPERATE (OPERATION COMPONENT)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-sat.minisat"> :PLAN-CLASS NIL :PLAN-OPTIONS NIL) [fast-method]
53: ((SB-PCL::EMF OPERATE) #<unused argument> #<unused argument> #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-sat.minisat">)
54: ((LAMBDA NIL :IN OPERATE))
55: ((:METHOD OPERATE :AROUND (T T)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-sat.minisat">) [fast-method]
56: ((LAMBDA NIL :IN FIND-SYSTEM))
57: (ASDF/SESSION:CONSULT-ASDF-CACHE (FIND-SYSTEM "cl-sat.minisat") #<FUNCTION (LAMBDA NIL :IN FIND-SYSTEM) {1203383A8B}>)
58: ((:METHOD FIND-COMPONENT (STRING T)) "cl-sat.minisat" (NIL) :REGISTERED NIL) [fast-method]
59: ((:METHOD OPERATE (OPERATION T)) #<DEFINE-OP > ("cl-sat.minisat")) [fast-method]
60: ((SB-PCL::EMF OPERATE) #<unused argument> #<unused argument> #<DEFINE-OP > ("cl-sat.minisat"))
61: ((LAMBDA NIL :IN OPERATE))
62: ((:METHOD OPERATE :AROUND (T T)) #<DEFINE-OP > ("cl-sat.minisat")) [fast-method]
63: (ASDF/SESSION:CALL-WITH-ASDF-SESSION #<FUNCTION (LAMBDA NIL :IN OPERATE) {12033436BB}> :OVERRIDE T :KEY NIL :OVERRIDE-CACHE T :OVERRIDE-FORCING NIL)
64: ((LAMBDA NIL :IN OPERATE))
65: ((:METHOD OPERATE :AROUND (T T)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-sat.minisat">) [fast-method]
66: ((LAMBDA NIL :IN LOAD-ASD))
67: ((LAMBDA NIL :IN FIND-SYSTEM))
68: (ASDF/SESSION:CONSULT-ASDF-CACHE (FIND-SYSTEM "cl-sat.minisat") #<FUNCTION (LAMBDA NIL :IN FIND-SYSTEM) {1201F99B8B}>)
69: (ASDF/SESSION:CALL-WITH-ASDF-SESSION #<FUNCTION (LAMBDA NIL :IN FIND-SYSTEM) {1201F99B8B}> :OVERRIDE NIL :KEY (FIND-SYSTEM "cl-sat.minisat") :OVERRIDE-CACHE NIL :OVERRIDE-FORCING NIL)
70: (DEPCHECK::COMPUTE-DEPENDENCIES "cl-sat.minisat" "cl-sat.minisat")
71: (DEPCHECK::MAGIC "cl-sat.minisat" "cl-sat.minisat" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-1qjhyxZo/depcheck-win.txt")
72: (DEPCHECK::MAIN ("depcheck" "/home/quicklisp/quicklisp-controller/dist/system-file-index" "cl-sat.minisat" "cl-sat.minisat" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-1qjhyxZo/depcheck-win.txt" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-1qjhyxZo/depcheck-fail.txt"))
73: ((LAMBDA NIL :IN "/home/quicklisp/quicklisp/local-projects/quicklisp-controller/dumper-2SKVI5f7.lisp"))
74: ((FLET SB-UNIX::BODY :IN SB-IMPL::START-LISP))
75: ((FLET "WITHOUT-INTERRUPTS-BODY-3" :IN SB-IMPL::START-LISP))
76: (SB-IMPL::%START-LISP)

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

cl-sat.minisat.test

While evaluating the form starting at line 14, column 0
  of #P"/home/quicklisp/quicklisp-controller/dist/build-cache/cl-sat.minisat/c6e6321160c5d5f57de4c54fb8b6e9da5a0c526b/cl-sat.minisat-20251102-git/cl-sat.minisat.asd":
Unhandled MISSING-DEPENDENCY in thread #<SB-THREAD:THREAD tid=931841 "main thread" RUNNING {1200030003}>: Component :TRIVIAL-OPEN-BROWSER not found, required by #<SYSTEM "trivial-package-manager">

Backtrace for: #<SB-THREAD:THREAD tid=931841 "main thread" RUNNING {1200030003}>
0: (SB-DEBUG::DEBUGGER-DISABLED-HOOK Component :TRIVIAL-OPEN-BROWSER not found, required by #<SYSTEM "trivial-package-manager"> #<unused argument> :QUIT T)
1: (SB-DEBUG::RUN-HOOK SB-EXT:*INVOKE-DEBUGGER-HOOK* Component :TRIVIAL-OPEN-BROWSER not found, required by #<SYSTEM "trivial-package-manager">)
2: (INVOKE-DEBUGGER Component :TRIVIAL-OPEN-BROWSER not found, required by #<SYSTEM "trivial-package-manager">)
3: (ERROR MISSING-DEPENDENCY :REQUIRED-BY #<SYSTEM "trivial-package-manager"> :REQUIRES :TRIVIAL-OPEN-BROWSER)
4: (ASDF/FIND-COMPONENT:RESOLVE-DEPENDENCY-NAME #<SYSTEM "trivial-package-manager"> :TRIVIAL-OPEN-BROWSER NIL)
5: (ASDF/PLAN:MAP-DIRECT-DEPENDENCIES #<PREPARE-OP > #<SYSTEM "trivial-package-manager"> #<FUNCTION (LAMBDA (ASDF/PLAN::O ASDF/PLAN::C) :IN ASDF/PLAN:TRAVERSE-ACTION) {12038C14DB}>)
6: ((LAMBDA NIL :IN ASDF/PLAN:TRAVERSE-ACTION))
7: ((LAMBDA NIL :IN ASDF/ACTION:CALL-WHILE-VISITING-ACTION))
8: (ASDF/PLAN:TRAVERSE-ACTION #<SEQUENTIAL-PLAN {12038B9BA3}> #<PREPARE-OP > #<SYSTEM "trivial-package-manager"> T)
9: (ASDF/PLAN:MAP-DIRECT-DEPENDENCIES #<PREPARE-OP > #<CL-SOURCE-FILE "trivial-package-manager" "package"> #<FUNCTION (LAMBDA (ASDF/PLAN::O ASDF/PLAN::C) :IN ASDF/PLAN:TRAVERSE-ACTION) {12038C13BB}>)
10: ((LAMBDA NIL :IN ASDF/PLAN:TRAVERSE-ACTION))
11: ((LAMBDA NIL :IN ASDF/ACTION:CALL-WHILE-VISITING-ACTION))
12: (ASDF/PLAN:TRAVERSE-ACTION #<SEQUENTIAL-PLAN {12038B9BA3}> #<PREPARE-OP > #<CL-SOURCE-FILE "trivial-package-manager" "package"> T)
13: (ASDF/PLAN:MAP-DIRECT-DEPENDENCIES #<LOAD-OP > #<CL-SOURCE-FILE "trivial-package-manager" "package"> #<FUNCTION (LAMBDA (ASDF/PLAN::O ASDF/PLAN::C) :IN ASDF/PLAN:TRAVERSE-ACTION) {12038C129B}>)
14: ((LAMBDA NIL :IN ASDF/PLAN:TRAVERSE-ACTION))
15: ((LAMBDA NIL :IN ASDF/ACTION:CALL-WHILE-VISITING-ACTION))
16: (ASDF/PLAN:TRAVERSE-ACTION #<SEQUENTIAL-PLAN {12038B9BA3}> #<LOAD-OP > #<CL-SOURCE-FILE "trivial-package-manager" "package"> T)
17: (ASDF/PLAN:MAP-DIRECT-DEPENDENCIES #<LOAD-OP > #<SYSTEM "trivial-package-manager"> #<FUNCTION (LAMBDA (ASDF/PLAN::O ASDF/PLAN::C) :IN ASDF/PLAN:TRAVERSE-ACTION) {12038C117B}>)
18: ((LAMBDA NIL :IN ASDF/PLAN:TRAVERSE-ACTION))
19: ((LAMBDA NIL :IN ASDF/ACTION:CALL-WHILE-VISITING-ACTION))
20: (ASDF/PLAN:TRAVERSE-ACTION #<SEQUENTIAL-PLAN {12038B9BA3}> #<LOAD-OP > #<SYSTEM "trivial-package-manager"> T)
21: ((LAMBDA NIL :IN MAKE-PLAN))
22: ((:METHOD OPERATE (OPERATION COMPONENT)) #<LOAD-OP > #<SYSTEM "trivial-package-manager"> :PLAN-CLASS NIL :PLAN-OPTIONS NIL) [fast-method]
23: ((SB-PCL::EMF OPERATE) #<unused argument> #<unused argument> #<LOAD-OP > #<SYSTEM "trivial-package-manager">)
24: ((LAMBDA NIL :IN OPERATE))
25: ((:METHOD OPERATE :AROUND (T T)) #<LOAD-OP > #<SYSTEM "trivial-package-manager">) [fast-method]
26: ((SB-PCL::EMF OPERATE) #<unused argument> #<unused argument> LOAD-OP #<SYSTEM "trivial-package-manager">)
27: ((LAMBDA NIL :IN OPERATE))
28: ((:METHOD OPERATE :AROUND (T T)) LOAD-OP #<SYSTEM "trivial-package-manager">) [fast-method]
29: (LOAD-SYSTEM #<SYSTEM "trivial-package-manager">)
30: (LOAD-SYSTEMS* (#<SYSTEM "trivial-package-manager">))
31: ((LAMBDA NIL :IN ASDF/PARSE-DEFSYSTEM:REGISTER-SYSTEM-DEFINITION))
32: (SB-INT:SIMPLE-EVAL-IN-LEXENV (DEFSYSTEM CL-SAT.MINISAT :VERSION "0.1" :AUTHOR "Masataro Asai" :MAILTO "guicho2.71828@gmail.com" :LICENSE "LLGPL" :DEPENDS-ON (:TRIVIA :ALEXANDRIA :ITERATE :CL-SAT) ...) #<NULL-LEXENV>)
33: (SB-EXT:EVAL-TLF (DEFSYSTEM CL-SAT.MINISAT :VERSION "0.1" :AUTHOR "Masataro Asai" :MAILTO "guicho2.71828@gmail.com" :LICENSE "LLGPL" :DEPENDS-ON (:TRIVIA :ALEXANDRIA :ITERATE :CL-SAT) ...) 0 NIL)
34: ((LABELS SB-FASL::EVAL-FORM :IN SB-INT:LOAD-AS-SOURCE) (DEFSYSTEM CL-SAT.MINISAT :VERSION "0.1" :AUTHOR "Masataro Asai" :MAILTO "guicho2.71828@gmail.com" :LICENSE "LLGPL" :DEPENDS-ON (:TRIVIA :ALEXANDRIA :ITERATE :CL-SAT) ...) 0)
35: ((LAMBDA (SB-KERNEL:FORM &KEY :CURRENT-INDEX &ALLOW-OTHER-KEYS) :IN SB-INT:LOAD-AS-SOURCE) (DEFSYSTEM CL-SAT.MINISAT :VERSION "0.1" :AUTHOR "Masataro Asai" :MAILTO "guicho2.71828@gmail.com" :LICENSE "LLGPL" :DEPENDS-ON (:TRIVIA :ALEXANDRIA :ITERATE :CL-SAT) ...) :CURRENT-INDEX 0)
36: (SB-C::%DO-FORMS-FROM-INFO #<FUNCTION (LAMBDA (SB-KERNEL:FORM &KEY :CURRENT-INDEX &ALLOW-OTHER-KEYS) :IN SB-INT:LOAD-AS-SOURCE) {7F54530AD5BB}> #<SB-C::SOURCE-INFO {12037F1CA3}> SB-C::INPUT-ERROR-IN-LOAD)
37: (SB-INT:LOAD-AS-SOURCE #<SB-INT:FORM-TRACKING-STREAM for "file /home/quicklisp/quicklisp-controller/dist/build-cache/cl-sat.minisat/c6e6321160c5d5f57de4c54fb8b6e9da5a0c526b/cl-sat.minisat-20251102-git/cl-sat.minisat.asd" {12037EB9F3}> :VERBOSE NIL :PRINT NIL :CONTEXT "loading")
38: ((LABELS SB-FASL::LOAD-STREAM-1 :IN LOAD) #<SB-INT:FORM-TRACKING-STREAM for "file /home/quicklisp/quicklisp-controller/dist/build-cache/cl-sat.minisat/c6e6321160c5d5f57de4c54fb8b6e9da5a0c526b/cl-sat.minisat-20251102-git/cl-sat.minisat.asd" {12037EB9F3}> NIL)
39: (SB-FASL::CALL-WITH-LOAD-BINDINGS #<FUNCTION (LABELS SB-FASL::LOAD-STREAM-1 :IN LOAD) {7F54530AD97B}> #<SB-INT:FORM-TRACKING-STREAM for "file /home/quicklisp/quicklisp-controller/dist/build-cache/cl-sat.minisat/c6e6321160c5d5f57de4c54fb8b6e9da5a0c526b/cl-sat.minisat-20251102-git/cl-sat.minisat.asd" {12037EB9F3}> NIL #<SB-INT:FORM-TRACKING-STREAM for "file /home/quicklisp/quicklisp-controller/dist/build-cache/cl-sat.minisat/c6e6321160c5d5f57de4c54fb8b6e9da5a0c526b/cl-sat.minisat-20251102-git/cl-sat.minisat.asd" {12037EB9F3}>)
40: (LOAD #P"/home/quicklisp/quicklisp-controller/dist/build-cache/cl-sat.minisat/c6e6321160c5d5f57de4c54fb8b6e9da5a0c526b/cl-sat.minisat-20251102-git/cl-sat.minisat.asd" :VERBOSE NIL :PRINT NIL :IF-DOES-NOT-EXIST :ERROR :EXTERNAL-FORMAT :UTF-8)
41: (CALL-WITH-MUFFLED-CONDITIONS #<FUNCTION (LAMBDA NIL :IN LOAD*) {12037E9F9B}> ("Overwriting already existing readtable ~S." #(#:FINALIZERS-OFF-WARNING :ASDF-FINALIZERS)))
42: ((FLET "THUNK" :IN PERFORM))
43: (SB-IMPL::%WITH-STANDARD-IO-SYNTAX #<FUNCTION (FLET "THUNK" :IN PERFORM) {7F54530ADBEB}>)
44: ((:METHOD PERFORM (DEFINE-OP SYSTEM)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-sat.minisat">) [fast-method]
45: ((SB-PCL::EMF PERFORM) #<unused argument> #<unused argument> #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-sat.minisat">)
46: ((LAMBDA NIL :IN ASDF/ACTION:CALL-WHILE-VISITING-ACTION))
47: ((:METHOD PERFORM-WITH-RESTARTS :AROUND (T T)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-sat.minisat">) [fast-method]
48: ((:METHOD PERFORM-PLAN (T)) #<SEQUENTIAL-PLAN {12037F0273}>) [fast-method]
49: ((FLET SB-C::WITH-IT :IN SB-C::%WITH-COMPILATION-UNIT))
50: ((:METHOD PERFORM-PLAN :AROUND (T)) #<SEQUENTIAL-PLAN {12037F0273}>) [fast-method]
51: ((:METHOD OPERATE (OPERATION COMPONENT)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-sat.minisat"> :PLAN-CLASS NIL :PLAN-OPTIONS NIL) [fast-method]
52: ((SB-PCL::EMF OPERATE) #<unused argument> #<unused argument> #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-sat.minisat">)
53: ((LAMBDA NIL :IN OPERATE))
54: ((:METHOD OPERATE :AROUND (T T)) #<DEFINE-OP > #<ASDF/SYSTEM:UNDEFINED-SYSTEM "cl-sat.minisat">) [fast-method]
55: ((LAMBDA NIL :IN LOAD-ASD))
56: ((LAMBDA NIL :IN FIND-SYSTEM))
57: (ASDF/SESSION:CONSULT-ASDF-CACHE (FIND-SYSTEM "cl-sat.minisat") #<FUNCTION (LAMBDA NIL :IN FIND-SYSTEM) {12037DA2CB}>)
58: ((:METHOD FIND-COMPONENT (STRING T)) "cl-sat.minisat" NIL :REGISTERED NIL) [fast-method]
59: (ASDF/FIND-COMPONENT:RESOLVE-DEPENDENCY-NAME #<SYSTEM "cl-sat.minisat.test"> :CL-SAT.MINISAT NIL)
60: (ASDF/PLAN:MAP-DIRECT-DEPENDENCIES #<PREPARE-OP > #<SYSTEM "cl-sat.minisat.test"> #<FUNCTION (LAMBDA (ASDF/PLAN::O ASDF/PLAN::C) :IN ASDF/PLAN:TRAVERSE-ACTION) {12037DA25B}>)
61: ((LAMBDA NIL :IN ASDF/PLAN:TRAVERSE-ACTION))
62: ((LAMBDA NIL :IN ASDF/ACTION:CALL-WHILE-VISITING-ACTION))
63: (ASDF/PLAN:TRAVERSE-ACTION #<SEQUENTIAL-PLAN {12037B8203}> #<PREPARE-OP > #<SYSTEM "cl-sat.minisat.test"> T)
64: (ASDF/PLAN:MAP-DIRECT-DEPENDENCIES #<PREPARE-OP > #<MODULE "cl-sat.minisat.test" "t"> #<FUNCTION (LAMBDA (ASDF/PLAN::O ASDF/PLAN::C) :IN ASDF/PLAN:TRAVERSE-ACTION) {12037DA13B}>)
65: ((LAMBDA NIL :IN ASDF/PLAN:TRAVERSE-ACTION))
66: ((LAMBDA NIL :IN ASDF/ACTION:CALL-WHILE-VISITING-ACTION))
67: (ASDF/PLAN:TRAVERSE-ACTION #<SEQUENTIAL-PLAN {12037B8203}> #<PREPARE-OP > #<MODULE "cl-sat.minisat.test" "t"> T)
68: (ASDF/PLAN:MAP-DIRECT-DEPENDENCIES #<PREPARE-OP > #<CL-SOURCE-FILE "cl-sat.minisat.test" "t" "package"> #<FUNCTION (LAMBDA (ASDF/PLAN::O ASDF/PLAN::C) :IN ASDF/PLAN:TRAVERSE-ACTION) {12037D9FEB}>)
69: ((LAMBDA NIL :IN ASDF/PLAN:TRAVERSE-ACTION))
70: ((LAMBDA NIL :IN ASDF/ACTION:CALL-WHILE-VISITING-ACTION))
71: (ASDF/PLAN:TRAVERSE-ACTION #<SEQUENTIAL-PLAN {12037B8203}> #<PREPARE-OP > #<CL-SOURCE-FILE "cl-sat.minisat.test" "t" "package"> T)
72: (ASDF/PLAN:MAP-DIRECT-DEPENDENCIES #<LOAD-OP > #<CL-SOURCE-FILE "cl-sat.minisat.test" "t" "package"> #<FUNCTION (LAMBDA (ASDF/PLAN::O ASDF/PLAN::C) :IN ASDF/PLAN:TRAVERSE-ACTION) {12037D9ECB}>)
73: ((LAMBDA NIL :IN ASDF/PLAN:TRAVERSE-ACTION))
74: ((LAMBDA NIL :IN ASDF/ACTION:CALL-WHILE-VISITING-ACTION))
75: (ASDF/PLAN:TRAVERSE-ACTION #<SEQUENTIAL-PLAN {12037B8203}> #<LOAD-OP > #<CL-SOURCE-FILE "cl-sat.minisat.test" "t" "package"> T)
76: (ASDF/PLAN:MAP-DIRECT-DEPENDENCIES #<LOAD-OP > #<MODULE "cl-sat.minisat.test" "t"> #<FUNCTION (LAMBDA (ASDF/PLAN::O ASDF/PLAN::C) :IN ASDF/PLAN:TRAVERSE-ACTION) {12037C9EFB}>)
77: ((LAMBDA NIL :IN ASDF/PLAN:TRAVERSE-ACTION))
78: ((LAMBDA NIL :IN ASDF/ACTION:CALL-WHILE-VISITING-ACTION))
79: (ASDF/PLAN:TRAVERSE-ACTION #<SEQUENTIAL-PLAN {12037B8203}> #<LOAD-OP > #<MODULE "cl-sat.minisat.test" "t"> T)
80: (ASDF/PLAN:MAP-DIRECT-DEPENDENCIES #<LOAD-OP > #<SYSTEM "cl-sat.minisat.test"> #<FUNCTION (LAMBDA (ASDF/PLAN::O ASDF/PLAN::C) :IN ASDF/PLAN:TRAVERSE-ACTION) {12037B5E7B}>)
81: ((LAMBDA NIL :IN ASDF/PLAN:TRAVERSE-ACTION))
82: ((LAMBDA NIL :IN ASDF/ACTION:CALL-WHILE-VISITING-ACTION))
83: (ASDF/PLAN:TRAVERSE-ACTION #<SEQUENTIAL-PLAN {12037B8203}> #<LOAD-OP > #<SYSTEM "cl-sat.minisat.test"> T)
84: ((LAMBDA NIL :IN MAKE-PLAN))
85: ((:METHOD OPERATE (OPERATION COMPONENT)) #<LOAD-OP > #<SYSTEM "cl-sat.minisat.test"> :PLAN-CLASS NIL :PLAN-OPTIONS NIL) [fast-method]
86: ((SB-PCL::EMF OPERATE) #<unused argument> #<unused argument> #<LOAD-OP > #<SYSTEM "cl-sat.minisat.test">)
87: ((LAMBDA NIL :IN OPERATE))
88: ((:METHOD OPERATE :AROUND (T T)) #<LOAD-OP > #<SYSTEM "cl-sat.minisat.test">) [fast-method]
89: ((SB-PCL::EMF OPERATE) #<unused argument> #<unused argument> LOAD-OP "cl-sat.minisat.test")
90: ((LAMBDA NIL :IN OPERATE))
91: ((:METHOD OPERATE :AROUND (T T)) LOAD-OP "cl-sat.minisat.test") [fast-method]
92: (ASDF/SESSION:CALL-WITH-ASDF-SESSION #<FUNCTION (LAMBDA NIL :IN OPERATE) {12037B2DCB}> :OVERRIDE T :KEY NIL :OVERRIDE-CACHE T :OVERRIDE-FORCING NIL)
93: ((LAMBDA NIL :IN OPERATE))
94: (ASDF/SESSION:CALL-WITH-ASDF-SESSION #<FUNCTION (LAMBDA NIL :IN OPERATE) {1203771DCB}> :OVERRIDE NIL :KEY NIL :OVERRIDE-CACHE NIL :OVERRIDE-FORCING NIL)
95: ((:METHOD OPERATE :AROUND (T T)) LOAD-OP "cl-sat.minisat.test") [fast-method]
96: (DEPCHECK::COMPUTE-DEPENDENCIES "cl-sat.minisat.test" "cl-sat.minisat.test")
97: (DEPCHECK::MAGIC "cl-sat.minisat.test" "cl-sat.minisat.test" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-xvMosKEO/depcheck-win.txt")
98: (DEPCHECK::MAIN ("depcheck" "/home/quicklisp/quicklisp-controller/dist/system-file-index" "cl-sat.minisat.test" "cl-sat.minisat.test" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-xvMosKEO/depcheck-win.txt" "/home/quicklisp/quicklisp-controller/tmp/anonymous/anonymous-xvMosKEO/depcheck-fail.txt"))
99: ((LAMBDA NIL :IN "/home/quicklisp/quicklisp/local-projects/quicklisp-controller/dumper-2SKVI5f7.lisp"))
100: ((FLET SB-UNIX::BODY :IN SB-IMPL::START-LISP))
101: ((FLET "WITHOUT-INTERRUPTS-BODY-3" :IN SB-IMPL::START-LISP))
102: (SB-IMPL::%START-LISP)

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