The time is now Tuesday, July 8th, 2025 4:45:30pm (/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: DISPLAY=:1 DISPLAY=:1 PLTSTDOUT=debug@pkg info@GC:major /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 softposit-herbie) Resolved "softposit-herbie" via file:///home/root//catalogs/archive/catalog pkg: catalog response: #hash((author . "me@pavpanchekha.com") (checksum . "98582e0ce76adcf86571e6b9465e8b6d35b6f9ba") (dependencies . (("math-lib") ("base") ("softposit-rkt") ("rival") ("herbie" #:version "2.0"))) (description . "SoftPosit support for Herbie") (modules . ((lib "softposit-herbie/main.rkt"))) (name . "softposit-herbie") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/softposit-herbie.zip") (tags . ("floating-point" "posits"))) 00: Resolved "softposit-rkt" via file:///home/root//catalogs/archive/catalog 00: Resolved "rival" via file:///home/root//catalogs/built/catalog Resolved "herbie" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "dthien@cs.washington.edu me@pavpanchekha.com") (checksum . "2e33c01448bcfa72645d2cb49de353556e9c6de0") (dependencies . (("math-lib") ("base") ("scribble-lib") ("racket-doc") ("rackunit-lib"))) (description . "Racket bindings for the C softposit library. More info at posithub.org (currently only works on Linux 64-bit.)") (modules . ((lib "softposit-rkt/main.rkt") (lib "softposit-rkt/softposit-rkt.scrbl") (lib "softposit-rkt/install.rkt") (lib "softposit-rkt/softposit.rkt"))) (name . "softposit-rkt") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/softposit-rkt.zip") (tags . ("ffi" "numerical" "posits" "softposit" "unum"))) pkg: catalog response: #hash((author . "me@pavpanchekha.com") (checksum . "4eaef7fc68acd2b70d5c83644ef382cb1d045118") (dependencies . (("base" #:version "8.0") ("math-lib") ("rackunit-lib") ("profile-lib") ("rackunit-lib") ("scribble-lib") ("racket-doc") ("math-doc") ("sandbox-lib"))) (description . "Interval analysis for real computation") (modules . ((lib "rival/scribblings/core.scrbl") (lib "rival/eval/adjust.rkt") (lib "rival/scribblings/profile.scrbl") (lib "rival/ops/pow.rkt") (lib "rival/mpfr.rkt") (lib "rival/infra/run-mpfi.rkt") (lib "rival/eval/tricks.rkt") (lib "rival/infra/run-mathematica.rkt") (lib "rival/eval/compile.rkt") (lib "rival/eval/run.rkt") (lib "rival/utils.rkt") (lib "rival/repl.rkt") (lib "rival/eval/main.rkt") (lib "rival/scribblings/eval.scrbl") (lib "rival/infra/run-sollya.rkt") (lib "rival/eval/machine.rkt") (lib "rival/time.rkt") (lib "rival/ops/trig.rkt") (lib "rival/infra/report.rkt") (lib "rival/ops/gamma.rkt") (lib "rival/profile.rkt") (lib "rival/scribblings/rival.scrbl") (lib "rival/ops/all.rkt") (lib "rival/ops/arith.rkt") (lib "rival/infra/run-baseline.rkt") (lib "rival/infra/format-mathematica.rkt") (lib "rival/test.rkt") (lib "rival/infra/generate-points.rkt") (lib "rival/main.rkt") (lib "rival/ops/core.rkt") (lib "rival/infra/interval-evaluate.rkt") (lib "rival/eval/tests.rkt") (lib "rival/eval/types.rkt") (lib "rival/ops/fmod.rkt"))) (name . "rival") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rival.zip") (tags . ("analysis" "floating-point" "numerical"))) pkg: catalog response: #hash((author . "me@pavpanchekha.com bksaiki@gmail.com") (checksum . "e4bf12643a705ac937bb83c6ad7c7b3736a2259f") (dependencies . (("base" #:version "8.0") ("math-lib") ("profile-lib") ("rackunit-lib") ("web-server-lib") ("egg-herbie" #:version "2.0") ("rival" #:version "2.0") ("fpbench" #:version "2.0.3") ("rackunit-lib"))) (description . "A tool for automatically improving the accuracy of floating point expressions") (modules . ((lib "herbie/main.rkt") (lib "herbie/web/run.rkt") (lib "herbie/improve.rkt") (lib "herbie/sandbox.rkt") (lib "herbie/timeline.rkt") (lib "herbie/syntax/sugar.rkt") (lib "herbie/core/simplify.rkt") (lib "herbie/reprs/runtime/utils.rkt") (lib "herbie/platforms/default.rkt") (lib "herbie/pareto.rkt") (lib "herbie/core/reduce.rkt") (lib "herbie/web/traceback.rkt") (lib "herbie/platform.rkt") (lib "herbie/web/history.rkt") (lib "herbie/core/alt-table.rkt") (lib "herbie/syntax/rules.rkt") (lib "herbie/web/server.rkt") (lib "herbie/web/thread-pool.rkt") (lib "herbie/float.rkt") (lib "herbie/web/demo.rkt") (lib "herbie/syntax/types.rkt") (lib "herbie/syntax/syntax.rkt") (lib "herbie/web/timeline.rkt") (lib "herbie/plugin.rkt") (lib "herbie/syntax/type-check.rkt") (lib "herbie/core/regimes.rkt") (lib "herbie/web/plot.rkt") (lib "herbie/profile.rkt") (lib "herbie/herbie.rkt") (lib "herbie/config.rkt") (lib "herbie/web/pages.rkt") (lib "herbie/core/matcher.rkt") (lib "herbie/mainloop.rkt") (lib "herbie/reprs/runtime/float32.rkt") (lib "herbie/errors.rkt") (lib "herbie/compiler.rkt") (lib "herbie/syntax/syntax-check.rkt") (lib "herbie/core/egg-herbie.rkt") (lib "herbie/platforms/libm.rkt") (lib "herbie/platforms/math.rkt") (lib "herbie/reprs/runtime/libm.rkt") (lib "herbie/core/localize.rkt") (lib "herbie/reprs/fallback.rkt") (lib "herbie/datafile.rkt") (lib "herbie/programs.rkt") (lib "herbie/soundiness.rkt") (lib "herbie/pretty-print.rkt") (lib "herbie/conversions.rkt") (lib "herbie/patch.rkt") (lib "herbie/core/rr.rkt") (lib "herbie/defaccelerator.rkt") (lib "herbie/core/taylor.rkt") (lib "herbie/preprocess.rkt") (lib "herbie/shell.rkt") (lib "herbie/web/make-report.rkt") (lib "herbie/multi-command-line.rkt") (lib "herbie/web/core2mathjs.rkt") (lib "herbie/accelerator.rkt") (lib "herbie/load-plugin.rkt") (lib "herbie/web/common.rkt") (lib "herbie/web/make-graph.rkt") (lib "herbie/reprs/binary32.rkt") (lib "herbie/reprs/binary64.rkt") (lib "herbie/searchreals.rkt") (lib "herbie/core/bsearch.rkt") (lib "herbie/common.rkt") (lib "herbie/syntax/test-rules.rkt") (lib "herbie/points.rkt") (lib "herbie/explain.rkt") (lib "herbie/sampling.rkt") (lib "herbie/reprs/bool.rkt") (lib "herbie/syntax/read.rkt") (lib "herbie/alternative.rkt"))) (name . "herbie") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/herbie.zip") (tags . ("floating-point" "synthesis"))) 00: Resolved "egg-herbie" via file:///home/root//catalogs/built/catalog Resolved "fpbench" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "me@pavpanchekha.com oflatt@gmail.com pavpan@cs.utah.edu") (checksum . "4c0d87a5cc9afcd04652841dd261efd8abe9bf14") (dependencies . (("base" #:version "8.0") ("egg-herbie-macosm1" #:version "2.0" #:platform "aarch64-macosx") ("egg-herbie-osx" #:version "2.0" #:platform "x86_64-macosx") ("egg-herbie-windows" #:version "2.0" #:platform "win32\\x86_64") ("egg-herbie-linux" #:version "2.0" #:platform "x86_64-linux") ("egg-herbie-linux" #:version "2.0" #:platform "x86_64-linux-natipkg"))) (description . "A Herbie component to simplify mathematical expressions using the egg egraph library") (modules . ()) (name . "egg-herbie") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/egg-herbie.zip") (tags . ("algebra" "data-structures" "equality" "simplify"))) pkg: catalog response: #hash((author . "me@pavpanchekha.com bsaiki@cs.washington.edu") (checksum . "cc0904c5c32dd3f28492cd8d8a791a32bfcfd2b9") (dependencies . (("base") ("math-lib") ("generic-flonum") ("rackunit-lib"))) (description . "Tools for the FPBench numerical software standards (more info at http://fpbench.org/)") (modules . ((lib "fpbench/src/fpcore-extra.rkt") (lib "fpbench/infra/test-core2matlab.rkt") (lib "fpbench/src/core2js.rkt") (lib "fpbench/src/core2ocaml.rkt") (lib "fpbench/infra/gen-expr.rkt") (lib "fpbench/toolserver.rkt") (lib "fpbench/src/core2python.rkt") (lib "fpbench/infra/test-common.rkt") (lib "fpbench/infra/test-core2js.rkt") (lib "fpbench/src/sampler.rkt") (lib "fpbench/src/core2matlab.rkt") (lib "fpbench/infra/test-core2go.rkt") (lib "fpbench/export.rkt") (lib "fpbench/src/supported.rkt") (lib "fpbench/infra/gen-tests.rkt") (lib "fpbench/infra/test-core2vivado.rkt") (lib "fpbench/src/fpcore-checker.rkt") (lib "fpbench/src/multi-command-line.rkt") (lib "fpbench/infra/test-core2python.rkt") (lib "fpbench/src/range-analysis.rkt") (lib "fpbench/src/core2julia.rkt") (lib "fpbench/src/fpcore-reader.rkt") (lib "fpbench/src/core2haskell.rkt") (lib "fpbench/infra/test-core2java.rkt") (lib "fpbench/src/core2vivado.rkt") (lib "fpbench/src/canonicalizer.rkt") (lib "fpbench/src/core2cuda.rkt") (lib "fpbench/src/core2smtlib2.rkt") (lib "fpbench/fpbench.rkt") (lib "fpbench/src/core2go.rkt") (lib "fpbench/src/ml-canonicalizer.rkt") (lib "fpbench/src/core2gappa.rkt") (lib "fpbench/src/common-subexpr-elim.rkt") (lib "fpbench/src/core2rust.rkt") (lib "fpbench/infra/test-core2ocaml.rkt") (lib "fpbench/src/core2sollya.rkt") (lib "fpbench/src/imperative.rkt") (lib "fpbench/src/core2java.rkt") (lib "fpbench/infra/test-core2fptaylor.rkt") (lib "fpbench/src/lisp.rkt") (lib "fpbench/src/core2fortran03.rkt") (lib "fpbench/infra/test-core2sollya.rkt") (lib "fpbench/src/core2tex.rkt") (lib "fpbench/src/core2scala.rkt") (lib "fpbench/infra/bench-stats.rkt") (lib "fpbench/infra/gen-sanity.rkt") (lib "fpbench/infra/test-core2fortran03.rkt") (lib "fpbench/src/compilers.rkt") (lib "fpbench/src/evaluator.rkt") (lib "fpbench/src/common.rkt") (lib "fpbench/evaluate.rkt") (lib "fpbench/src/core2c.rkt") (lib "fpbench/infra/test-core2cuda.rkt") (lib "fpbench/infra/core2json.rkt") (lib "fpbench/infra/test-core2c.rkt") (lib "fpbench/src/core2fptaylor.rkt") (lib "fpbench/infra/test-core2haskell.rkt") (lib "fpbench/infra/test-core2smtlib2.rkt") (lib "fpbench/src/ml.rkt") (lib "fpbench/src/core2wls.rkt") (lib "fpbench/src/core2h.rkt") (lib "fpbench/transform.rkt") (lib "fpbench/infra/test-core2julia.rkt") (lib "fpbench/infra/test-core2rust.rkt") (lib "fpbench/src/fpcore-interpreter.rkt") (lib "fpbench/src/core2cakeml.rkt") (lib "fpbench/infra/test-core2cakeml.rkt") (lib "fpbench/main.rkt") (lib "fpbench/src/fpcore-visitor.rkt") (lib "fpbench/infra/test-core2wls.rkt") (lib "fpbench/infra/filter.rkt") (lib "fpbench/src/tensor.rkt") (lib "fpbench/infra/test-core2scala.rkt"))) (name . "fpbench") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/fpbench.zip") (tags . ("floating-point" "numerical" "standards"))) Resolved "egg-herbie-linux" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "me@pavpanchekha.com bksaiki@gmail.com oflatt@gmail.com") (checksum . "8687b4946438099547f6d5fe33a2bc303fc2de32") (dependencies . (("base" #:version "8.0") ("rackunit-lib"))) (description . "A Herbie component to simplify mathematical expressions using the egg egraph library (Linux pre-build package)") (modules . ((lib "egg-herbie/main.rkt"))) (name . "egg-herbie-linux") (ring . 2) (source . "file:///home/root/catalogs/built/pkgs/egg-herbie-linux.zip") (tags . ("algebra" "binary-package" "data-structures" "equality" "simplify"))) Resolved "generic-flonum" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "me@pavpanchekha.com bksaiki@gmail.com") (checksum . "f79b1fe6782b931a7cfdf6233acb9b59b541998c") (dependencies . (("math-lib") ("base") ("scribble-lib") ("rackunit-lib") ("racket-doc") ("math-doc"))) (description . "Alternative MPFR interface for emulating IEEE-754 floating-point numbers") (modules . ((lib "generic-flonum/private/mpfr.rkt") (lib "generic-flonum/private/ffi.rkt") (lib "generic-flonum/scribblings/generic-flonum.scrbl") (lib "generic-flonum/main.rkt") (lib "generic-flonum/tests/test.rkt") (lib "generic-flonum/private/gfl-interface.rkt") (lib "generic-flonum/private/gfl-consts.rkt") (lib "generic-flonum/private/gfl.rkt"))) (name . "generic-flonum") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/generic-flonum.zip") (tags . ("floating-point" "math"))) pkg: creating single-collection link to # pkg: updating db with "generic-flonum" to '#s((sc-pkg-info pkg-info 3) (catalog "generic-flonum") "f79b1fe6782b931a7cfdf6233acb9b59b541998c" #t "generic-flonum") pkg: creating single-collection link to # pkg: updating db with "softposit-herbie" to '#s((sc-pkg-info pkg-info 3) (catalog "softposit-herbie") "98582e0ce76adcf86571e6b9465e8b6d35b6f9ba" #f "softposit-herbie") pkg: creating single-collection link to # pkg: updating db with "softposit-rkt" to '#s((sc-pkg-info pkg-info 3) (catalog "softposit-rkt") "2e33c01448bcfa72645d2cb49de353556e9c6de0" #t "softposit-rkt") pkg: creating single-collection link to # pkg: updating db with "rival" to '#s((sc-pkg-info pkg-info 3) (catalog "rival") "4eaef7fc68acd2b70d5c83644ef382cb1d045118" #t "rival") pkg: creating single-collection link to # pkg: updating db with "herbie" to '#s((sc-pkg-info pkg-info 3) (catalog "herbie") "e4bf12643a705ac937bb83c6ad7c7b3736a2259f" #t "herbie") pkg: creating single-collection link to # pkg: updating db with "egg-herbie" to '#s((sc-pkg-info pkg-info 3) (catalog "egg-herbie") "4c0d87a5cc9afcd04652841dd261efd8abe9bf14" #t "egg-herbie-redirect") pkg: creating single-collection link to # pkg: updating db with "egg-herbie-linux" to '#s((sc-pkg-info pkg-info 3) (catalog "egg-herbie-linux") "8687b4946438099547f6d5fe33a2bc303fc2de32" #t "egg-herbie") pkg: creating single-collection link to # pkg: updating db with "fpbench" to '#s((sc-pkg-info pkg-info 3) (catalog "fpbench") "cc0904c5c32dd3f28492cd8d8a791a32bfcfd2b9" #t "fpbench") The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of softposit-herbie: softposit-rkt rival herbie dependencies of herbie: egg-herbie fpbench dependencies of egg-herbie: egg-herbie-linux dependencies of fpbench: generic-flonum raco setup: version: 8.17 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.17 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.17/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.17/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.17/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:45:43] raco setup: updating: /home/root/user/.local/share/racket/8.17/share/info-cache.rktd raco setup: --- pre-installing collections --- [16:45:43] raco setup: --- installing foreign libraries --- [16:45:43] raco setup: --- installing shared files --- [16:45:43] raco setup: --- compiling collections --- [16:45:43] raco setup: --- parallel build using 2 jobs --- [16:45:43] raco setup: 1 making: /egg-herbie raco setup: 0 making: /egg-herbie-linux raco setup: 1 making: /fpbench (fpbench) raco setup: 0 making: /generic-flonum (generic-flonum) raco setup: 0 making: /generic-flonum/private raco setup: 0 making: /generic-flonum/tests raco setup: 0 making: /herbie raco setup: 1 making: /fpbench/infra raco setup: 1 making: /fpbench/src raco setup: 1 making: /rival raco setup: 1 making: /rival/eval raco setup: 1 making: /rival/ops raco setup: 1 making: /softposit-herbie (softposit-herbie) /home/root/user/.local/share/racket/8.17/pkgs/softposit-herbie/main.rkt:132:0: define-operator-impl: use does not match pattern: (define-operator-impl (operator name atypes ...) rtype (key value) ...) in: (define-operator-impl (+.p8 (x : posit8) (y : posit8)) posit8 #:spec (+ x y) #:fpcore (! :precision posit8 (+ x y)) #:fl posit8-add) compilation context...: /home/root/user/.local/share/racket/8.17/pkgs/softposit-herbie/main.rkt location...: /home/root/user/.local/share/racket/8.17/pkgs/softposit-herbie/main.rkt:132:0 context...: /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:634:0: compile-zo*/cross-compile /home/root/racket/collects/compiler/private/cm-minimal.rkt:450:15 /home/root/racket/collects/compiler/private/cm-minimal.rkt:436:12: build /home/root/racket/collects/compiler/private/cm-minimal.rkt:407: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:105:4 /home/root/racket/collects/setup/parallel-build.rkt:385:9 /home/root/racket/collects/setup/parallel-do.rkt:471:25 /home/root/racket/collects/setup/parallel-do.rkt:457:20: loop raco setup: 1 making: /softposit-rkt (softposit-rkt) raco setup: 0 making: /herbie/core raco setup: 0 making: /herbie/platforms raco setup: 0 making: /herbie/reprs raco setup: 0 making: /herbie/reprs/runtime raco setup: 0 making: /herbie/syntax raco setup: 0 making: /herbie/web raco setup: --- creating launchers --- [16:45:58] raco setup: launcher: /home/root/user/.local/share/racket/8.17/bin/fpbench raco setup: launcher: /home/root/user/.local/share/racket/8.17/bin/herbie raco setup: --- installing man pages --- [16:45:58] raco setup: --- building documentation --- [16:45:58] raco setup: syncing: /generic-flonum/doc/generic-flonum raco setup: syncing: /rival/doc/rival raco setup: 1 running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 running: /softposit-rkt/softposit-rkt.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: /softposit-rkt/softposit-rkt.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [16:46:06] raco setup: installing: /softposit-rkt (softposit-rkt) /bin/sh: 1: SOFTPOSIT_OPTS: not found /bin/sh: 1: make: not found softposit-rkt: Error running make -C /home/root/user/.local/share/racket/8.17/pkgs/softposit-rkt/SoftPosit/build/Linux-x86_64-GCC/ SOFTPOSIT_OPTS="$(SOFTPOSIT_OPTS) -fPIC" OPTIMISATION="-O2 -march=native" context...: /home/root/user/.local/share/racket/8.17/pkgs/softposit-rkt/install.rkt:10:0: installer /home/root/racket/collects/setup/setup-core.rkt:934:2: do-install-part /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: --- post-installing collections --- [16:46:06] raco setup: --- summary of errors --- [16:46:06] raco setup: error: during making for /softposit-herbie (softposit-herbie) raco setup: /home/root/user/.local/share/racket/8.17/pkgs/softposit-herbie/main.rkt:132:0: define-operator-impl: use does not match pattern: (define-operator-impl (operator name atypes ...) rtype (key value) ...) raco setup: in: (define-operator-impl (+.p8 (x : posit8) (y : posit8)) posit8 #:spec (+ x y) #:fpcore (! :precision posit8 (+ x y)) #:fl posit8-add) raco setup: compiling: /softposit-herbie/main.rkt raco setup: error: during general install for /softposit-rkt (softposit-rkt) raco setup: softposit-rkt: Error running make -C /home/root/user/.local/share/racket/8.17/pkgs/softposit-rkt/SoftPosit/build/Linux-x86_64-GCC/ SOFTPOSIT_OPTS="$(SOFTPOSIT_OPTS) -fPIC" OPTIMISATION="-O2 -march=native" racket pkg install: packages installed, although setup reported errors GC: 0:atexit peak 355,427K(+182,204K); alloc 21,682,270K; major 7; minor 1141; 7569ms The time is now Tuesday, July 8th, 2025 4:46:06pm