setting SOURCE_DATE_EPOCH=1782345600 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.iJYvW8 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.AvUaHV + umask 022 + cd /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build + cd /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build + rm -rf S41.2 + /usr/lib/rpm/rpmuncompress -x /home/builder/rpmbuild/SOURCES/S41.2.zip + STATUS=0 + '[' 0 -ne 0 ']' + cd S41.2 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + echo 'Patch #0 (sbcl-version-2.6.5.patch):' Patch #0 (sbcl-version-2.6.5.patch): + /usr/bin/patch --no-backup-if-mismatch -f -p1 --fuzz=0 patching file Primitives/big.lsp patching file Primitives/globals.lsp + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.Bu2knu + umask 022 + cd /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd S41.2 + sbcl --eval '(load "install.lsp")' This is SBCL 2.6.6-1.fc44, an implementation of ANSI Common Lisp. More information about SBCL is available at . SBCL is free software, provided as is, with absolutely no warranty. It is mostly in the public domain; some portions are provided under BSD-style licenses. See the CREDITS and COPYING files in the distribution for more information. ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/backend.lsp" (written 29 JUL 2022 04:47:01 AM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/backend.fasl ; compilation finished in 0:00:00.056 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/trap-error.lsp" (written 31 DEC 2025 11:51:10 AM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/trap-error.fasl ; compilation finished in 0:00:00.003 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/absvector.lsp" (written 26 MAR 2021 11:02:06 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/absvector.fasl ; compilation finished in 0:00:00.001 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/address-get.lsp" (written 26 MAR 2021 11:27:34 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/address-get.fasl ; compilation finished in 0:00:00.001 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/address-send.lsp" (written 26 MAR 2021 11:27:40 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/address-send.fasl ; compilation finished in 0:00:00.001 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/and.lsp" (written 26 MAR 2021 10:21:34 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/and.fasl ; compilation finished in 0:00:00.003 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/arith.lsp" (written 15 NOV 2021 05:39:06 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/arith.fasl ; compilation finished in 0:00:00.007 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/char-stoutput.lsp" (written 12 MAY 2021 10:14:40 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/char-stoutput.fasl ; compilation finished in 0:00:00.001 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/char-stinput.lsp" (written 12 MAY 2021 10:15:12 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/char-stinput.fasl ; compilation finished in 0:00:00.001 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/close.lsp" (written 26 MAR 2021 11:10:10 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/close.fasl ; compilation finished in 0:00:00.001 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/cn.lsp" (written 26 MAR 2021 11:13:02 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/cn.fasl ; compilation finished in 0:00:00.014 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/cons.lsp" (written 26 MAR 2021 10:21:42 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/cons.fasl ; compilation finished in 0:00:00.001 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/equal.lsp" (written 15 NOV 2021 06:39:30 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/equal.fasl ; compilation finished in 0:00:00.005 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/error-to-string.lsp" (written 26 MAR 2021 10:21:50 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/error-to-string.fasl ; compilation finished in 0:00:00.001 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/eval-kl.lsp" (written 15 NOV 2021 05:27:56 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/eval-kl.fasl ; compilation finished in 0:00:00.002 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/freeze.lsp" (written 26 MAR 2021 11:00:50 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/freeze.fasl ; compilation finished in 0:00:00.002 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/get-time.lsp" (written 26 MAR 2021 11:18:22 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/get-time.fasl ; compilation finished in 0:00:00.002 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/globals.lsp" (written 04 AUG 2026 10:12:39 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/globals.fasl ; compilation finished in 0:00:00.001 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/hd.lsp" (written 26 MAR 2021 10:22:04 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/hd.fasl ; compilation finished in 0:00:00.002 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/if.lsp" (written 26 MAR 2021 10:22:10 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/if.fasl ; compilation finished in 0:00:00.003 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/intern.lsp" (written 26 MAR 2021 10:22:16 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/intern.fasl ; compilation finished in 0:00:00.001 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/isabsvector.lsp" (written 26 MAR 2021 11:28:20 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/isabsvector.fasl ; compilation finished in 0:00:00.001 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/iscons.lsp" (written 26 MAR 2021 10:22:22 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/iscons.fasl ; compilation finished in 0:00:00.001 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/isstring.lsp" (written 26 MAR 2021 11:13:48 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/isstring.fasl ; compilation finished in 0:00:00.001 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/lambda.lsp" (written 26 MAR 2021 10:56:02 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/lambda.fasl ; compilation finished in 0:00:00.002 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/let.lsp" (written 26 MAR 2021 10:57:48 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/let.fasl ; compilation finished in 0:00:00.003 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/n-to-string.lsp" (written 26 MAR 2021 11:14:28 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/n-to-string.fasl ; compilation finished in 0:00:00.005 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/open.lsp" (written 28 DEC 2025 08:45:11 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/open.fasl ; compilation finished in 0:00:00.002 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/or.lsp" (written 27 MAR 2021 12:01:02 AM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/or.fasl ; compilation finished in 0:00:00.003 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/pos.lsp" (written 26 MAR 2021 11:11:12 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/pos.fasl ; compilation finished in 0:00:00.003 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/read-byte.lsp" (written 26 MAR 2021 11:28:50 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/read-byte.fasl ; compilation finished in 0:00:00.002 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/read-unit-string.lsp" (written 12 MAY 2021 10:13:40 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/read-unit-string.fasl ; compilation finished in 0:00:00.003 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/set.lsp" (written 26 MAR 2021 10:22:28 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/set.fasl ; compilation finished in 0:00:00.001 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/simple-error.lsp" (written 26 MAR 2021 10:22:36 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/simple-error.fasl ; compilation finished in 0:00:00.001 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/str.lsp" (written 15 NOV 2021 06:42:34 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/str.fasl ; compilation finished in 0:00:00.011 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/string-to-n.lsp" (written 26 MAR 2021 11:15:08 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/string-to-n.fasl ; compilation finished in 0:00:00.003 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/tl.lsp" (written 26 MAR 2021 10:22:40 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/tl.fasl ; compilation finished in 0:00:00.001 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/tlstr.lsp" (written 26 MAR 2021 11:11:58 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/tlstr.fasl ; compilation finished in 0:00:00.002 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/type.lsp" (written 26 MAR 2021 11:29:22 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/type.fasl ; compilation finished in 0:00:00.000 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/value.lsp" (written 26 MAR 2021 10:22:52 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/value.fasl ; compilation finished in 0:00:00.001 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/write-byte.lsp" (written 26 MAR 2021 10:58:22 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/write-byte.fasl ; compilation finished in 0:00:00.001 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/write-string.lsp" (written 12 MAY 2021 10:13:54 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Primitives/write-string.fasl ; compilation finished in 0:00:00.000 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/sys.kl.lsp" (written 04 AUG 2026 10:12:39 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/sys.kl.fasl ; compilation finished in 0:00:00.085 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/writer.kl.lsp" (written 04 AUG 2026 10:12:39 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/writer.kl.fasl ; compilation finished in 0:00:00.024 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/core.kl.lsp" (written 04 AUG 2026 10:12:39 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/core.kl.fasl ; compilation finished in 0:00:00.086 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/reader.kl.lsp" (written 04 AUG 2026 10:12:39 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/reader.kl.fasl ; compilation finished in 0:00:00.110 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/declarations.kl.lsp" (written 04 AUG 2026 10:12:39 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/declarations.kl.fasl ; compilation finished in 0:00:00.036 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/toplevel.kl.lsp" (written 04 AUG 2026 10:12:40 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/toplevel.kl.fasl ; compilation finished in 0:00:00.015 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/macros.kl.lsp" (written 04 AUG 2026 10:12:40 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/macros.kl.fasl ; compilation finished in 0:00:00.036 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/load.kl.lsp" (written 04 AUG 2026 10:12:40 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/load.kl.fasl ; compilation finished in 0:00:00.019 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/prolog.kl.lsp" (written 04 AUG 2026 10:12:40 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/prolog.kl.fasl ; compilation finished in 0:00:00.089 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/sequent.kl.lsp" (written 04 AUG 2026 10:12:40 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/sequent.kl.fasl ; compilation finished in 0:00:00.047 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/track.kl.lsp" (written 04 AUG 2026 10:12:40 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/track.kl.fasl ; compilation finished in 0:00:00.037 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/t-star.kl.lsp" (written 04 AUG 2026 10:12:40 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/t-star.kl.fasl ; compilation finished in 0:00:00.182 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/yacc.kl.lsp" (written 04 AUG 2026 10:12:40 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/yacc.kl.fasl ; compilation finished in 0:00:00.047 ; compiling file "/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/types.kl.lsp" (written 04 AUG 2026 10:12:40 PM): ; wrote /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/KLambda/types.kl.fasl ; compilation finished in 0:00:00.027 false skip install standard library? (y/n) (fn concat*) concat* run time: 0.00347900390625 secs loaded true (fn newv) : (--> symbol) run time: 0.0017739534378051758 secs typechecked in 2833 inferences loaded false true maths.maths-macro (fn maths.process-options) (fn maths.step-option) (fn maths.constructor-option) (fn maths.end-option) (fn maths.process) run time: 0.026026010513305664 secs loaded false true maths.maths#type : symbol 95795 : number 1.0e-4 : number (fn set-tolerance) : (number --> number) (fn tolerance) : (--> number) (fn sq) : (number --> number) (fn cube) : (number --> number) (fn for) : (number --> ((number --> boolean) --> ((number --> A) --> ((number --> number) --> ((A --> (A --> A)) --> A))))) (fn maths.for-h) : (number --> ((number --> boolean) --> ((number --> A) --> ((number --> number) --> ((A --> (A --> A)) --> (A --> A)))))) (fn maths.lazyfor-and) : (number --> ((number --> boolean) --> ((number --> boolean) --> ((number --> number) --> boolean)))) (fn maths.lazyfor-or) : (number --> ((number --> boolean) --> ((number --> boolean) --> ((number --> number) --> boolean)))) (fn max) : (number --> (number --> number)) (fn min) : (number --> (number --> number)) (fn expt) : (number --> (number --> (number --> number))) (fn maths.n->r) : (number --> (number --> (number * number))) (fn maths.expt-h) : (number --> ((number * number) --> (number --> number))) (fn gcd) : (number --> (number --> number)) (fn maths.gcd-help) : (number --> (number --> number)) (fn maths.gcd-loop) : (number --> (number --> (number --> number))) (fn lcd) : (number --> (number --> number)) (fn maths.lcd-loop) : (number --> (number --> (number --> (number --> number)))) (fn isqrt) : (number --> number) (fn maths.isqrt-loop) : (number --> (number --> number)) (fn div) : (number --> (number --> number)) (fn modf) : (number --> (number * number)) (fn floor) : (number --> number) (fn maths.rounding-loop) : (symbol --> (number --> (number --> (number --> number)))) (fn maths.float->pair) : (number --> (number * number)) (fn ceiling) : (number --> number) (fn round) : (number --> number) (fn mod) : (number --> (number --> number)) (fn lcm) : ((list number) --> number) (fn maths.greatest) : ((list number) --> number) (fn maths.lcm-h) : (number --> (number --> ((list number) --> number))) (fn maths.lcm?) : (number --> ((list number) --> boolean)) (fn random) : (number --> (number --> number)) (fn min) : (number --> (number --> number)) (fn reseed) : (--> number) (fn maths.bbs) : (number --> number) (fn ~) : (number --> number) (fn positive?) : (number --> boolean) (fn negative?) : (number --> boolean) (fn natural?) : (number --> boolean) (fn converge) : (A --> ((A --> A) --> ((A --> (A --> boolean)) --> A))) (fn maths.converge-help) : ((A --> A) --> (A --> (A --> ((A --> (A --> boolean)) --> A)))) (fn nthrt) : (number --> (number --> (number --> number))) (fn sqrt) : (number --> (number --> number)) (fn maths.compute-nthrt) : (number --> (number --> (number --> (number --> number)))) (fn approx) : (number --> (number --> (number --> boolean))) (fn abs) : (number --> number) (fn series) : (number --> ((number --> number) --> (number --> ((number --> (number --> number)) --> number)))) (fn maths.series-h) : (number --> (number --> ((number --> number) --> (number --> ((number --> (number --> number)) --> number))))) (fn product) : (number --> ((number --> number) --> (number --> number))) (fn summation) : (number --> ((number --> number) --> (number --> number))) (fn odd?) : (number --> boolean) (fn even?) : (number --> boolean) (fn maths.compute-sine) : (number --> (number --> number)) (fn maths.compute-cos) : (number --> (number --> number)) (fn cos) : (number --> (number --> number)) (fn sin) : (number --> (number --> number)) (fn tan) : (number --> (number --> number)) (fn radians) : (number --> number) (fn g) : (--> number) (fn pi) : (--> number) (fn e) : (--> number) (fn tan30) : (--> number) (fn cos30) : (--> number) (fn cos45) : (--> number) (fn sin45) : (--> number) (fn sqrt2) : (--> number) (fn tan60) : (--> number) (fn maths.sin60) : (--> number) (fn sin120) : (--> number) (fn tan120) : (--> number) (fn sin135) : (--> number) (fn cos135) : (--> number) (fn cos150) : (--> number) (fn tan150) : (--> number) (fn cos210) : (--> number) (fn tan210) : (--> number) (fn sin225) : (--> number) (fn cos225) : (--> number) (fn sin240) : (--> number) (fn tan240) : (--> number) (fn sin300) : (--> number) (fn tan300) : (--> number) (fn sin315) : (--> number) (fn cos315) : (--> number) (fn cos330) : (--> number) (fn tan330) : (--> number) (fn coth) : (number --> (number --> number)) (fn sinh) : (number --> (number --> number)) (fn cosh) : (number --> (number --> number)) (fn tanh) : (number --> (number --> number)) (fn sech) : (number --> (number --> number)) (fn csch) : (number --> (number --> number)) (fn power) : (number --> (number --> number)) (fn factorial) : (number --> number) (fn prime?) : (number --> boolean) (fn maths.prime-h) : (number --> (number --> (number --> boolean))) (fn maths.sign) : (number --> number) (fn log) : (number --> (number --> (number --> number))) (fn loge) : (number --> (number --> number)) (fn log2) : (number --> (number --> number)) (fn log10) : (number --> (number --> number)) (fn maths.log10+) : (number --> (number --> number)) (fn maths.upto) : (A --> ((A --> boolean) --> ((A --> A) --> ((B --> (C --> C)) --> (C --> ((A --> B) --> C)))))) run time: 0.2594630718231201 secs typechecked in 20639 inferences loaded false (fn r#) (fn rational.print-rational) (fn rational?) (fn numerator) (fn denominator) r# rational? numerator denominator run time: 0.013184905052185059 secs loaded true (fn r-op1) : ((number --> number) --> (rational --> rational)) (fn r-op2) : ((number --> (number --> number)) --> (rational --> (rational --> rational))) (fn r->n) : (rational --> number) (fn r->pair) : (rational --> (number * number)) (fn n->r) : (number --> rational) (fn r-reduce) : (rational --> rational) (fn rational.r-reduce-help) : (number --> (number --> rational)) (fn r=) : (rational --> (rational --> boolean)) (fn r<) : (rational --> (rational --> boolean)) (fn r>) : (rational --> (rational --> boolean)) (fn r>=) : (rational --> (rational --> boolean)) (fn r<=) : (rational --> (rational --> boolean)) (fn r+) : (rational --> (rational --> rational)) (fn r-) : (rational --> (rational --> rational)) (fn r*) : (rational --> (rational --> rational)) (fn +-inverse) : (rational --> rational) (fn *-inverse) : (rational --> rational) (fn r/) : (rational --> (rational --> rational)) (fn r-expt) : (rational --> (number --> rational)) (fn r-approx) : (rational --> (number --> rational)) (fn rational.approx-r-h) : (number --> (number --> (number --> rational))) run time: 0.05425000190734863 secs typechecked in 25070 inferences loaded false (fn c#) (fn complex.print-complex) (fn complex?) (fn real) (fn imaginary) c# complex? real imaginary run time: 0.013460993766784668 secs loaded true (fn c+) : (complex --> (complex --> complex)) (fn c-) : (complex --> (complex --> complex)) (fn c*) : (complex --> (complex --> complex)) (fn c/) : (complex --> (complex --> complex)) run time: 0.013044953346252441 secs typechecked in 27054 inferences loaded false (fn n#) (fn radix) (fn numerals.numerals) (fn n#->n) radix n#->ns n#->n n# numeral? (fn n#->ns) (fn numerals.print-numeral) (fn numerals.numeric->string) (fn numeral?) run time: 0.022037982940673828 secs loaded true numerals.numeral-macro : symbol (fn n-op2) : ((number --> (number --> number)) --> (numeral --> (numeral --> (number --> numeral)))) (fn n-op1) : ((number --> number) --> (numeral --> (number --> numeral))) (fn n+) : (numeral --> (numeral --> (number --> numeral))) (fn n*) : (numeral --> (numeral --> (number --> numeral))) (fn n-) : (numeral --> (numeral --> (number --> numeral))) (fn n/) : (numeral --> (numeral --> (number --> numeral))) (fn binary) : (number --> numeral) (fn hex) : (number --> numeral) (fn octal) : (number --> numeral) (fn duodecimal) : (number --> numeral) (fn numerals.n->numeral) : (number --> (number --> (list number))) (fn numerals.largest-expt) : (number --> (number --> (number --> number))) (fn numerals.n-zeros) : (number --> (list number)) (fn numerals.add) : ((list number) --> ((list number) --> (number --> (list number)))) (fn numerals.add-h) : ((list number) --> ((list number) --> (number --> (number --> (list number))))) run time: 0.05208098888397217 secs typechecked in 30749 inferences loaded (fn assoc-if) : ((A --> boolean) --> ((list (list A)) --> (list A))) (fn assoc-if-not) : ((A --> boolean) --> ((list (list A)) --> (list A))) (fn drop) : (number --> ((list A) --> (list A))) (fn drop-last) : (number --> ((list A) --> (list A))) (fn index) : (A --> ((list A) --> number)) (fn list.index-h) : (A --> ((list A) --> (number --> number))) (fn index-last) : (A --> ((list A) --> number)) (fn insert) : (number --> (A --> ((list A) --> (list A)))) (fn remove-duplicates) : ((list A) --> (list A)) (fn trim-left-if) : ((A --> boolean) --> ((list A) --> (list A))) (fn trim-right-if) : ((A --> boolean) --> ((list A) --> (list A))) (fn trim-if) : ((A --> boolean) --> ((list A) --> (list A))) (fn trim-left) : ((list A) --> ((list A) --> (list A))) (fn trim-right) : ((list A) --> ((list A) --> (list A))) (fn trim) : ((list A) --> ((list A) --> (list A))) (fn prefix?) : ((list A) --> ((list A) --> boolean)) (fn infix?) : ((list A) --> ((list A) --> boolean)) (fn suffix?) : ((list A) --> ((list A) --> boolean)) (fn subset?) : ((list A) --> ((list A) --> boolean)) (fn set=?) : ((list A) --> ((list A) --> boolean)) (fn set?) : ((list A) --> boolean) (fn n-times) : (A --> (number --> (list A))) (fn list.n-times-h) : (number --> (A --> ((list A) --> (list A)))) (fn subbag?) : ((list A) --> ((list A) --> boolean)) (fn bag=?) : ((list A) --> ((list A) --> boolean)) (fn mapc) : ((A --> B) --> ((list A) --> (list C))) (fn permute) : ((list A) --> (list (list A))) (fn count-if) : ((A --> boolean) --> ((list A) --> number)) (fn count) : (A --> ((list A) --> number)) (fn some?) : ((A --> boolean) --> ((list A) --> boolean)) (fn every?) : ((A --> boolean) --> ((list A) --> boolean)) (fn sort) : ((A --> (A --> boolean)) --> ((list A) --> (list A))) (fn find) : ((A --> boolean) --> ((list A) --> A)) (fn foldr) : ((A --> (B --> B)) --> (B --> ((list A) --> B))) (fn foldl) : ((A --> (B --> A)) --> (A --> ((list B) --> A))) (fn mapf) : ((A --> B) --> ((list A) --> ((B --> ((list C) --> (list C))) --> (list C)))) (fn filter) : ((A --> boolean) --> ((list A) --> (list A))) (fn remove-if) : ((A --> boolean) --> ((list A) --> (list A))) (fn list.reduce) : ((A --> (B --> A)) --> (A --> ((list B) --> A))) (fn take) : (number --> ((list A) --> (list A))) (fn take-last) : (number --> ((list A) --> (list A))) (fn cartprod) : ((list A) --> ((list A) --> (list (list A)))) (fn powerset) : ((list A) --> (list (list A))) (fn partition) : ((A --> (A --> boolean)) --> ((list A) --> (list (list A)))) (fn transitive-closure) : ((list (A * A)) --> (list (A * A))) (fn list.transitive-pass) : ((list (A * A)) --> ((list (A * A)) --> (list (A * A)))) (fn list.find-trans) : (A --> (A --> ((list (A * A)) --> (list (A * A))))) (fn x->ascii) : (A --> (list number)) (fn splice) : (number --> ((list A) --> ((list A) --> (list A)))) run time: 0.15940392017364502 secs typechecked in 41193 inferences loaded string-macros : symbol run time: 0.003309011459350586 secs typechecked in 41205 inferences loaded (fn string->list) : (string --> (list string)) (fn string.s->l-h) : (string --> (number --> (string --> ((list string) --> (list string))))) (fn list->string) : ((list string) --> string) (fn s-op1) : (((list string) --> A) --> (string --> ((A --> B) --> B))) (fn s-op2) : (((list string) --> ((list string) --> A)) --> (string --> (string --> ((A --> B) --> B)))) (fn string.count) : (string --> (string --> number)) (fn string.reverse) : (string --> string) (fn string.element?) : (string --> (string --> boolean)) (fn string.prefix?) : (string --> (string --> boolean)) (fn string.infix?) : (string --> (string --> boolean)) (fn string.suffix?) : (string --> (string --> boolean)) (fn string.subset?) : (string --> (string --> boolean)) (fn string.set=?) : (string --> (string --> boolean)) (fn string.set?) : (string --> boolean) (fn file-extension) : (string --> (string --> string)) (fn strip-extension) : (string --> string) (fn string.length) : (string --> number) (fn string.trim) : ((list string) --> (string --> string)) (fn string.trim-if) : ((string --> boolean) --> (string --> string)) (fn string.trim-right-if) : ((string --> boolean) --> (string --> string)) (fn string.trim-left-if) : ((string --> boolean) --> (string --> string)) (fn string.trim-right) : ((list string) --> (string --> string)) (fn string.trim-left) : ((list string) --> (string --> string)) (fn string.some?) : ((string --> boolean) --> (string --> boolean)) (fn string.every?) : ((string --> boolean) --> (string --> boolean)) (fn string.difference) : (string --> (string --> string)) (fn string.intersection) : (string --> (string --> string)) (fn string.nth) : (number --> (string --> string)) (fn whitespace?) : (string --> boolean) (fn uppercase?) : (string --> boolean) (fn lowercase?) : (string --> boolean) (fn digit?) : (string --> boolean) (fn alpha?) : (string --> boolean) (fn alphanum?) : (string --> boolean) (fn tokenise) : ((string --> boolean) --> (string --> (list string))) (fn string.tokenise-h) : ((string --> boolean) --> (string --> (string --> (list string)))) (fn uppercase) : (string --> string) (fn lowercase) : (string --> string) (fn string.map) : ((string --> string) --> (string --> string)) (fn spell-number) : (number --> string) (fn string.digit) : (string --> string) (fn string.triples) : ((list A) --> (list (list A))) (fn string.triples-h) : ((list A) --> ((list (list A)) --> (list (list A)))) (fn string.digits) : ((list string) --> string) (fn string.tens) : (string --> (string --> string)) (fn string.scale) : ((list string) --> string) (fn string.units) : (number --> string) (fn string>?) : (string --> (string --> boolean)) (fn string (string --> boolean)) (fn string>=?) : (string --> (string --> boolean)) (fn string<=?) : (string --> (string --> boolean)) run time: 0.17041397094726563 secs typechecked in 52890 inferences loaded false render render-file (fn render-file) (fn string.bytes->strings) (fn render) (fn string.rendered?) (fn string.) (fn string.) (fn string.recapply) (fn string.) (fn string.) (fn string.) (fn string.) (fn string.) (fn string.) run time: 0.033229827880859375 secs loaded true vector.vector-macros run time: 0.010654926300048828 secs loaded false true print#type : symbol print.pprint-macro : symbol 1 : number 60 : number (fn linelength) : (--> number) (fn indentation) : (--> number) (fn set-linelength) : (number --> number) (fn set-indentation) : (number --> number) (fn pps) : (symbol --> ((stream out) --> symbol)) (fn pprint) : (A --> ((stream out) --> A)) (fn pretty-string) : (string --> string) (fn print.pretty-string-h) : (string --> (number --> (number --> string))) (fn print.indent) : (number --> string) (fn print.indent-h) : (number --> string) (fn print.n-space) : (number --> string) [maths.maths#type] : (list symbol) run time: 0.04095196723937988 secs typechecked in 55522 inferences loaded false (fn delete-file) delete-file run time: 0.0026009082794189453 secs loaded true file.file-macro : symbol (fn append-files) : ((list string) --> (string --> string)) (fn append-files-with-open-stream) : ((list string) --> (string --> (stream out))) (fn file.read&write) : ((stream in) --> ((stream out) --> number)) (fn file.read&write-h) : (number --> ((stream in) --> ((stream out) --> number))) (fn reopen) : (string --> (stream out)) (fn copy-file) : (string --> (string --> string)) (fn copy-file-with-open-stream) : (string --> (string --> (stream out))) (fn file-exists?) : (string --> boolean) (fn file-size) : (string --> number) (fn file.file-size-loop) : ((stream in) --> (number --> (number --> number))) (fn ascii) : (number --> (number --> (string --> string))) (fn file.scan-bytes) : (number --> (number --> ((list number) --> (string --> string)))) run time: 0.04163193702697754 secs typechecked in 58093 inferences loaded (fn pairoff) : ((list A) --> ((list B) --> (list (A * B)))) (fn assocp) : (A --> ((list (A * B)) --> (A * B))) (fn cartprodp) : ((list A) --> ((list B) --> (list (A * B)))) (fn assocp-if) : ((A --> boolean) --> ((list (A * B)) --> (A * B))) (fn assocp-if-not) : ((A --> boolean) --> ((list (A * B)) --> (A * B))) run time: 0.022283077239990234 secs typechecked in 59446 inferences loaded false stlib.void run time: 7.269382476806641e-4 secs loaded ok [] [] "" false run time: 0.9500340223312378 secs loaded install concurrency? (required for Shen/tk) (y/n) 2 0 8 (fn p.cores) (fn p.set-cores) (fn p.kl-extension) (fn p.processes) (fn p.set-kl-extension) p.set-kl-extension-macro (fn p.mk-proclist) (fn p.local) (fn p.let-parallel-code) (fn p.directly-functional?) (fn p.data-dependent?) (fn p.make-cases) (fn p.proc->-h) (fn p.prccount+) (fn p.prccount-) (fn p.processes) (fn p.cores) (fn p.terminated?) (fn p.thread-in) (fn p.<-) (fn p.print-simple-process) (fn p.process?) p.prccount+ p.prccount- p.processes p.process? thread p.thread-in terminate p.proc->-h p.terminated? p.<- p.set-kl-extension p.kl-extension p.cores p.set-cores run time: 0.06252598762512207 secs (fn p.free-cores?) : (--> boolean) (fn p.<-!) : ((sproc A) --> A) (fn p.p-and-rotate) : ((list (sproc boolean)) --> boolean) (fn p.p-or-rotate) : ((list (sproc boolean)) --> boolean) (fn p.terminate-proc) : ((sproc A) --> thread) (fn p.p-and-rotate!) : ((list (sproc boolean)) --> boolean) (fn p.p-or-rotate!) : ((list (sproc boolean)) --> boolean) (fn p.p-cases-h) : ((list ((sproc boolean) * (lazy A))) --> A) (fn p.terminate-case) : (((sproc A) * B) --> thread) (fn p.p-anycases-h) : ((list ((sproc boolean) * (lazy A))) --> A) (fn p.p-cases-h!) : ((list ((sproc boolean) * (lazy A))) --> A) (fn p.p-anycases-h!) : ((list ((sproc boolean) * (lazy A))) --> A) run time: 0.04194211959838867 secs typechecked in 62629 inferences loaded install Shen/tk + IDE? (y/n) skip install THORN? (y/n) (fn thorn.constant?) term#type prop#type run time: 0.21569108963012695 secs (fn thorn.defaults) [thorn.eq] set kb-> <-kb thorn.defaults thorn.depth thorn.timeout thorn.equality thorn.complex thorn.wipe-kb (fn thorn.wipe-kb) (fn thorn.depth) (fn thorn.timeout) (fn thorn.equality) (fn thorn.complex) (fn <-kb) (fn thorn.<-kb-h) (fn thorn.reverse-skolemise) (fn thorn.change-quantifiers) (fn thorn.enable-proof) (fn thorn.solve) (fn thorn.ground?) (fn thorn.literals) (fn thorn.signed-complements) (fn thorn.signed-complement) (fn thorn.hypdisj) (fn thorn.iterative-deepening) (fn thorn.depth-exceeded?) (fn thorn.undefined?) (fn thorn.callF) (fn thorn.ishyp) (fn thorn.running-F) (fn thorn.apply) (fn thorn.sign) (fn thorn.print-hyps) (fn thorn.unsign) (fn kb->) (fn thorn.procedure-call?) (fn thorn.desugar) (fn thorn.remember-predicates) (fn thorn.predicates-in) (fn thorn.complexity) (fn thorn.horn?) (fn thorn.positive-literal?) (fn thorn.contrapositives) (fn thorn.clauses) (fn thorn.tautology?) (fn thorn.remove-subsumed) (fn thorn.rsh) (fn thorn.subsumed?) (fn thorn.cnf->clauses) (fn thorn.cch) (fn thorn.cnf) (fn thorn.elim-all) (fn thorn.uppercasesym) (fn thorn.complement) (fn thorn.skolemise) (fn thorn.sk-help) (fn thorn.prenex) (fn thorn.rectify) (fn thorn.prenex*) (fn thorn.replace) (fn thorn.replace*) (fn thorn.same-predicate?) (fn thorn.sign-contrapositives) (fn thorn.shorter-body?) (fn thorn.compile-contrapositives) (fn thorn.show) (fn thorn.show-step) (fn thorn.sugar) (fn thorn.print-to-proof) (fn thorn.n-indents) (fn thorn.print-hyps) (fn thorn.print-rule) (fn thorn.arity-predicate) (fn thorn.timeout-clause) (fn thorn.timeout?) (fn thorn.depth-clause) (fn thorn.make-vs) (fn thorn.hyp-clause) (fn thorn.complexity-clause) (fn thorn.over-complex?) (fn thorn.loop-clause) (fn thorn.loop?) (fn thorn.equality-clause) (fn thorn.rewriteA+B) (fn thorn.not-var?) (fn thorn.not-is!) (fn thorn.callup) (fn thorn.sub) (fn thorn.subterms) (fn thorn.terms) (fn thorn.predicate) (fn thorn.compile-contrapositives-h) (fn thorn.pretty-rule) (fn thorn.happy-variables) (fn thorn.new-hyp-code) (fn thorn.prf-term) (fn thorn.make-prfs) (fn thorn.proof-vars) (fn thorn.prep-head) (fn thorn.my-cons-form) (fn thorn.prep-body) run time: 0.9531650543212891 secs loaded install Logic Lab? (y/n) logiclab.intro (fn logiclab.intro) logiclab.d-rule-macro (fn logiclab.parse-d-rule) (fn logiclab.) (fn logiclab.compile-spc) (fn logiclab.compile-der) (fn logiclab.types-in) (fn logiclab.compile-C) (fn logiclab.derivation-type) (fn logiclab.derivation-type-h) (fn logiclab.compile-H) (fn logiclab.compile-sides) (fn logiclab.collect) (fn logiclab.compile-premises) (fn logiclab.compile-premise) (fn logiclab.process-hyps) run time: 0.07030701637268066 secs synonyms : symbol step#type : symbol (fn logiclab.f10040) : (boolean --> ((list prop) --> ((list prop) --> ((list prop) --> ((list ((list prop) * prop)) --> ((vector (list step)) --> (string --> symbol))))))) (fn logiclab.f10041) : (string --> (boolean --> ((list ((list prop) * prop)) --> (list step)))) (fn thm$) : (string --> (boolean --> (step --> (list step)))) (fn thm) : (string --> (step --> step)) (fn logiclab.get-theorem) : (string --> ((list prop) --> (list prop))) (fn logiclab.add-thm) : (prop --> ((list ((list prop) * prop)) --> (list ((list prop) * prop)))) (fn logiclab.can-prove?) : ((list (step --> step)) --> (step --> boolean)) logiclab.gpa-macro : symbol (fn logiclab.gpa) : (string --> boolean) (fn logiclab.recover-proof) : (string --> boolean) (fn logiclab.reconstruct) : ((list string) --> ((list (step --> step)) --> (step --> ((list (step * string)) --> boolean)))) (fn logiclab.enter-sequent) : (--> ((list prop) * prop)) (fn logiclab.read-conclusion) : (--> prop) (fn logiclab.input-assumptions) : (number --> (list prop)) (fn logiclab.read-prop) : (--> prop) (fn logiclab.gpa-loop) : (step --> ((list (step * string)) --> boolean)) (fn logiclab.trimwsp) : (string --> string) (fn logiclab.save-proof-to-file) : (string --> ((list (step * string)) --> string)) (fn logiclab.save-prf) : (string --> ((list (step * string)) --> (list A))) (fn logiclab.print-steps) : ((list (step * string)) --> (number --> ((stream out) --> (list A)))) (fn logiclab.save-vprf) : (string --> ((list (step * string)) --> string)) (fn logiclab.atom-call?) : (string --> boolean) (fn logiclab.get-problem) : ((list (step * string)) --> string) (fn logiclab.step->sequents) : (step --> (list ((list prop) * prop))) (fn logiclab.error-routine) : (exception --> (step --> step)) (fn logiclab.n-steps) : (--> number) (fn logiclab.rollback) : (number --> (step --> ((list (step * string)) --> boolean))) (fn logiclab.ask-for-file) : (--> string) (fn logiclab.view-step) : (step --> (list ((list prop) * prop))) (fn logiclab.format-sequent) : ((list ((list prop) * prop)) --> (number --> string)) (fn logiclab.enumerate) : (number --> ((list prop) --> string)) (fn logiclab.tactic) : (--> (step --> step)) run time: 0.17284893989562988 secs typechecked in 84727 inferences loaded [] [] "" false skip run time: 2.469196081161499 secs [undoing binding stack and other enclosing state... done] [performing final GC... done] [defragmenting immobile space... (inst,code,sym)=774+22175+23507... done] [saving current Lisp image into sbcl-shen.exe: writing 65536 bytes from the linkage space at 0xb7ffb00000 writing 1253376 bytes from the fixedobj space at 0x50000000 writing 2752 bytes from the static space at 0x520000000000 writing 15859712 bytes from the dynamic space at 0x1200000000 writing 9214128 bytes from the read-only space at 0x11ff730000 writing 13516800 bytes from the text space at 0xb800000000 done] + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.9wM1JP + umask 022 + cd /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build + '[' /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/BUILDROOT '!=' / ']' + rm -rf /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/BUILDROOT ++ dirname /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/BUILDROOT + mkdir -p /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build + mkdir /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/BUILDROOT + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd S41.2 + rm -rf /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/BUILDROOT + mkdir -p /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/BUILDROOT/usr/bin ++ eu-readelf -n sbcl-shen.exe ++ egrep '^ Build ID: ' ++ sed -e 's/^ Build ID: //' egrep: warning: egrep is obsolescent; using grep -E + BUILD_ID=c524d1d026d5ce98747790592529a89726df1e53 + xxd -p sbcl-shen.exe + tr -d '\n' + sed -e s/c524d1d026d5ce98747790592529a89726df1e53/0000000000000000000000000000000000000000/ + xxd -r -p + fold -c256 + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + COMPRESS='gzip -9 -n' + COMPRESS_EXT=.gz + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip /bin/true + /usr/lib/rpm/brp-strip-comment-note /bin/true /usr/bin/objdump + /usr/lib/rpm/redhat/brp-strip-lto /bin/true + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs + /usr/lib/rpm/brp-remove-la-files + /usr/lib/rpm/redhat/brp-python-rpm-in-distinfo + env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j4 + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/bin/add-det --brp -j4 /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/BUILDROOT Scanned 3 directories and 1 files, processed 0 inodes, 0 modified (0 replaced + 0 rewritten), 0 unsupported format, 0 errors + /usr/bin/linkdupes --brp /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/BUILDROOT/usr Scanned 2 directories and 1 files, considered 1 files, read 0 files, linked 0 files, 0 errors sum of sizes of linked files: 0 bytes Reading /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/SPECPARTS/rpm-debuginfo.specpart Processing files: shen-sbcl-S41.2-1.fc44.x86_64 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.Aqq8F5 + umask 022 + cd /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build + cd S41.2 + LICENSEDIR=/home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/BUILDROOT/usr/share/licenses/shen-sbcl + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export LICENSEDIR + /usr/bin/mkdir -p /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/BUILDROOT/usr/share/licenses/shen-sbcl + cp -pr /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/S41.2/Lib/LICENSE /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/BUILDROOT/usr/share/licenses/shen-sbcl + RPM_EC=0 ++ jobs -p + exit 0 Provides: shen-sbcl = S41.2-1.fc44 shen-sbcl(x86-64) = S41.2-1.fc44 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Checking for unpackaged file(s): /usr/lib/rpm/check-files /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build/BUILDROOT Wrote: /home/builder/rpmbuild/SRPMS/shen-sbcl-S41.2-1.fc44.src.rpm Wrote: /home/builder/rpmbuild/RPMS/x86_64/shen-sbcl-S41.2-1.fc44.x86_64.rpm Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.75uOI1 + umask 022 + cd /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build + test -d /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build + rm -rf /home/builder/rpmbuild/BUILD/shen-sbcl-S41.2-build + RPM_EC=0 ++ jobs -p + exit 0 real 0m56.648s user 0m25.356s sys 0m1.015s