For information about the package build service, see https://pkg-build.racket-lang.org/about.html
The time is now Sat, 22 Nov 2025 20:35:44 +0000
(/usr/bin/env PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: PLTSTDOUT=debug@pkg info@GC:major /usr/bin/xvfb-run --auto-servernum -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 2 -u --auto z3 && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package z3)
Resolved "z3" via file:///home/root//catalogs/built/catalog
pkg: catalog response: #hash((author . "pcn@cs.umd.edu") (checksum . "9cb02adbe667cea8bfeef866adfbcc3aa46cf848") (dependencies . (("base") ("html-lib") ("typed-racket-lib") ("typed-racket-more"))) (description . "Z3 bindings for Racket") (modules . ((lib "z3/main.rkt") (lib "z3/smt/primitives.rkt") (lib "z3/smt.rkt") (lib "z3/smt/main.rkt") (lib "z3/tests/guide.rkt") (lib "z3/smt/commands.rkt") (lib "z3/smt/private.rkt") (lib "z3/ffi.rkt") (lib "z3/ffi/define-ffi.rkt") (lib "z3/ffi/ffi-typed.rkt") (lib "z3/ffi/main.rkt") (lib "z3/ffi/ffi.rkt"))) (name . "z3") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/z3.zip") (tags . ("smt" "solver" "z3")))
pkg: creating single-collection link to #<path:/home/root//user/.local/share/racket/9.0/pkgs/z3>
pkg: updating db with "z3" to '#s((sc-pkg-info pkg-info 3) (catalog "z3") "9cb02adbe667cea8bfeef866adfbcc3aa46cf848" #f "z3")
raco setup: version: 9.0
raco setup: platform: x86_64-linux-natipkg [cs]
raco setup: target machine: any
raco setup: cross-installation: yes
raco setup: installation name: 9.0
raco setup: variants: cs
raco setup: main collects: /home/root/racket/collects/
raco setup: collects paths: 
raco setup:   /home/root/user/.local/share/racket/9.0/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/9.0/pkgs
raco setup: links files: 
raco setup:   /home/root/racket/share/links.rktd
raco setup:   /home/root//user/.local/share/racket/9.0/links.rktd
raco setup: compiled-file roots: 
raco setup:   /home/root//zo
raco setup:   same
raco setup: --- updating info-domain tables ---                    [20:35:46]
raco setup: updating: /home/root/user/.local/share/racket/9.0/share/info-cache.rktd
raco setup: --- pre-installing collections ---                     [20:35:46]
raco setup: --- installing foreign libraries ---                   [20:35:46]
raco setup: --- installing shared files ---                        [20:35:46]
raco setup: --- compiling collections ---                          [20:35:46]
raco setup: --- parallel build using 2 jobs ---                    [20:35:46]
raco setup: 1 making: <pkgs>/z3
raco setup: 1 making: <pkgs>/z3/ffi
raco setup: 1 making: <pkgs>/z3/smt
raco setup: 1 making: <pkgs>/z3/tests
raco setup: --- creating launchers ---                             [20:35:52]
raco setup: --- installing man pages ---                           [20:35:52]
raco setup: --- building documentation ---                         [20:35:52]
raco setup: --- installing collections ---                         [20:35:52]
raco setup: --- post-installing collections ---                    [20:35:52]
GC: 0:atexit peak 269,559K(+140,092K); alloc 3,616,257K; major 3; minor 184; 1774ms
raco test: 0 (file "/home/root//user/.local/share/racket/9.0/pkgs/z3/ffi/define-ffi.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.0/pkgs/z3/ffi/ffi-typed.rkt")
define-ffi.rkt: racket test: #<<non-empty stderr
z3-rkt: Cannot locate Z3 libary. Please set ${Z3_LIB} to the directory containing libz3.so
  context...:
   body of "/home/root/user/.local/share/racket/9.0/pkgs/z3/ffi/define-ffi.rkt"
   /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2
   body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process)
   body of top-level

non-empty stderr
raco test: 0 (file "/home/root//user/.local/share/racket/9.0/pkgs/z3/ffi/ffi.rkt")
ffi-typed.rkt: racket test: #<<non-empty stderr
z3-rkt: Cannot locate Z3 libary. Please set ${Z3_LIB} to the directory containing libz3.so
  context...:
   body of "/home/root/user/.local/share/racket/9.0/pkgs/z3/ffi/define-ffi.rkt"
   /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2
   body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process)
   body of top-level

non-empty stderr
raco test: 1 (file "/home/root//user/.local/share/racket/9.0/pkgs/z3/ffi/main.rkt")
ffi.rkt: racket test: #<<non-empty stderr
z3-rkt: Cannot locate Z3 libary. Please set ${Z3_LIB} to the directory containing libz3.so
  context...:
   body of "/home/root/user/.local/share/racket/9.0/pkgs/z3/ffi/define-ffi.rkt"
   /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2
   body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process)
   body of top-level

non-empty stderr
raco test: 0 (file "/home/root//user/.local/share/racket/9.0/pkgs/z3/ffi.rkt")
main.rkt: racket test: #<<non-empty stderr
z3-rkt: Cannot locate Z3 libary. Please set ${Z3_LIB} to the directory containing libz3.so
  context...:
   body of "/home/root/user/.local/share/racket/9.0/pkgs/z3/ffi/define-ffi.rkt"
   /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2
   body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process)
   body of top-level

non-empty stderr
raco test: 1 (file "/home/root//user/.local/share/racket/9.0/pkgs/z3/info.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/9.0/pkgs/z3/main.rkt")
ffi.rkt: racket test: #<<non-empty stderr
z3-rkt: Cannot locate Z3 libary. Please set ${Z3_LIB} to the directory containing libz3.so
  context...:
   body of "/home/root/user/.local/share/racket/9.0/pkgs/z3/ffi/define-ffi.rkt"
   /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2
   body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process)
   body of top-level

non-empty stderr
raco test: 0 (file "/home/root//user/.local/share/racket/9.0/pkgs/z3/smt/commands.rkt")
main.rkt: racket test: #<<non-empty stderr
z3-rkt: Cannot locate Z3 libary. Please set ${Z3_LIB} to the directory containing libz3.so
  context...:
   body of "/home/root/user/.local/share/racket/9.0/pkgs/z3/ffi/define-ffi.rkt"
   /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2
   body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process)
   body of top-level

non-empty stderr
raco test: 1 (file "/home/root//user/.local/share/racket/9.0/pkgs/z3/smt/main.rkt")
commands.rkt: racket test: #<<non-empty stderr
z3-rkt: Cannot locate Z3 libary. Please set ${Z3_LIB} to the directory containing libz3.so
  context...:
   body of "/home/root/user/.local/share/racket/9.0/pkgs/z3/ffi/define-ffi.rkt"
   /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2
   body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process)
   body of top-level

non-empty stderr
raco test: 0 (file "/home/root//user/.local/share/racket/9.0/pkgs/z3/smt/primitives.rkt")
main.rkt: racket test: #<<non-empty stderr
z3-rkt: Cannot locate Z3 libary. Please set ${Z3_LIB} to the directory containing libz3.so
  context...:
   body of "/home/root/user/.local/share/racket/9.0/pkgs/z3/ffi/define-ffi.rkt"
   /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2
   body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process)
   body of top-level

non-empty stderr
raco test: 1 (file "/home/root//user/.local/share/racket/9.0/pkgs/z3/smt/private.rkt")
primitives.rkt: racket test: #<<non-empty stderr
z3-rkt: Cannot locate Z3 libary. Please set ${Z3_LIB} to the directory containing libz3.so
  context...:
   body of "/home/root/user/.local/share/racket/9.0/pkgs/z3/ffi/define-ffi.rkt"
   /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2
   body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process)
   body of top-level

non-empty stderr
raco test: 0 (file "/home/root//user/.local/share/racket/9.0/pkgs/z3/smt.rkt")
private.rkt: racket test: #<<non-empty stderr
z3-rkt: Cannot locate Z3 libary. Please set ${Z3_LIB} to the directory containing libz3.so
  context...:
   body of "/home/root/user/.local/share/racket/9.0/pkgs/z3/ffi/define-ffi.rkt"
   /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2
   body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process)
   body of top-level

non-empty stderr
raco test: 1 (file "/home/root//user/.local/share/racket/9.0/pkgs/z3/tests/guide.rkt")
smt.rkt: racket test: #<<non-empty stderr
z3-rkt: Cannot locate Z3 libary. Please set ${Z3_LIB} to the directory containing libz3.so
  context...:
   body of "/home/root/user/.local/share/racket/9.0/pkgs/z3/ffi/define-ffi.rkt"
   /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2
   body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process)
   body of top-level

non-empty stderr
guide.rkt: racket test: #<<non-empty stderr
z3-rkt: Cannot locate Z3 libary. Please set ${Z3_LIB} to the directory containing libz3.so
  context...:
   body of "/home/root/user/.local/share/racket/9.0/pkgs/z3/ffi/define-ffi.rkt"
   /home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:98:2
   body of (submod "/home/root/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt" process)
   body of top-level

non-empty stderr
12/12 test failures
  0 /home/root//user/.local/share/racket/9.0/pkgs/z3/info.rkt
1 1 /home/root//user/.local/share/racket/9.0/pkgs/z3/ffi/define-ffi.rkt
1 1 /home/root//user/.local/share/racket/9.0/pkgs/z3/ffi/ffi-typed.rkt
1 1 /home/root//user/.local/share/racket/9.0/pkgs/z3/ffi/ffi.rkt
1 1 /home/root//user/.local/share/racket/9.0/pkgs/z3/ffi/main.rkt
1 1 /home/root//user/.local/share/racket/9.0/pkgs/z3/ffi.rkt
1 1 /home/root//user/.local/share/racket/9.0/pkgs/z3/main.rkt
1 1 /home/root//user/.local/share/racket/9.0/pkgs/z3/smt/commands.rkt
1 1 /home/root//user/.local/share/racket/9.0/pkgs/z3/smt/main.rkt
1 1 /home/root//user/.local/share/racket/9.0/pkgs/z3/smt/primitives.rkt
1 1 /home/root//user/.local/share/racket/9.0/pkgs/z3/smt/private.rkt
1 1 /home/root//user/.local/share/racket/9.0/pkgs/z3/smt.rkt
1 1 /home/root//user/.local/share/racket/9.0/pkgs/z3/tests/guide.rkt
GC: 0:atexit peak 100,947K(+40,385K); alloc 224,983K; major 1; minor 25; 202ms
The time is now Sat, 22 Nov 2025 20:35:57 +0000