The time is now Friday, March 29th, 2019 6:56:48am /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.2 raco setup: platform: x86_64-linux-natipkg [3m] raco setup: target machine: racket raco setup: installation name: 7.2 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.2/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.2/pkgs raco setup: links files: raco setup: /home/racket/build-pkgs/racket/share/links.rktd raco setup: /home/racket/build-pkgs/user/.racket/7.2/links.rktd raco setup: main docs: /home/racket/build-pkgs/racket/doc raco setup: --- updating info-domain tables --- raco setup: updating: /home/racket/build-pkgs/user/.racket/7.2/share/info-cache.rktd raco setup: --- pre-installing collections --- 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.2/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 --- raco setup: --- installing shared files --- raco setup: --- compiling collections --- raco setup: making: /emcsabac (emcsabac) raco setup: making: /emcsabac/lang raco setup: making: /ocelot 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: making: /rfc6455/net/rfc6455 raco setup: making: /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: 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/lang raco setup: making: /rosette/rosette/lib raco setup: making: /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 --- raco setup: --- installing man pages --- raco setup: --- building documentation --- 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 --- raco setup: --- post-installing collections --- raco test: "/home/racket/build-pkgs/user/.racket/7.2/pkgs/emcsabac/info.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.2/pkgs/emcsabac/lang/reader.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.2/pkgs/emcsabac/language-info.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.2/pkgs/emcsabac/lexparse.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.2/pkgs/emcsabac/main.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.2/pkgs/emcsabac/runner.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.2/pkgs/emcsabac/runtime-config.rkt" Failed to recognize word around line 4, column 18. location...: /home/racket/build-pkgs/user/.racket/7.2/pkgs/emcsabac/test/arbac1.rkt:4:13 context...: /home/racket/build-pkgs/racket/collects/syntax/readerr.rkt:6:2: raise-read-error9 /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.2/pkgs/emcsabac/lexparse.rkt:324:0: parse-all-commands /home/racket/build-pkgs/user/.racket/7.2/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-files79 /home/racket/build-pkgs/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:435:0: map/parallel49 /home/racket/build-pkgs/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt:552:0: test-files79 loop [repeats 2 more times] ... The time is now Friday, March 29th, 2019 6:57:08am