The time is now Tuesday, February 6th, 2024 2:29:12pm (/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 acl2s-scribblings && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 4 --drdr --package acl2s-scribblings) Resolved "acl2s-scribblings" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "8cbb3d01f7b67ba78382d96051b9d0ac248143fc") (dependencies . (("base") ("rackunit-lib") ("syntax-classes-lib") ("syntax-class-or") ("racket-doc") ("scribble-lib"))) (description . "a scribble document for beginner mode of ACL2s") (modules . ((lib "acl2s-scribblings/acl2s-printer.rkt") (lib "acl2s-scribblings/scribblings/acl2s.scrbl") (lib "acl2s-scribblings/util/stx.rkt") (lib "acl2s-scribblings/acl2s-placeholder.rkt") (lib "acl2s-scribblings/util/check-generator-predicate.rkt") (lib "acl2s-scribblings/util/branch-conditions.rkt"))) (name . "acl2s-scribblings") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/acl2s-scribblings.zip") (tags . ())) 00: Resolved "syntax-classes-lib" via file:///home/root//catalogs/built/catalog Resolved "syntax-class-or" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "bee112e3c0598b858b69369fbc77eeffd87c0ce2") (dependencies . (("base" #:version "7.8.0.9"))) (description . "implementation (no documentation) for “syntax-classes”") (modules . ((lib "syntax/parse/class/struct-id.rkt") (lib "syntax/parse/class/local-value.rkt") (lib "syntax/parse/class/paren-shape.rkt"))) (name . "syntax-classes-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-classes-lib.zip") (tags . ("syntax"))) pkg: catalog response: #hash((author . "alexander@knauth.org") (checksum . "60dea2b71a07f3f6bda3aa3b5422d630091c216f") (dependencies . (("base") ("rackunit-lib") ("scribble-lib") ("racket-doc"))) (description . "Combining syntax classes together as multiple variants") (modules . ((lib "syntax/parse/syntax-class-or/scribblings/syntax-class-or.scrbl") (lib "syntax/parse/syntax-class-or.rkt"))) (name . "syntax-class-or") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-class-or.zip") (tags . ("syntax-parse"))) pkg: creating link to # pkg: updating db with "syntax-classes-lib" to '#s(pkg-info (catalog "syntax-classes-lib") "bee112e3c0598b858b69369fbc77eeffd87c0ce2" #t) pkg: creating link to # pkg: updating db with "syntax-class-or" to '#s(pkg-info (catalog "syntax-class-or") "60dea2b71a07f3f6bda3aa3b5422d630091c216f" #t) pkg: creating single-collection link to # pkg: updating db with "acl2s-scribblings" to '#s((sc-pkg-info pkg-info 3) (catalog "acl2s-scribblings") "8cbb3d01f7b67ba78382d96051b9d0ac248143fc" #f "acl2s-scribblings") The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of acl2s-scribblings: syntax-classes-lib syntax-class-or 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 --- [19:29:13] raco setup: updating: /home/root/user/.local/share/racket/8.12/share/info-cache.rktd raco setup: --- pre-installing collections --- [19:29:13] raco setup: --- installing foreign libraries --- [19:29:13] raco setup: --- installing shared files --- [19:29:13] raco setup: --- compiling collections --- [19:29:13] raco setup: --- parallel build using 4 jobs --- [19:29:13] raco setup: 3 making: /acl2s-scribblings raco setup: 2 making: /syntax-class-or/syntax raco setup: 2 making: /syntax-class-or/syntax/parse raco setup: 2 making: /syntax-class-or/syntax/parse/syntax-class-or raco setup: 1 making: /syntax-classes-lib/syntax raco setup: 1 making: /syntax-classes-lib/syntax/parse raco setup: 1 making: /syntax-classes-lib/syntax/parse/class raco setup: 2 making: /syntax-class-or/syntax/parse/syntax-class-or/scribblings raco setup: 3 making: /acl2s-scribblings/scribblings raco setup: 3 making: /acl2s-scribblings/util raco setup: --- creating launchers --- [19:29:15] raco setup: --- installing man pages --- [19:29:15] raco setup: --- building documentation --- [19:29:15] raco setup: syncing: /acl2s-scribblings/doc/acl2s raco setup: syncing: /syntax-class-or/syntax/parse/syntax-class-or/doc/syntax-class-or raco setup: 2 running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 3 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 2 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/start.scrbl raco setup: 3 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 2 rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [19:29:22] raco setup: --- post-installing collections --- [19:29:22] raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/acl2s-scribblings/acl2s-placeholder.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/acl2s-scribblings/acl2s-printer.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/acl2s-scribblings/info.rkt" raco test: 3 "/home/root//user/.local/share/racket/8.12/pkgs/acl2s-scribblings/scribblings/acl2s.scrbl" raco test: 1 (submod "/home/root//user/.local/share/racket/8.12/pkgs/acl2s-scribblings/util/branch-conditions.rkt" test) raco test: 0 (submod "/home/root//user/.local/share/racket/8.12/pkgs/acl2s-scribblings/util/check-generator-predicate.rkt" test) raco test: 2 "/home/root//user/.local/share/racket/8.12/pkgs/acl2s-scribblings/util/stx.rkt" 9 /home/root//user/.local/share/racket/8.12/pkgs/acl2s-scribblings/util/branch-conditions.rkt 1 /home/root//user/.local/share/racket/8.12/pkgs/acl2s-scribblings/util/check-generator-predicate.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/acl2s-scribblings/acl2s-placeholder.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/acl2s-scribblings/acl2s-printer.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/acl2s-scribblings/info.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/acl2s-scribblings/scribblings/acl2s.scrbl 0 /home/root//user/.local/share/racket/8.12/pkgs/acl2s-scribblings/util/stx.rkt 10 tests passed The time is now Tuesday, February 6th, 2024 2:29:26pm