The time is now Thursday, May 16th, 2024 12:09:28am (/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 satore && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package satore) Resolved "satore" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "laurent.orseau@gmail.com") (checksum . "b09e73e06b8cde20ee0d6da393444fda8f84cd4f") (dependencies . (("bazaar") ("data-lib") ("define2") ("global") ("math-lib") ("text-table") ("base") ("rackunit-lib") ("scribble-lib"))) (description . "First order logic theorem prover in CNF without equality but with atom rewrite rules") (modules . ((lib "satore/log.rkt") (lib "satore/tests/stress-test1.rkt") (lib "satore/scribblings/satore.scrbl") (lib "satore/tests/confluence.rkt") (lib "satore/unification-tree.rkt") (lib "satore/unification.rkt") (lib "satore/tests/saturation.rkt") (lib "satore/tests/clause-struct.rkt") (lib "satore/tests/unification.rkt") (lib "satore/misc.rkt") (lib "satore/rewrite-tree.rkt") (lib "satore/tests/trie.rkt") (lib "satore/tests/unification-tree.rkt") (lib "satore/clause-struct.rkt") (lib "satore/clause-format.rkt") (lib "satore/json-output.rkt") (lib "satore/tests/rewrite-tree.rkt") (lib "satore/saturation.rkt") (lib "satore/clause.rkt") (lib "satore/tptp.rkt") (lib "satore/tests/interact.rkt") (lib "satore/tests/misc.rkt") (lib "satore/trie.rkt") (lib "satore/main.rkt") (lib "satore/tests/clause.rkt") (lib "satore/interact.rkt"))) (name . "satore") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/satore.zip") (tags . ("logic"))) 00: Resolved "bazaar" via file:///home/root//catalogs/built/catalog 00: Resolved "define2" via file:///home/root//catalogs/built/catalog 01: Resolved "global" via file:///home/root//catalogs/built/catalog Resolved "text-table" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "laurent.orseau@gmail.com") (checksum . "9d15806fb9fe9dac1dbda17964447779de682628") (dependencies . (("base") ("data-lib") ("define2") ("draw-lib") ("gui-lib") ("images") ("math-lib") ("net-lib") ("plot-gui-lib") ("plot-lib") ("racket-index") ("rackunit-lib") ("scribble-lib") ("slideshow-lib") ("srfi-lite-lib"))) (description . "A personal collection of useful definitions. Quite unstable.") (modules . ((lib "bazaar/dict-list.rkt") (lib "bazaar/comparison.rkt") (lib "bazaar/getter-setter.rkt") (lib "bazaar/slideshow/slideshow-toc.rkt") (lib "bazaar/with-it.rkt") (lib "bazaar/values.rkt") (lib "bazaar/define.rkt") (lib "bazaar/roll-stack.rkt") (lib "bazaar/gui/board.rkt") (lib "bazaar/struct.rkt") (lib "bazaar/plot-param.rkt") (lib "bazaar/time.rkt") (lib "bazaar/gui/utils.rkt") (lib "bazaar/scribble/compiler.rkt") (lib "bazaar/keyword.rkt") (lib "bazaar/rvector.rkt") (lib "bazaar/net.rkt") (lib "bazaar/gui/examples/board-paint.rkt") (lib "bazaar/read.rkt") (lib "bazaar/tree.rkt") (lib "bazaar/convert.rkt") (lib "bazaar/cond-let.rkt") (lib "bazaar/slideshow/slideshow-tree.rkt") (lib "bazaar/net/smtp.rkt") (lib "bazaar/gui/rapid-gui.rkt") (lib "bazaar/loop.rkt") (lib "bazaar/memoize.rkt") (lib "bazaar/gui/list-box-sort.rkt") (lib "bazaar/version.rkt") (lib "bazaar/slideshow/slideshow-utils.rkt") (lib "bazaar/vector.rkt") (lib "bazaar/list.rkt") (lib "bazaar/rackunit.rkt") (lib "bazaar/cond-else.rkt") (lib "bazaar/dict.rkt") (lib "bazaar/order.rkt") (lib "bazaar/base.rkt") (lib "bazaar/matrix.rkt") (lib "bazaar/find-mode.rkt") (lib "bazaar/preferences.rkt") (lib "bazaar/clipboard.rkt") (lib "bazaar/repl.rkt") (lib "bazaar/plot.rkt") (lib "bazaar/debug.rkt") (lib "bazaar/draw/color.rkt") (lib "bazaar/slideshow/examples/slideshow-tree.rkt") (lib "bazaar/slideshow/slideshow-table.rkt") (lib "bazaar/information-theory.rkt") (lib "bazaar/regexp.rkt") (lib "bazaar/gui/bitmaps.rkt") (lib "bazaar/system.rkt") (lib "bazaar/slideshow/examples/slideshow-table.rkt") (lib "bazaar/math.rkt") (lib "bazaar/gui/float-box.rkt") (lib "bazaar/text-table.rkt") (lib "bazaar/numeric-kind.rkt") (lib "bazaar/slideshow/examples/slideshow-toc.rkt") (lib "bazaar/mutation.rkt") (lib "bazaar/slideshow/warsaw.rkt") (lib "bazaar/file.rkt") (lib "bazaar/bin-heap.rkt") (lib "bazaar/gui/msg-error.rkt") (lib "bazaar/slideshow/interactive-style-maker.rkt") (lib "bazaar/string.rkt") (lib "bazaar/date.rkt"))) (name . "bazaar") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/bazaar.zip") (tags . ("dev" "utility"))) pkg: catalog response: #hash((author . "laurent.orseau@gmail.com") (checksum . "4e3f5949d5a5247508a781f6ebb8a4b3fd205d88") (dependencies . (("base") ("sandbox-lib") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "Provides new but backward-compatible definitions of `lambda` and `define` that simplify keyword arguments and designing wrapper functions.") (modules . ((lib "define2/define.rkt") (lib "define2/scribblings/define2.scrbl") (lib "define2/tests/define.rkt") (lib "define2/define-wrapper.rkt") (lib "define2/formals.rkt") (lib "define2/main.rkt"))) (name . "define2") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/define2.zip") (tags . ("define" "keywords" "lambda" "syntax"))) pkg: catalog response: #hash((author . "laurent.orseau@gmail.com") (checksum . "fb3dc65b833274f5181994a2850b0ff62ab6184a") (dependencies . (("text-table") ("base") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "Define global variables and automatically generate a command line parser.") (modules . ((lib "global/examples/example.rkt") (lib "global/main.rkt") (lib "global/tests/out-of-scope.rkt") (lib "global/tests/more-tests.rkt") (lib "global/examples/minimal.rkt") (lib "global/tests/define-global-stress-test.rkt") (lib "global/scribblings/global.scrbl"))) (name . "global") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/global.zip") (tags . ("command-line" "commandline"))) pkg: catalog response: #hash((author . "laurent.orseau@gmail.com") (checksum . "33417c42e367bc9ff7fcdb9e49cc6b17efeecff2") (dependencies . (("base") ("sandbox-lib") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "A simple package to display text tables with unicode frames.") (modules . ((lib "text-table/tests/utils.rkt") (lib "text-table/tests/table.rkt") (lib "text-table/scribblings/text-table.scrbl") (lib "text-table/main.rkt") (lib "text-table/utils.rkt"))) (name . "text-table") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/text-table.zip") (tags . ("format" "tabular" "text" "unicode"))) pkg: creating single-collection link to # pkg: updating db with "bazaar" to '#s((sc-pkg-info pkg-info 3) (catalog "bazaar") "9d15806fb9fe9dac1dbda17964447779de682628" #t "bazaar") pkg: creating single-collection link to # pkg: updating db with "define2" to '#s((sc-pkg-info pkg-info 3) (catalog "define2") "4e3f5949d5a5247508a781f6ebb8a4b3fd205d88" #t "define2") pkg: creating single-collection link to # pkg: updating db with "global" to '#s((sc-pkg-info pkg-info 3) (catalog "global") "fb3dc65b833274f5181994a2850b0ff62ab6184a" #t "global") pkg: creating single-collection link to # pkg: updating db with "text-table" to '#s((sc-pkg-info pkg-info 3) (catalog "text-table") "33417c42e367bc9ff7fcdb9e49cc6b17efeecff2" #t "text-table") pkg: creating single-collection link to # pkg: updating db with "satore" to '#s((sc-pkg-info pkg-info 3) (catalog "satore") "b09e73e06b8cde20ee0d6da393444fda8f84cd4f" #f "satore") The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of satore: bazaar define2 global text-table 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 --- [4:09:30] raco setup: updating: /home/root/user/.local/share/racket/8.13/share/info-cache.rktd raco setup: --- pre-installing collections --- [4:09:30] raco setup: --- installing foreign libraries --- [4:09:30] raco setup: --- installing shared files --- [4:09:30] raco setup: --- compiling collections --- [4:09:30] raco setup: --- parallel build using 2 jobs --- [4:09:30] raco setup: 1 making: /bazaar raco setup: 0 making: /define2 raco setup: 0 making: /define2/tests raco setup: 0 making: /global raco setup: 0 making: /global/examples raco setup: 0 making: /global/tests raco setup: 0 making: /satore raco setup: 0 making: /satore/tests raco setup: 0 making: /text-table raco setup: 0 making: /text-table/tests raco setup: 1 making: /bazaar/gui raco setup: 1 making: /bazaar/slideshow raco setup: --- creating launchers --- [4:09:36] raco setup: launcher: /home/root/user/.local/share/racket/8.13/bin/satore raco setup: --- installing man pages --- [4:09:36] raco setup: --- building documentation --- [4:09:36] raco setup: syncing: /define2/doc/define2 raco setup: syncing: /global/doc/global raco setup: syncing: /satore/doc/satore raco setup: syncing: /text-table/doc/text-table raco setup: 0 running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 1 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 --- [4:09:42] raco setup: --- post-installing collections --- [4:09:42] raco test: 0 "/home/root//user/.local/share/racket/8.13/pkgs/satore/clause-format.rkt" raco test: 1 (submod "/home/root//user/.local/share/racket/8.13/pkgs/satore/clause-struct.rkt" test) raco test: 0 "/home/root//user/.local/share/racket/8.13/pkgs/satore/clause.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.13/pkgs/satore/interact.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.13/pkgs/satore/json-output.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.13/pkgs/satore/log.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.13/pkgs/satore/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.13/pkgs/satore/misc.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.13/pkgs/satore/rewrite-tree.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.13/pkgs/satore/saturation.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.13/pkgs/satore/tests/clause-struct.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.13/pkgs/satore/tests/clause.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.13/pkgs/satore/tests/confluence.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.13/pkgs/satore/tests/interact.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.13/pkgs/satore/tests/misc.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.13/pkgs/satore/tests/rewrite-tree.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.13/pkgs/satore/tests/saturation.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.13/pkgs/satore/tests/stress-test1.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.13/pkgs/satore/tests/trie.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.13/pkgs/satore/tests/unification-tree.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.13/pkgs/satore/tests/unification.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.13/pkgs/satore/tptp.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.13/pkgs/satore/trie.rkt" raco test: 0 (submod "/home/root//user/.local/share/racket/8.13/pkgs/satore/unification-tree.rkt" test) raco test: 0 "/home/root//user/.local/share/racket/8.13/pkgs/satore/unification.rkt" 20034 /home/root//user/.local/share/racket/8.13/pkgs/satore/tests/rewrite-tree.rkt 434 /home/root//user/.local/share/racket/8.13/pkgs/satore/tests/saturation.rkt 171 /home/root//user/.local/share/racket/8.13/pkgs/satore/tests/unification.rkt 78 /home/root//user/.local/share/racket/8.13/pkgs/satore/tests/clause.rkt 16 /home/root//user/.local/share/racket/8.13/pkgs/satore/tests/trie.rkt 10 /home/root//user/.local/share/racket/8.13/pkgs/satore/tests/confluence.rkt 10 /home/root//user/.local/share/racket/8.13/pkgs/satore/tests/unification-tree.rkt 4 /home/root//user/.local/share/racket/8.13/pkgs/satore/tests/clause-struct.rkt 4 /home/root//user/.local/share/racket/8.13/pkgs/satore/tests/misc.rkt 2 /home/root//user/.local/share/racket/8.13/pkgs/satore/tests/interact.rkt 0 /home/root//user/.local/share/racket/8.13/pkgs/satore/clause-format.rkt 0 /home/root//user/.local/share/racket/8.13/pkgs/satore/clause-struct.rkt 0 /home/root//user/.local/share/racket/8.13/pkgs/satore/clause.rkt 0 /home/root//user/.local/share/racket/8.13/pkgs/satore/interact.rkt 0 /home/root//user/.local/share/racket/8.13/pkgs/satore/json-output.rkt 0 /home/root//user/.local/share/racket/8.13/pkgs/satore/log.rkt 0 /home/root//user/.local/share/racket/8.13/pkgs/satore/main.rkt 0 /home/root//user/.local/share/racket/8.13/pkgs/satore/misc.rkt 0 /home/root//user/.local/share/racket/8.13/pkgs/satore/rewrite-tree.rkt 0 /home/root//user/.local/share/racket/8.13/pkgs/satore/saturation.rkt 0 /home/root//user/.local/share/racket/8.13/pkgs/satore/tests/stress-test1.rkt 0 /home/root//user/.local/share/racket/8.13/pkgs/satore/tptp.rkt 0 /home/root//user/.local/share/racket/8.13/pkgs/satore/trie.rkt 0 /home/root//user/.local/share/racket/8.13/pkgs/satore/unification-tree.rkt 0 /home/root//user/.local/share/racket/8.13/pkgs/satore/unification.rkt 20763 tests passed The time is now Thursday, May 16th, 2024 12:10:14am