The time is now Wednesday, March 11th, 2020 7:02:26am /usr/bin/ssh -R 18333:localhost:18333 racket@192.168.56.107 '/usr/bin/env' 'DISPLAY=:1' 'PLT_PKG_BUILD_SERVICE=1' 'PLTUSERHOME=/home/racket/build-pkgs/user' 'PLT_PKG_BUILD_SERVICE=1' 'CI=true' 'PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE' '/bin/sh' '-c' 'cd "/home/racket/build-pkgs"/racket && bin/raco pkg install -u --auto emcsabac && bin/raco test --drdr --package emcsabac' Resolving "emcsabac" via http://localhost:18333/built/catalog/ Downloading http://localhost:18333/built/pkgs/emcsabac.zip 00: Resolving "rosette" via http://localhost:18333/built/catalog/ Resolving "ocelot" via http://localhost:18333/built/catalog/ Downloading http://localhost:18333/built/pkgs/rosette.zip Downloading http://localhost:18333/built/pkgs/ocelot.zip Resolving "rfc6455" via http://localhost:18333/built/catalog/ Downloading http://localhost:18333/built/pkgs/rfc6455.zip The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of emcsabac: rosette ocelot dependencies of rosette: rfc6455 raco setup: version: 7.6 raco setup: platform: x86_64-linux-natipkg [3m] raco setup: target machine: racket raco setup: installation name: 7.6 raco setup: variants: 3m raco setup: main collects: /home/racket/build-pkgs/racket/collects raco setup: collects paths: raco setup: /home/racket/build-pkgs/user/.racket/7.6/collects raco setup: /home/racket/build-pkgs/racket/collects raco setup: main pkgs: /home/racket/build-pkgs/racket/share/pkgs raco setup: pkgs paths: raco setup: /home/racket/build-pkgs/racket/share/pkgs raco setup: /home/racket/build-pkgs/user/.racket/7.6/pkgs raco setup: links files: raco setup: /home/racket/build-pkgs/racket/share/links.rktd raco setup: /home/racket/build-pkgs/user/.racket/7.6/links.rktd raco setup: main docs: /home/racket/build-pkgs/racket/doc raco setup: --- updating info-domain tables --- [7:02:29] raco setup: updating: /home/racket/build-pkgs/user/.racket/7.6/share/info-cache.rktd raco setup: --- pre-installing collections --- [7:02:30] raco setup: pre-installing: /rosette/rosette ********** Failed to install Z3 ********** You'll need to manually install a Z3 binary to this location: /home/racket/build-pkgs/user/.racket/7.6/pkgs/rosette/bin/z3 The problem was: tcp-connect: connection failed; host not found address: github.com port number: 443 system error: Name or service not known; gai_err=-2 ********* raco setup: --- installing foreign libraries --- [7:02:30] raco setup: --- installing shared files --- [7:02:30] raco setup: --- compiling collections --- [7:02:30] raco setup: making: /emcsabac (emcsabac) raco setup: in /parser-tools-lib/parser-tools/private-lex raco setup: in /parser-tools-lib/parser-tools raco setup: in /emcsabac raco setup: in /emcsabac/lang raco setup: making: /emcsabac/lang raco setup: making: /ocelot raco setup: in /syntax-color-lib/syntax-color raco setup: in /scribble-lib/scribble/private raco setup: in /scribble-lib/scribble raco setup: in /ocelot/scribblings raco setup: in /scribble-lib/scribble/manual raco setup: making: /ocelot/engine raco setup: making: /ocelot/lang raco setup: making: /ocelot/lib raco setup: making: /ocelot/scribblings raco setup: making: /ocelot/test raco setup: making: /ocelot/test/concrete raco setup: making: /ocelot/test/symbolic raco setup: making: /ocelot/test/symbolic/alloy raco setup: making: /rfc6455/net raco setup: in /web-server-lib/web-server/http raco setup: in /web-server-lib/web-server raco setup: in /web-server-lib/web-server/dispatchers raco setup: in /rfc6455/net/rfc6455/hybi00 raco setup: in /rfc6455/net/rfc6455/rfc6455 raco setup: in /rfc6455/net/rfc6455 raco setup: in /web-server-lib/web-server/lang raco setup: in /web-server-lib/web-server/managers raco setup: in /web-server-lib/web-server/servlet raco setup: in /web-server-lib/web-server/private raco setup: in /rfc6455/net raco setup: making: /rfc6455/net/rfc6455 raco setup: in /rfc6455/net/rfc6455/scribblings raco setup: making: /rfc6455/net/rfc6455/examples raco setup: in /rfc6455/net/rfc6455/examples raco setup: making: /rfc6455/net/rfc6455/hybi00 raco setup: making: /rfc6455/net/rfc6455/private raco setup: making: /rfc6455/net/rfc6455/rfc6455 raco setup: making: /rfc6455/net/rfc6455/scribblings raco setup: making: /rosette/rosette raco setup: in /rosette/rosette/guide/scribble/util raco setup: in /rosette/rosette/guide/scribble/datatypes raco setup: in /scribble-lib/scriblib raco setup: in /rosette/rosette/guide/scribble raco setup: in /pict-lib/pict raco setup: in /slideshow-lib/slideshow raco setup: in /snip-lib/racket/snip/private raco setup: in /gui-lib/mred/private raco setup: in /gui-lib/mred/private/wxme raco setup: in /snip-lib/racket raco setup: in /gui-lib/mred raco setup: in /gui-lib/racket/gui raco setup: in /slideshow-lib/slideshow/private raco setup: in /gui-lib/mrlib raco setup: in /gui-lib/scheme/gui raco setup: in /rosette/rosette/lib raco setup: in /rosette/rosette/guide/scribble/essentials raco setup: in /rosette/rosette/guide/scribble/forms raco setup: in /rosette/rosette/guide/scribble/libs raco setup: in /gui-lib/racket raco setup: in /rosette/rosette/guide/scribble/performance raco setup: in /rosette/rosette/guide/scribble/reflection raco setup: in /rosette/rosette/guide/scribble/unsafe raco setup: in /rosette/rosette/guide/scribble/welcome raco setup: making: /rosette/rosette/base raco setup: making: /rosette/rosette/base/adt raco setup: making: /rosette/rosette/base/core raco setup: making: /rosette/rosette/base/form raco setup: making: /rosette/rosette/base/struct raco setup: making: /rosette/rosette/base/util raco setup: making: /rosette/rosette/guide raco setup: making: /rosette/rosette/guide/scribble raco setup: making: /rosette/rosette/guide/scribble/datatypes raco setup: making: /rosette/rosette/guide/scribble/essentials raco setup: in /rosette/rosette/guide/scribble/essentials raco setup: making: /rosette/rosette/guide/scribble/forms raco setup: making: /rosette/rosette/guide/scribble/libs raco setup: making: /rosette/rosette/guide/scribble/performance raco setup: making: /rosette/rosette/guide/scribble/reflection raco setup: making: /rosette/rosette/guide/scribble/unsafe raco setup: making: /rosette/rosette/guide/scribble/util raco setup: making: /rosette/rosette/guide/scribble/welcome raco setup: making: /rosette/rosette/lang raco setup: making: /rosette/rosette/lib raco setup: making: /rosette/rosette/lib/profile raco setup: in /rosette/rosette/lib/profile/renderer/report raco setup: in /rosette/rosette/lib/profile/renderer raco setup: in /rosette/rosette/lib/profile raco setup: making: /rosette/rosette/lib/profile/renderer raco setup: making: /rosette/rosette/lib/profile/renderer/report raco setup: making: /rosette/rosette/lib/profile/renderer/report/html raco setup: making: /rosette/rosette/lib/profile/renderer/report/html/css raco setup: making: /rosette/rosette/lib/profile/renderer/report/html/js raco setup: making: /rosette/rosette/lib/synthax raco setup: making: /rosette/rosette/lib/util raco setup: making: /rosette/rosette/private raco setup: making: /rosette/rosette/query raco setup: making: /rosette/rosette/safe raco setup: making: /rosette/rosette/safe/lang raco setup: making: /rosette/rosette/solver raco setup: making: /rosette/rosette/solver/mip raco setup: making: /rosette/rosette/solver/smt raco setup: making: /rosette/sdsl raco setup: making: /rosette/test raco setup: --- creating launchers --- [7:02:32] raco setup: --- installing man pages --- [7:02:32] raco setup: --- building documentation --- [7:02:32] raco setup: running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: syncing: /ocelot/doc/ocelot raco setup: running: /racket-index/scribblings/main/user/release.scrbl raco setup: syncing: /rfc6455/net/rfc6455/doc/rfc6455 raco setup: syncing: /rosette/rosette/doc/rosette-guide raco setup: running: /racket-index/scribblings/main/user/search.scrbl raco setup: running: /racket-index/scribblings/main/user/start.scrbl 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 --- [7:02:40] raco setup: --- post-installing collections --- [7:02:40] raco test: "/home/racket/build-pkgs/user/.racket/7.6/pkgs/emcsabac/info.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.6/pkgs/emcsabac/lang/reader.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.6/pkgs/emcsabac/language-info.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.6/pkgs/emcsabac/lexparse.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.6/pkgs/emcsabac/main.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.6/pkgs/emcsabac/runner.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.6/pkgs/emcsabac/runtime-config.rkt" Failed to recognize word around line 4, column 18. location...: /home/racket/build-pkgs/user/.racket/7.6/pkgs/emcsabac/test/arbac1.rkt:4:13 context...: /home/racket/build-pkgs/racket/collects/syntax/readerr.rkt:15:2: -raise-read-error /home/racket/build-pkgs/racket/share/pkgs/parser-tools-lib/parser-tools/yacc.rkt:347:16: parsing-loop /home/racket/build-pkgs/user/.racket/7.6/pkgs/emcsabac/lexparse.rkt:324:0: parse-all-commands /home/racket/build-pkgs/user/.racket/7.6/pkgs/emcsabac/lang/reader.rkt:52:0: read-syntax-abac /home/racket/build-pkgs/racket/collects/syntax/module-reader.rkt:183:2: wrap-internal wrap-internal/wrapper read-syntax default-load-handler standard-module-name-resolver module-path-index-resolve module-declared? /home/racket/build-pkgs/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:552:0: test-files /home/racket/build-pkgs/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:435:0: map/parallel /home/racket/build-pkgs/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:552:0: test-files loop [repeats 2 more times] ... The time is now Wednesday, March 11th, 2020 7:02:45am