setup
checks.i686-linux.acl2
· build #1
· raw
1these 12 derivations will be built:2 /nix/store/0h43xs9bfcxb0yp2znqxcxji76hsv4zd-minisat-2.2.1.drv3 /nix/store/x87k91w6gfxwkw2qnrqia2a9p0fpaj37-sbcl-bootstrap-1.2.7.drv4 /nix/store/axvz6ffkskzja7ga64pciv8cwr7gfd3a-sbcl-2.3.0.drv5 /nix/store/h2jblcn7hp0xriqyfc308j9wi0ggrpkw-sbcl-2.3.0.drv6 /nix/store/wzkzxlkvfgm5yxaxb64qwy84vana4c20-z3-4.8.15.drv7 /nix/store/zg2542rf3bf0rsw2nar1qxgcgfcbljsv-builder.pl.drv8 /nix/store/imjhzgpdd1pzry95n4rpk8npxfr55w1y-python3-3.10.9-env.drv9 /nix/store/ljgdl9zdap0a7rz91l1w0470i8s7kvs4-libipasirglucose4-2017.drv10 /nix/store/pnp4b5ls2bwnbg9nmq186zxjzipw7b3f-0001-Fix-some-paths-for-Nix-build.patch.drv11 /nix/store/rgdqd39vvfvaimbs9vl7na3nl9jr6fff-glucose-4.1.drv12 /nix/store/v3vdw0r6vh5y6cw43qa0bgmkgf9xvd4k-abc-verifier-unstable-2022-11-09.drv13 /nix/store/j3ybd4czg0zf72c7x3zmlbz7rixmvwb4-acl2-8.5.drv14these 17 paths will be fetched (27.0 MiB download, 93.6 MiB unpacked):15 /nix/store/hbw31kwwmx7d3y9zn54982h5qrmar202-glucose-ipasir.zip16 /nix/store/3hmdxx9f1m0bq055q08ayqcwk6phy34n-hook17 /nix/store/ag58kx61ivfzzadx504vhw1xrhqaivzg-hook18 /nix/store/fn7g3a3n8f9sdchxrj8qhg79lffh8w3q-hook19 /nix/store/3l1xcf99qq0jzlw3k8hwv2ajyfn0j07j-hostname-net-tools-2.1020 /nix/store/nrzxp23m6z19dhzv61z50ms1s23r8pxk-net-tools-2.1021 /nix/store/3a5wvxgnwncyg5vz0z25jvr34hzvlbjf-python3.10-setuptools-65.3.022 /nix/store/ay0iw4ccrfpwha02w1qh4xknqb4qmjz4-readline-8.1p2-dev23 /nix/store/mnv4lib2lpapz0yq4lqmb6hvsnwhwi4q-sbcl-1.2.7-x86-linux-binary.tar.bz224 /nix/store/d6r4kbr0w6m38y2minsfsaib06jyphg4-sbcl-2.3.0-source.tar.bz225 /nix/store/062slxg1szc83y617lvwgbjq1xv8mgaq-source26 /nix/store/h42hw6j32lmz7nsi05rhqdfh3r8430sk-source27 /nix/store/sg1n5vf59ki4sxyv045ca5k9cjvhhlsq-source28 /nix/store/ivgf0ni74bkyxry4gb4chiv4bddfixsv-texinfo-6.829 /nix/store/jcpsvcpcn6dh3b2nwdlyzlsw5slqp954-which-2.2130 /nix/store/4fm5v17s3ah009i1y2v5fpc4isq2xxxd-zstd-1.5.2-bin31 /nix/store/7v4fr0x3lj4n2qp41gnlqdnqjnyzy57a-zstd-1.5.2-dev32error: Cannot build '/nix/store/axvz6ffkskzja7ga64pciv8cwr7gfd3a-sbcl-2.3.0.drv'.33 Reason: builder failed with exit code 1.34 Output paths:35 /nix/store/qm6xgprsx335n1bwg4kfy2slh0vpgf68-sbcl-2.3.036 Last 25 log lines:37 > 37: ((FLET HOST-SB-FASL::LOAD-STREAM :IN LOAD) #<HOST-SB-SYS:FD-STREAM for "file /build/sbcl-2.3.0/make-host-1.lisp" {AFA9B99}> NIL)38 > 38: (LOAD "make-host-1.lisp" :VERBOSE NIL :PRINT NIL :IF-DOES-NOT-EXIST T :EXTERNAL-FORMAT :DEFAULT)39 > 39: (COMMON-LISP-USER::LOAD-SBCL-FILE "make-host-1.lisp" T)40 > 40: (COMMON-LISP-USER::LOAD-SBCL-FILE "make-host-1.lisp" -102578449) [tl,external]41 > 41: (HOST-SB-INT:SIMPLE-EVAL-IN-LEXENV (COMMON-LISP-USER::LOAD-SBCL-FILE "make-host-1.lisp") #<NULL-LEXENV>)42 > 42: (EVAL (COMMON-LISP-USER::LOAD-SBCL-FILE "make-host-1.lisp"))43 > 43: (HOST-SB-EXT:INTERACTIVE-EVAL (COMMON-LISP-USER::LOAD-SBCL-FILE "make-host-1.lisp") :EVAL NIL)44 > 44: (HOST-SB-IMPL::REPL-FUN NIL)45 > 45: ((LAMBDA NIL :IN HOST-SB-IMPL::TOPLEVEL-REPL))46 > 46: (HOST-SB-IMPL::%WITH-REBOUND-IO-SYNTAX #<CLOSURE (LAMBDA NIL :IN HOST-SB-IMPL::TOPLEVEL-REPL) {AF3E1C5}>)47 > 47: (HOST-SB-IMPL::TOPLEVEL-REPL NIL)48 > 48: (HOST-SB-IMPL::TOPLEVEL-INIT)49 > 49: ((FLET #:WITHOUT-INTERRUPTS-BODY-75 :IN HOST-SB-EXT:SAVE-LISP-AND-DIE))50 > 50: ((LABELS HOST-SB-IMPL::RESTART-LISP :IN HOST-SB-EXT:SAVE-LISP-AND-DIE))51 >52 > unhandled condition in --disable-debugger mode, quitting53 > ; compilation aborted after 0:00:01.57954 > ;55 > ; compilation unit aborted56 > ; caught 2 fatal ERROR conditions57 > ; caught 6 STYLE-WARNING conditions58 >59 > real 0m41.394s60 > user 0m18.793s61 > sys 0m1.425s62 For full logs, run:63 nix log /nix/store/axvz6ffkskzja7ga64pciv8cwr7gfd3a-sbcl-2.3.0.drv64error: Cannot build '/nix/store/h2jblcn7hp0xriqyfc308j9wi0ggrpkw-sbcl-2.3.0.drv'.65 Reason: 1 dependency failed.66 Output paths:67 /nix/store/idjm6j8gc7np8pc030pq1cn1lbac0vsv-sbcl-2.3.068error: Cannot build '/nix/store/j3ybd4czg0zf72c7x3zmlbz7rixmvwb4-acl2-8.5.drv'.69 Reason: 1 dependency failed.70 Output paths:71 /nix/store/g5wmrfbx3h9r8bz2hbfx3ngdfsq6xadc-acl2-8.5