The time is now Wednesday, May 15th, 2024 12:28:08pm (/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 2 -u --auto k) Resolved "k" via file:///home/root//catalogs/archive/catalog pkg: catalog response: #hash((author . "dannypsnl@gmail.com racket@racket.tw cyb.ai.815@gmail.com") (checksum . "0a508f1ed5afa91223793b9c9c345a5d4a5318b9") (dependencies . (("k-core") ("k-lib") ("k-test") ("k-example") ("k-doc"))) (description . "k theorem prover") (modules . ()) (name . "k") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/k.zip") (tags . ("proofs"))) 00: Resolved "k-core" via file:///home/root//catalogs/built/catalog 00: Resolved "k-lib" via file:///home/root//catalogs/archive/catalog 01: Resolved "k-test" via file:///home/root//catalogs/archive/catalog 01: Resolved "k-example" via file:///home/root//catalogs/archive/catalog Resolved "k-doc" via file:///home/root//catalogs/archive/catalog pkg: catalog response: #hash((author . "dannypsnl@gmail.com cyb.ai.815@gmail.com") (checksum . "5f2e3a232b4c7402f5bc20a24f4b0897d8a1946e") (dependencies . (("base") ("syntax-classes-lib") ("rackunit"))) (description . "core of k theorem prover") (modules . ((lib "k/check.rkt") (lib "k/bindings.rkt") (lib "k/base.rkt") (lib "k/data.rkt") (lib "k/builtin.rkt") (lib "k/type.rkt") (lib "k/def.rkt") (lib "k/helper/stx-util.rkt") (lib "k/helper/id-hash.rkt") (lib "k/main.rkt") (lib "k/core.rkt"))) (name . "k-core") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/k-core.zip") (tags . ("proofs"))) pkg: catalog response: #hash((author . "dannypsnl@gmail.com cyb.ai.815@gmail.com") (checksum . "24ff2243662f846dd0d2a05d6a143ec617a78509") (dependencies . (("base") ("k-core") ("rackunit-lib"))) (description . "libraries of k theorem prover") (modules . ((lib "k/data/list.rkt") (lib "k/data/bool.rkt") (lib "k/data/vec.rkt") (lib "k/data/fin.rkt") (lib "k/data/nat.rkt") (lib "k/equality.rkt") (lib "k/sigma.rkt") (lib "k/dec.rkt"))) (name . "k-lib") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/k-lib.zip") (tags . ("proofs"))) pkg: catalog response: #hash((author . "dannypsnl@gmail.com cyb.ai.815@gmail.com") (checksum . "aea694284b16b587701171090132cc9c3d11bddd") (dependencies . (("base") ("rackunit-lib") ("k-core") ("k-lib"))) (description . "Test of k") (modules . ()) (name . "k-test") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/k-test.zip") (tags . ("main-tests"))) pkg: catalog response: #hash((author . "dannypsnl@gmail.com cyb.ai.815@gmail.com") (checksum . "e31d295b4ad479465bcac1ca31f6e4f707c5f184") (dependencies . (("base") ("k-core") ("k-lib"))) (description . "examples of using k theorem prover") (modules . ()) (name . "k-example") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/k-example.zip") (tags . ("examples"))) pkg: catalog response: #hash((author . "dannypsnl@gmail.com cyb.ai.815@gmail.com") (checksum . "6c58ce02bf73161309645853ac0bba490a0d9cdb") (dependencies . (("base") ("scribble-lib") ("racket-doc") ("k-core") ("k-lib"))) (description . "documentation of k theorem prover") (modules . ((lib "k/pages/library.scrbl") (lib "k/pages/language.scrbl") (lib "k/k.scrbl") (lib "k/pages/helper.rkt"))) (name . "k-doc") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/k-doc.zip") (tags . ("docs"))) Resolved "syntax-classes-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "64b891d85d6d951e667586c0589e98eddd32192d") (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: creating link to # pkg: updating db with "syntax-classes-lib" to '#s(pkg-info (catalog "syntax-classes-lib") "64b891d85d6d951e667586c0589e98eddd32192d" #t) pkg: creating link to # pkg: updating db with "k-lib" to '#s(pkg-info (catalog "k-lib") "24ff2243662f846dd0d2a05d6a143ec617a78509" #t) pkg: creating link to # pkg: updating db with "k-test" to '#s(pkg-info (catalog "k-test") "aea694284b16b587701171090132cc9c3d11bddd" #t) pkg: creating link to # pkg: updating db with "k-example" to '#s(pkg-info (catalog "k-example") "e31d295b4ad479465bcac1ca31f6e4f707c5f184" #t) pkg: creating link to # pkg: updating db with "k-doc" to '#s(pkg-info (catalog "k-doc") "6c58ce02bf73161309645853ac0bba490a0d9cdb" #t) pkg: creating link to # pkg: updating db with "k" to '#s(pkg-info (catalog "k") "0a508f1ed5afa91223793b9c9c345a5d4a5318b9" #f) pkg: creating link to # pkg: updating db with "k-core" to '#s(pkg-info (catalog "k-core") "5f2e3a232b4c7402f5bc20a24f4b0897d8a1946e" #t) The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of k: k-core k-lib k-test k-example k-doc dependencies of k-core: syntax-classes-lib raco setup: version: 8.13 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.13 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.13/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.13/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.13/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 --- [16:28:10] raco setup: updating: /home/root/user/.local/share/racket/8.13/share/info-cache.rktd raco setup: --- pre-installing collections --- [16:28:10] raco setup: --- installing foreign libraries --- [16:28:10] raco setup: --- installing shared files --- [16:28:10] raco setup: --- compiling collections --- [16:28:10] raco setup: --- parallel build using 2 jobs --- [16:28:10] raco setup: 1 making: /k-core/k raco setup: 0 making: /k-doc/k raco setup: 1 making: /k-core/k/helper raco setup: 1 making: /k-lib/k /home/root/user/.local/share/racket/8.13/pkgs/k-lib/k/equality.rkt:7:10: A: unbound identifier in: A compilation context...: /home/root/user/.local/share/racket/8.13/pkgs/k-lib/k/equality.rkt /home/root/user/.local/share/racket/8.13/pkgs/k-doc/k/pages/language.scrbl /home/root/user/.local/share/racket/8.13/pkgs/k-doc/k/k.scrbl location...: /home/root/user/.local/share/racket/8.13/pkgs/k-lib/k/equality.rkt:7:10 context...: .../private/parse-interp.rkt:643:50 /home/root/user/.local/share/racket/8.13/pkgs/k-core/k/core.rkt:78:0: check-type .../private/parse-interp.rkt:643:50 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/compiler/private/cm-minimal.rkt:700:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:633:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:449:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:435:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:406:0: maybe-compile-zo /home/root/racket/collects/compiler/private/cm-minimal.rkt:210:0: compile-root /home/root/racket/collects/compiler/private/cm-minimal.rkt:145:4: compilation-manager-load-handler /home/root/racket/collects/compiler/private/cm-minimal.rkt:700:0: compile-zo* /home/root/racket/collects/compiler/private/cm-minimal.rkt:633:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:449:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:435:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:406:0: maybe-compile-zo ... raco setup: 0 making: /k-doc/k/pages raco setup: 0 making: /syntax-classes-lib/syntax/parse/class raco setup: 1 making: /k-lib/k/data raco setup: --- creating launchers --- [16:28:13] raco setup: --- installing man pages --- [16:28:13] raco setup: --- building documentation --- [16:28:13] raco setup: 0 running: /k-doc/k/k.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/local-redirect.scrbl /home/root/user/.local/share/racket/8.13/pkgs/k-lib/k/equality.rkt:7:10: A: unbound identifier in: A location...: /home/root/user/.local/share/racket/8.13/pkgs/k-lib/k/equality.rkt:7:10 context...: .../private/parse-interp.rkt:643:50 /home/root/user/.local/share/racket/8.13/pkgs/k-core/k/core.rkt:78:0: check-type .../private/parse-interp.rkt:643:50 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:504:5 /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next /home/root/racket/collects/racket/private/reqprov.rkt:258:2 /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 /home/root/racket/share/pkgs/racket-index/setup/scribble.rkt:1591:27 context...: /home/root/racket/collects/setup/parallel-do.rkt:344:4: work-done method in list-queue% /home/root/racket/collects/setup/parallel-do.rkt:292:17 /home/root/racket/collects/setup/parallel-do.rkt:246:4 /home/root/racket/share/pkgs/racket-index/setup/scribble.rkt:138:0: setup-scribblings /home/root/racket/collects/setup/setup.rkt:78:3 /home/root/racket/collects/pkg/main.rkt:18:0: setup body of (submod "/home/root/racket/collects/pkg/main.rkt" main) /home/root/racket/collects/raco/raco.rkt:41:0 body of "/home/root/racket/collects/raco/raco.rkt" body of "/home/root/racket/collects/raco/main.rkt" raco setup: 0 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/start.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [16:28:19] raco setup: --- post-installing collections --- [16:28:19] raco setup: --- summary of errors --- [16:28:19] raco setup: error: during making for /k-doc/k raco setup: /home/root/user/.local/share/racket/8.13/pkgs/k-lib/k/equality.rkt:7:10: A: unbound identifier raco setup: in: A raco setup: compiling: /k-lib/k/equality.rkt STDOUT: # ===== raco setup: error: during building docs for /k-doc/k/k.scrbl raco setup: /home/root/user/.local/share/racket/8.13/pkgs/k-lib/k/equality.rkt:7:10: A: unbound identifier raco setup: in: A raco setup: location...: raco setup: /home/root/user/.local/share/racket/8.13/pkgs/k-lib/k/equality.rkt:7:10 raco setup: context...: raco setup: .../private/parse-interp.rkt:643:50 raco setup: /home/root/user/.local/share/racket/8.13/pkgs/k-core/k/core.rkt:78:0: check-type raco setup: .../private/parse-interp.rkt:643:50 raco setup: /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 raco setup: /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import raco setup: /home/root/racket/collects/racket/private/reqprov.rkt:504:5 raco setup: /home/root/racket/collects/racket/require-transform.rkt:268:2: expand-import raco setup: /home/root/racket/collects/racket/private/reqprov.rkt:287:21: try-next raco setup: /home/root/racket/collects/racket/private/reqprov.rkt:258:2 raco setup: /home/root/racket/collects/syntax/wrap-modbeg.rkt:46:4 raco setup: /home/root/racket/share/pkgs/racket-index/setup/scribble.rkt:1591:27 raco setup: racket pkg install: packages installed, although setup reported errors The time is now Wednesday, May 15th, 2024 12:28:19pm