The time is now Monday, May 18th, 2015 1:32:22pm /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' '/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.2.900.3 [3m] raco setup: installation name: scope-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/scope-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/scope-snapshot/pkgs raco setup: links files: raco setup: /home/racket/build-pkgs/racket/share/links.rktd raco setup: /home/racket/build-pkgs/user/.racket/scope-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/scope-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: /mischief/debug raco setup: making: /mischief/debug/mischief raco setup: making: /mischief/debug/mischief/lang raco setup: making: /mischief/debug/racket raco setup: making: /mischief/debug/racket/base raco setup: making: /mischief/debug/racket/base/lang raco setup: making: /mischief/debug/racket/lang raco setup: making: /mischief/mischief raco setup: making: /mischief/mischief/lang raco setup: making: /mischief/mischief/private raco setup: making: /mischief/mischief/props raco setup: making: /mischief/mischief/props/lang raco setup: making: /mischief/mischief/scribblings raco setup: making: /mischief/mischief/stylish raco setup: making: /mischief/mischief/tests raco setup: making: /mischief/no-debug raco setup: making: /mischief/no-debug/mischief raco setup: making: /mischief/no-debug/mischief/lang raco setup: making: /mischief/no-debug/racket raco setup: making: /mischief/no-debug/racket/base raco setup: making: /mischief/no-debug/racket/base/lang raco setup: making: /mischief/no-debug/racket/lang raco setup: making: /refined-acl2 (Dracula) raco setup: in /refined-acl2 raco setup: in /refined-acl2/expansion raco setup: in /refined-acl2/model raco setup: in /refined-acl2/proof sym: undefined; cannot use before initialization compilation context...: /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/model/data.rkt /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/model/api.rkt /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/model.rkt /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/kernel.rkt /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/core.rkt /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/base.rkt context...: /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh30 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/mischief/mischief/match.rkt:35:7: for-loop dots-loop /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:341:0: compile-zo* /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:556:26 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:548:42 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:513:0: maybe-compile-zo /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:628:2: do-check /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:744:4: compilation-manager-load-handler standard-module-name-resolver /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:341:0: compile-zo* /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:556:26 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:548:42 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:513:0: maybe-compile-zo /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:628:2: do-check /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:744:4: compilation-manager-load-handler ... raco setup: making: /refined-acl2/expansion raco setup: in /refined-acl2/expansion sym: undefined; cannot use before initialization compilation context...: /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/expansion/alpha.rkt context...: /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh30 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/mischief/mischief/match.rkt:35:7: for-loop dots-loop /home/racket/build-pkgs/racket/collects/syntax/modcode.rkt:212:0: get-module-code79 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:341:0: compile-zo* /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:556:26 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:548:42 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:513:0: maybe-compile-zo /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:628:2: do-check /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:708:4 /home/racket/build-pkgs/racket/collects/compiler/compiler.rkt:163:4: worker /home/racket/build-pkgs/racket/collects/compiler/compiler.rkt:92:2: compile-directory-visitor21 /home/racket/build-pkgs/racket/collects/setup/setup-core.rkt:977:2: compile-cc /home/racket/build-pkgs/racket/collects/setup/setup-core.rkt:1046:10: for-loop /home/racket/build-pkgs/racket/collects/setup/setup-core.rkt:69:0: setup-core /home/racket/build-pkgs/racket/collects/setup/setup.rkt:65:3 ... raco setup: making: /refined-acl2/model raco setup: in /refined-acl2/model sym: undefined; cannot use before initialization compilation context...: /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/model/data.rkt /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/model/acl2.rkt context...: /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh30 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/mischief/mischief/match.rkt:35:7: for-loop dots-loop /home/racket/build-pkgs/racket/collects/syntax/modcode.rkt:212:0: get-module-code79 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:341:0: compile-zo* /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:556:26 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:548:42 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:513:0: maybe-compile-zo /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:628:2: do-check /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:708:4 /home/racket/build-pkgs/racket/collects/compiler/compiler.rkt:163:4: worker /home/racket/build-pkgs/racket/collects/compiler/compiler.rkt:92:2: compile-directory-visitor21 /home/racket/build-pkgs/racket/collects/setup/setup-core.rkt:977:2: compile-cc /home/racket/build-pkgs/racket/collects/setup/setup-core.rkt:1046:10: for-loop /home/racket/build-pkgs/racket/collects/setup/setup-core.rkt:69:0: setup-core /home/racket/build-pkgs/racket/collects/setup/setup.rkt:65:3 ... raco setup: making: /refined-acl2/prelude raco setup: in /refined-acl2/prelude raco setup: in /refined-acl2 raco setup: in /refined-acl2/model sym: undefined; cannot use before initialization compilation context...: /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/model/data.rkt /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/model/api.rkt /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/model.rkt /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/kernel.rkt /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/core.rkt /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/prelude/base.rkt context...: /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh30 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/mischief/mischief/match.rkt:35:7: for-loop dots-loop /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:341:0: compile-zo* /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:556:26 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:548:42 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:513:0: maybe-compile-zo /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:628:2: do-check /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:744:4: compilation-manager-load-handler standard-module-name-resolver /home/racket/build-pkgs/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/racket/build-pkgs/racket/collects/racket/private/reqprov.rkt:549:22 /home/racket/build-pkgs/racket/collects/racket/private/reqprov.rkt:545:5 /home/racket/build-pkgs/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/mischief/mischief/require.rkt:49:3 /home/racket/build-pkgs/racket/collects/racket/require-transform.rkt:266:2: expand-import ... raco setup: making: /refined-acl2/prelude/base raco setup: in /refined-acl2/prelude/base raco setup: in /refined-acl2 raco setup: in /refined-acl2/model sym: undefined; cannot use before initialization compilation context...: /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/model/data.rkt /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/model/api.rkt /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/model.rkt /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/kernel.rkt /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/prelude/base/datatype.rkt context...: /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh30 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/mischief/mischief/match.rkt:35:7: for-loop dots-loop /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:548:42 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:513:0: maybe-compile-zo /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:628:2: do-check /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:744:4: compilation-manager-load-handler standard-module-name-resolver /home/racket/build-pkgs/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/racket/build-pkgs/racket/collects/racket/private/reqprov.rkt:549:22 /home/racket/build-pkgs/racket/collects/racket/private/reqprov.rkt:545:5 /home/racket/build-pkgs/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/mischief/mischief/require.rkt:49:3 /home/racket/build-pkgs/racket/collects/racket/require-transform.rkt:266:2: expand-import try-next /home/racket/build-pkgs/racket/collects/racket/private/reqprov.rkt:243:2 ... raco setup: making: /refined-acl2/prelude/core raco setup: in /refined-acl2/prelude/core raco setup: in /refined-acl2 raco setup: in /refined-acl2/model sym: undefined; cannot use before initialization compilation context...: /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/model/data.rkt /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/model/api.rkt /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/model.rkt /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/kernel.rkt /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/prelude/core/atomic.rkt context...: /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh30 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/mischief/mischief/match.rkt:35:7: for-loop dots-loop /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:548:42 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:513:0: maybe-compile-zo /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:628:2: do-check /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:744:4: compilation-manager-load-handler standard-module-name-resolver /home/racket/build-pkgs/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/racket/build-pkgs/racket/collects/racket/private/reqprov.rkt:549:22 /home/racket/build-pkgs/racket/collects/racket/private/reqprov.rkt:545:5 /home/racket/build-pkgs/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/mischief/mischief/require.rkt:49:3 /home/racket/build-pkgs/racket/collects/racket/require-transform.rkt:266:2: expand-import try-next /home/racket/build-pkgs/racket/collects/racket/private/reqprov.rkt:243:2 ... raco setup: making: /refined-acl2/proof raco setup: in /refined-acl2/proof raco setup: in /refined-acl2 raco setup: in /refined-acl2/model sym: undefined; cannot use before initialization compilation context...: /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/model/data.rkt /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/model/api.rkt /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/model.rkt /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/refined-acl2/proof/static.rkt context...: /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh30 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/mischief/mischief/match.rkt:35:7: for-loop dots-loop /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:341:0: compile-zo* /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:556:26 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:548:42 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:513:0: maybe-compile-zo /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:628:2: do-check /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:744:4: compilation-manager-load-handler standard-module-name-resolver /home/racket/build-pkgs/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/racket/build-pkgs/racket/collects/racket/private/reqprov.rkt:549:22 /home/racket/build-pkgs/racket/collects/racket/private/reqprov.rkt:545:5 /home/racket/build-pkgs/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/mischief/mischief/require.rkt:49:3 /home/racket/build-pkgs/racket/collects/racket/require-transform.rkt:266:2: expand-import ... raco setup: making: /refined-acl2/tests raco setup: in /refined-acl2/tests raco setup: in /refined-acl2/expansion raco setup: in /refined-acl2/tests/suite raco setup: making: /refined-acl2/tests/suite 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: /mischief/mischief/doc/mischief raco setup: running: /racket-index/scribblings/main/user/release.scrbl 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 setup: --- summary of errors --- raco setup: error: during making for /refined-acl2 (Dracula) raco setup: sym: undefined; raco setup: cannot use before initialization raco setup: compiling: /refined-acl2/model/data.rkt raco setup: error: during making for /refined-acl2/expansion raco setup: sym: undefined; raco setup: cannot use before initialization raco setup: compiling: /refined-acl2/expansion/alpha.rkt raco setup: error: during making for /refined-acl2/model raco setup: sym: undefined; raco setup: cannot use before initialization raco setup: compiling: /refined-acl2/model/data.rkt raco setup: error: during making for /refined-acl2/prelude raco setup: sym: undefined; raco setup: cannot use before initialization raco setup: compiling: /refined-acl2/model/data.rkt raco setup: error: during making for /refined-acl2/prelude/base raco setup: sym: undefined; raco setup: cannot use before initialization raco setup: compiling: /refined-acl2/model/data.rkt raco setup: error: during making for /refined-acl2/prelude/core raco setup: sym: undefined; raco setup: cannot use before initialization raco setup: compiling: /refined-acl2/model/data.rkt raco setup: error: during making for /refined-acl2/proof raco setup: sym: undefined; raco setup: cannot use before initialization raco setup: compiling: /refined-acl2/model/data.rkt raco pkg install: packages installed, although setup reported errors The time is now Monday, May 18th, 2015 1:34:50pm