The time is now Thursday, May 23rd, 2019 6:40:43am
/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.3
raco setup: platform: x86_64-linux-natipkg [3m]
raco setup: target machine: racket
raco setup: installation name: 7.3
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.3/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.3/pkgs
raco setup: links files: 
raco setup:   /home/racket/build-pkgs/racket/share/links.rktd
raco setup:   /home/racket/build-pkgs/user/.racket/7.3/links.rktd
raco setup: main docs: /home/racket/build-pkgs/racket/doc
raco setup: --- updating info-domain tables ---                    [6:40:48]
raco setup: updating: /home/racket/build-pkgs/user/.racket/7.3/share/info-cache.rktd
raco setup: --- pre-installing collections ---                     [6:40:48]
raco setup: pre-installing: <pkgs>/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.3/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 ---                   [6:40:48]
raco setup: --- installing shared files ---                        [6:40:48]
raco setup: --- compiling collections ---                          [6:40:48]
raco setup: making: <pkgs>/emcsabac (emcsabac)
raco setup: making: <pkgs>/emcsabac/lang
raco setup: making: <pkgs>/ocelot
raco setup: making: <pkgs>/ocelot/engine
raco setup: making: <pkgs>/ocelot/lang
raco setup: making: <pkgs>/ocelot/lib
raco setup: making: <pkgs>/ocelot/scribblings
raco setup: making: <pkgs>/ocelot/test
raco setup: making: <pkgs>/ocelot/test/concrete
raco setup: making: <pkgs>/ocelot/test/symbolic
raco setup: making: <pkgs>/ocelot/test/symbolic/alloy
raco setup: making: <pkgs>/rfc6455/net
raco setup: making: <pkgs>/rfc6455/net/rfc6455
raco setup: making: <pkgs>/rfc6455/net/rfc6455/examples
raco setup: making: <pkgs>/rfc6455/net/rfc6455/hybi00
raco setup: making: <pkgs>/rfc6455/net/rfc6455/private
raco setup: making: <pkgs>/rfc6455/net/rfc6455/rfc6455
raco setup: making: <pkgs>/rfc6455/net/rfc6455/scribblings
raco setup: making: <pkgs>/rosette/rosette
raco setup: making: <pkgs>/rosette/rosette/base
raco setup: making: <pkgs>/rosette/rosette/base/adt
raco setup: making: <pkgs>/rosette/rosette/base/core
raco setup: making: <pkgs>/rosette/rosette/base/form
raco setup: making: <pkgs>/rosette/rosette/base/struct
raco setup: making: <pkgs>/rosette/rosette/base/util
raco setup: making: <pkgs>/rosette/rosette/lang
raco setup: making: <pkgs>/rosette/rosette/lib
raco setup: making: <pkgs>/rosette/rosette/lib/profile
raco setup: making: <pkgs>/rosette/rosette/lib/profile/renderer
raco setup: making: <pkgs>/rosette/rosette/lib/profile/renderer/report
raco setup: making: <pkgs>/rosette/rosette/lib/profile/renderer/report/html
raco setup: making: <pkgs>/rosette/rosette/lib/profile/renderer/report/html/css
raco setup: making: <pkgs>/rosette/rosette/lib/profile/renderer/report/html/js
raco setup: making: <pkgs>/rosette/rosette/lib/synthax
raco setup: making: <pkgs>/rosette/rosette/lib/util
raco setup: making: <pkgs>/rosette/rosette/private
raco setup: making: <pkgs>/rosette/rosette/query
raco setup: making: <pkgs>/rosette/rosette/safe
raco setup: making: <pkgs>/rosette/rosette/safe/lang
raco setup: making: <pkgs>/rosette/rosette/solver
raco setup: making: <pkgs>/rosette/rosette/solver/mip
raco setup: making: <pkgs>/rosette/rosette/solver/smt
raco setup: making: <pkgs>/rosette/sdsl
raco setup: making: <pkgs>/rosette/test
raco setup: --- creating launchers ---                             [6:40:49]
raco setup: --- installing man pages ---                           [6:40:49]
raco setup: --- building documentation ---                         [6:40:49]
raco setup: running: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: syncing: <pkgs>/ocelot/doc/ocelot
raco setup: running: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: syncing: <pkgs>/rfc6455/net/rfc6455/doc/rfc6455
raco setup: syncing: <pkgs>/rosette/rosette/doc/rosette-guide
raco setup: running: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: running: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: --- installing collections ---                         [6:40:59]
raco setup: --- post-installing collections ---                    [6:40:59]
raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/emcsabac/info.rkt"
raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/emcsabac/lang/reader.rkt"
raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/emcsabac/language-info.rkt"
raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/emcsabac/lexparse.rkt"
raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/emcsabac/main.rkt"
raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/emcsabac/runner.rkt"
raco test: "/home/racket/build-pkgs/user/.racket/7.3/pkgs/emcsabac/runtime-config.rkt"
Failed to recognize word around line 4, column 18.

  location...:
   /home/racket/build-pkgs/user/.racket/7.3/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.3/pkgs/emcsabac/lexparse.rkt:324:0: parse-all-commands
   /home/racket/build-pkgs/user/.racket/7.3/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-syntax3
   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 Thursday, May 23rd, 2019 6:41:05am