The time is now Friday, October 24th, 2014 11:30:44pm
/usr/bin/ssh -R 18333:localhost:18333 racket@192.168.56.108 '/usr/bin/env' 'DISPLAY=:1' 'PLTUSERHOME=/home/racket/build-pkgs/user' '/bin/sh' '-c' 'cd "/home/racket/build-pkgs"/racket && bin/raco pkg install -u --auto refined-acl2'
Resolving "refined-acl2" via http://localhost:18333/built/catalog/
Resolving "refined-acl2" via http://localhost:18333/archive/catalog/
Downloading http://localhost:18333/archive/pkgs/refined-acl2.zip
Resolving "mischief" via http://localhost:18333/built/catalog/
Downloading http://localhost:18333/built/pkgs/mischief.zip
The following uninstalled packages were listed as dependencies
and they were automatically installed:
 dependencies of refined-acl2:
   mischief
raco setup: version: 6.1.1.2 [3m]
raco setup: installation name: snapshot
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/snapshot/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/snapshot/pkgs
raco setup: links files: 
raco setup:   /home/racket/build-pkgs/racket/share/links.rktd
raco setup:   /home/racket/build-pkgs/user/.racket/snapshot/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/snapshot/share/info-cache.rktd
raco setup: --- pre-installing collections ---
raco setup: --- installing foreign libraries ---
raco setup: --- installing shared files ---
raco setup: --- compiling collections ---
raco setup: making: <pkgs>/mischief/debug
raco setup: making: <pkgs>/mischief/debug/mischief
raco setup: making: <pkgs>/mischief/debug/mischief/lang
raco setup: making: <pkgs>/mischief/debug/racket
raco setup: making: <pkgs>/mischief/debug/racket/base
raco setup: making: <pkgs>/mischief/debug/racket/base/lang
raco setup: making: <pkgs>/mischief/debug/racket/lang
raco setup: making: <pkgs>/mischief/mischief
raco setup: making: <pkgs>/mischief/mischief/lang
raco setup: making: <pkgs>/mischief/mischief/private
raco setup: making: <pkgs>/mischief/mischief/props
raco setup: making: <pkgs>/mischief/mischief/props/lang
raco setup: making: <pkgs>/mischief/mischief/scribblings
raco setup: making: <pkgs>/mischief/mischief/stylish
raco setup: making: <pkgs>/mischief/mischief/tests
raco setup: making: <pkgs>/mischief/no-debug
raco setup: making: <pkgs>/mischief/no-debug/mischief
raco setup: making: <pkgs>/mischief/no-debug/mischief/lang
raco setup: making: <pkgs>/mischief/no-debug/racket
raco setup: making: <pkgs>/mischief/no-debug/racket/base
raco setup: making: <pkgs>/mischief/no-debug/racket/base/lang
raco setup: making: <pkgs>/mischief/no-debug/racket/lang
raco setup: making: <pkgs>/refined-acl2 (Dracula)
raco setup:  in <pkgs>/refined-acl2
raco setup:  in <pkgs>/refined-acl2/expansion
raco setup:  in <pkgs>/refined-acl2/model
raco setup:  in <pkgs>/refined-acl2/proof
sym: undefined;
 cannot use before initialization
raco setup: making: <pkgs>/refined-acl2/expansion
raco setup:  in <pkgs>/refined-acl2/expansion
sym: undefined;
 cannot use before initialization
raco setup: making: <pkgs>/refined-acl2/model
raco setup:  in <pkgs>/refined-acl2/model
sym: undefined;
 cannot use before initialization
raco setup: making: <pkgs>/refined-acl2/prelude
raco setup:  in <pkgs>/refined-acl2/prelude
raco setup:  in <pkgs>/refined-acl2
raco setup:  in <pkgs>/refined-acl2/model
sym: undefined;
 cannot use before initialization
raco setup: making: <pkgs>/refined-acl2/prelude/base
raco setup:  in <pkgs>/refined-acl2/prelude/base
raco setup:  in <pkgs>/refined-acl2
raco setup:  in <pkgs>/refined-acl2/model
sym: undefined;
 cannot use before initialization
raco setup: making: <pkgs>/refined-acl2/prelude/core
raco setup:  in <pkgs>/refined-acl2/prelude/core
raco setup:  in <pkgs>/refined-acl2
raco setup:  in <pkgs>/refined-acl2/model
sym: undefined;
 cannot use before initialization
raco setup: making: <pkgs>/refined-acl2/proof
raco setup:  in <pkgs>/refined-acl2/proof
raco setup:  in <pkgs>/refined-acl2
raco setup:  in <pkgs>/refined-acl2/model
sym: undefined;
 cannot use before initialization
raco setup: making: <pkgs>/refined-acl2/tests
raco setup:  in <pkgs>/refined-acl2/tests
raco setup:  in <pkgs>/refined-acl2/expansion
raco setup:  in <pkgs>/refined-acl2/tests/suite
raco setup: making: <pkgs>/refined-acl2/tests/suite
raco setup: --- creating launchers ---
raco setup: --- installing man pages ---
raco setup: --- building documentation ---
raco setup: running: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: syncing: <pkgs>/mischief/mischief/doc/mischief
raco setup: running: <pkgs>/racket-index/scribblings/main/user/release.scrbl
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 ---
raco setup: --- post-installing collections ---
raco setup: --- summary of errors ---
raco setup: error: during making for <pkgs>/refined-acl2 (Dracula)
raco setup:   sym: undefined;
raco setup:    cannot use before initialization
raco setup: error: during making for <pkgs>/refined-acl2/expansion
raco setup:   sym: undefined;
raco setup:    cannot use before initialization
raco setup: error: during making for <pkgs>/refined-acl2/model
raco setup:   sym: undefined;
raco setup:    cannot use before initialization
raco setup: error: during making for <pkgs>/refined-acl2/prelude
raco setup:   sym: undefined;
raco setup:    cannot use before initialization
raco setup: error: during making for <pkgs>/refined-acl2/prelude/base
raco setup:   sym: undefined;
raco setup:    cannot use before initialization
raco setup: error: during making for <pkgs>/refined-acl2/prelude/core
raco setup:   sym: undefined;
raco setup:    cannot use before initialization
raco setup: error: during making for <pkgs>/refined-acl2/proof
raco setup:   sym: undefined;
raco setup:    cannot use before initialization
raco pkg install: packages installed, although setup reported errors
The time is now Friday, October 24th, 2014 11:31:30pm