The time is now Friday, June 21st, 2024 12:14:28am (/usr/bin/env 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 1 -u --auto satore && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 1 --timeout 180 --drdr --package satore) Resolved "satore" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "laurent.orseau@gmail.com") (checksum . "3d967dbcabea60d03a0ef63a7c72d9e7fca99624") (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 . "64bdcb47cc7ca078daa2e42dd7b7023e1d2550fd") (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 . "d6063f22c228f2ac98d543bd48e3b8ab12290d34") (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 . "c2891b17cb31d4cc1e389fdc25fdc7881092ecbb") (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 . "d0a2dc6360aa02394e842896f27fc20f5347d7b7") (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") "64bdcb47cc7ca078daa2e42dd7b7023e1d2550fd" #t "bazaar") pkg: creating single-collection link to # pkg: updating db with "define2" to '#s((sc-pkg-info pkg-info 3) (catalog "define2") "d6063f22c228f2ac98d543bd48e3b8ab12290d34" #t "define2") pkg: creating single-collection link to # pkg: updating db with "global" to '#s((sc-pkg-info pkg-info 3) (catalog "global") "c2891b17cb31d4cc1e389fdc25fdc7881092ecbb" #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") "d0a2dc6360aa02394e842896f27fc20f5347d7b7" #t "text-table") pkg: creating single-collection link to # pkg: updating db with "satore" to '#s((sc-pkg-info pkg-info 3) (catalog "satore") "3d967dbcabea60d03a0ef63a7c72d9e7fca99624" #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.0.7 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: snapshot raco setup: variants: cs raco setup: main collects: /home/root/racket/collects/ raco setup: collects paths: raco setup: /home/root/user/.local/share/racket/snapshot/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/snapshot/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/snapshot/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 --- [5:14:33] raco setup: updating: /home/root/user/.local/share/racket/snapshot/share/info-cache.rktd raco setup: --- pre-installing collections --- [5:14:33] raco setup: --- installing foreign libraries --- [5:14:33] raco setup: --- installing shared files --- [5:14:33] raco setup: --- compiling collections --- [5:14:33] raco setup: making: /bazaar raco setup: in /bazaar raco setup: in /define2 raco setup: making: /bazaar/draw raco setup: in /bazaar/draw raco setup: making: /bazaar/gui raco setup: in /bazaar/gui raco setup: making: /bazaar/gui/examples raco setup: in /bazaar/gui/examples raco setup: making: /bazaar/net raco setup: in /bazaar/net raco setup: making: /bazaar/scribble raco setup: in /bazaar/scribble raco setup: making: /bazaar/slideshow raco setup: in /bazaar/slideshow raco setup: making: /bazaar/slideshow/examples raco setup: in /bazaar/slideshow/examples raco setup: making: /define2 raco setup: in /define2 raco setup: in /define2/scribblings raco setup: making: /define2/scribblings raco setup: making: /define2/tests raco setup: in /define2/tests raco setup: making: /global raco setup: in /global raco setup: in /text-table raco setup: in /global/scribblings raco setup: making: /global/examples raco setup: in /global/examples raco setup: making: /global/scribblings raco setup: making: /global/tests raco setup: in /global/tests raco setup: making: /satore raco setup: in /satore raco setup: in /satore/scribblings raco setup: making: /satore/examples raco setup: making: /satore/scribblings raco setup: making: /satore/tests raco setup: in /satore/tests raco setup: making: /text-table raco setup: in /text-table raco setup: in /text-table/scribblings raco setup: making: /text-table/scribblings raco setup: making: /text-table/tests raco setup: in /text-table/tests raco setup: --- creating launchers --- [5:14:52] raco setup: launcher: /home/root/user/.local/share/racket/snapshot/bin/satore raco setup: --- installing man pages --- [5:14:52] raco setup: --- building documentation --- [5:14:52] raco setup: syncing: /define2/doc/define2 raco setup: syncing: /global/doc/global raco setup: running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: running: /racket-index/scribblings/main/user/release.scrbl raco setup: syncing: /satore/doc/satore raco setup: running: /racket-index/scribblings/main/user/search.scrbl raco setup: running: /racket-index/scribblings/main/user/start.scrbl raco setup: syncing: /text-table/doc/text-table raco setup: rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [5:15:05] raco setup: --- post-installing collections --- [5:15:05] raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/satore/clause-format.rkt" raco test: (submod "/home/root//user/.local/share/racket/snapshot/pkgs/satore/clause-struct.rkt" test) raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/satore/clause.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/satore/interact.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/satore/json-output.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/satore/log.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/satore/main.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/satore/misc.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/satore/rewrite-tree.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/satore/saturation.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/satore/tests/clause-struct.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/satore/tests/clause.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/satore/tests/confluence.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/satore/tests/interact.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/satore/tests/misc.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/satore/tests/rewrite-tree.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/satore/tests/saturation.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/satore/tests/stress-test1.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/satore/tests/trie.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/satore/tests/unification-tree.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/satore/tests/unification.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/satore/tptp.rkt" raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/satore/trie.rkt" raco test: (submod "/home/root//user/.local/share/racket/snapshot/pkgs/satore/unification-tree.rkt" test) raco test: "/home/root//user/.local/share/racket/snapshot/pkgs/satore/unification.rkt" 20034 /home/root//user/.local/share/racket/snapshot/pkgs/satore/tests/rewrite-tree.rkt 434 /home/root//user/.local/share/racket/snapshot/pkgs/satore/tests/saturation.rkt 171 /home/root//user/.local/share/racket/snapshot/pkgs/satore/tests/unification.rkt 78 /home/root//user/.local/share/racket/snapshot/pkgs/satore/tests/clause.rkt 16 /home/root//user/.local/share/racket/snapshot/pkgs/satore/tests/trie.rkt 10 /home/root//user/.local/share/racket/snapshot/pkgs/satore/tests/confluence.rkt 10 /home/root//user/.local/share/racket/snapshot/pkgs/satore/tests/unification-tree.rkt 4 /home/root//user/.local/share/racket/snapshot/pkgs/satore/tests/clause-struct.rkt 4 /home/root//user/.local/share/racket/snapshot/pkgs/satore/tests/misc.rkt 2 /home/root//user/.local/share/racket/snapshot/pkgs/satore/tests/interact.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/satore/clause-format.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/satore/clause-struct.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/satore/clause.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/satore/interact.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/satore/json-output.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/satore/log.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/satore/main.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/satore/misc.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/satore/rewrite-tree.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/satore/saturation.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/satore/tests/stress-test1.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/satore/tptp.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/satore/trie.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/satore/unification-tree.rkt 0 /home/root//user/.local/share/racket/snapshot/pkgs/satore/unification.rkt 20763 tests passed The time is now Friday, June 21st, 2024 12:16:37am