The time is now Wednesday, February 7th, 2024 5:28:40am (/usr/bin/env DISPLAY=:1 PLT_PKG_BUILD_SERVICE=1 PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLTSTDERR=debug@pkg error PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 4 -u --auto icfp2017-minikanren && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 4 --drdr --package icfp2017-minikanren) Resolved "icfp2017-minikanren" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org greg.weiqi@gmail.com") (checksum . "1c65cbf0e9a9f5f256d2cb80e4118fb39bd13fc5") (dependencies . (("base" #:version "6.3") ("r6rs-lib"))) (description . "A racket port of the version of minikanren from the artifact of the ICFP 2017 Pearl, A Unified Approach to Solving Seven Programming Problems by William E. Byrd, Michael Ballantyne, Gregory Rosenblatt, and Matthew Might. Includes evalo-optimized.") (modules . ((lib "icfp2017-minikanren/mk/test-all.rkt") (lib "icfp2017-minikanren/racket-scheme-compat/lang/reader.rkt") (lib "icfp2017-minikanren/evalo-optimized.rkt") (lib "icfp2017-minikanren/mk/mk.rkt") (lib "icfp2017-minikanren/mk/arithmetic.rkt") (lib "icfp2017-minikanren/mk/test-interp.rkt") (lib "icfp2017-minikanren/mk/test-quines.rkt") (lib "icfp2017-minikanren/mk/test-check.rkt") (lib "icfp2017-minikanren/mk/test-type-infer.rkt") (lib "icfp2017-minikanren/evalo-scoping.rkt") (lib "icfp2017-minikanren/intro-examples.rkt") (lib "icfp2017-minikanren/racket-scheme-compat/specialized-scheme-compat.rkt") (lib "icfp2017-minikanren/evalo-small.rkt") (lib "icfp2017-minikanren/mk/evalo.rkt") (lib "icfp2017-minikanren/mk/test-arithmetic.rkt") (lib "icfp2017-minikanren/evalo-standard.rkt") (lib "icfp2017-minikanren/mk/type-infer.rkt"))) (name . "icfp2017-minikanren") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/icfp2017-minikanren.zip") (tags . ("logic" "miniKanren"))) pkg: creating single-collection link to # pkg: updating db with "icfp2017-minikanren" to '#s((sc-pkg-info pkg-info 3) (catalog "icfp2017-minikanren") "1c65cbf0e9a9f5f256d2cb80e4118fb39bd13fc5" #f "icfp2017-minikanren") raco setup: version: 8.12 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.12 raco setup: variants: cs raco setup: main collects: /home/root/racket/collects/ raco setup: collects paths: raco setup: /home/root/user/.local/share/racket/8.12/collects raco setup: /home/root/racket/collects/ raco setup: main pkgs: /home/root/racket/share/pkgs raco setup: pkgs paths: raco setup: /home/root/racket/share/pkgs raco setup: /home/root//user/.local/share/racket/8.12/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.12/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: main docs: /home/root/racket/doc raco setup: --- updating info-domain tables --- [10:28:42] raco setup: updating: /home/root/user/.local/share/racket/8.12/share/info-cache.rktd raco setup: --- pre-installing collections --- [10:28:42] raco setup: --- installing foreign libraries --- [10:28:42] raco setup: --- installing shared files --- [10:28:42] raco setup: --- compiling collections --- [10:28:42] raco setup: --- parallel build using 4 jobs --- [10:28:42] raco setup: 3 making: /icfp2017-minikanren raco setup: 3 making: /icfp2017-minikanren/mk raco setup: 3 making: /icfp2017-minikanren/racket-scheme-compat raco setup: 3 making: /icfp2017-minikanren/racket-scheme-compat/lang raco setup: --- creating launchers --- [10:28:44] raco setup: --- installing man pages --- [10:28:44] raco setup: --- building documentation --- [10:28:44] raco setup: --- installing collections --- [10:28:45] raco setup: --- post-installing collections --- [10:28:45] raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/evalo-optimized.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/evalo-scoping.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/evalo-small.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/evalo-standard.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/info.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/intro-examples.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/mk/arithmetic.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/mk/evalo.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/mk/mk.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/mk/test-all.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/mk/test-arithmetic.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/mk/test-check.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/mk/test-interp.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/mk/test-quines.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/mk/test-type-infer.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/mk/type-infer.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/racket-scheme-compat/lang/reader.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/racket-scheme-compat/specialized-scheme-compat.rkt" 0 /home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/evalo-optimized.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/evalo-scoping.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/evalo-small.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/evalo-standard.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/info.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/intro-examples.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/mk/arithmetic.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/mk/evalo.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/mk/mk.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/mk/test-all.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/mk/test-arithmetic.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/mk/test-check.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/mk/test-interp.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/mk/test-quines.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/mk/test-type-infer.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/mk/type-infer.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/racket-scheme-compat/lang/reader.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/icfp2017-minikanren/racket-scheme-compat/specialized-scheme-compat.rkt The time is now Wednesday, February 7th, 2024 5:28:50am