building from source this morning ends in a bunch of small errors

[Matthias Felleisen]

> raco setup: --- checking package dependencies ---
> raco setup: found undeclared dependency:
> raco setup: mode: run
> raco setup: for package: "automata-lib"
> raco setup: on package: "unstable-lib"
> raco setup: dependent source: /Users/matthias/plt/racket/share/pkgs/automata-lib/compiled/re-compile_rkt.zo
> raco setup: used module: (lib "unstable/syntax.rkt")
> raco setup: found undeclared dependency:
> raco setup: mode: run
> raco setup: for package: "automata-lib"
> raco setup: on package: "unstable-lib"
> raco setup: dependent source: /Users/matthias/plt/racket/share/pkgs/automata-lib/compiled/re_rkt.zo
> raco setup: used module: (lib "unstable/syntax.rkt")
> raco setup: found undeclared dependency:
> raco setup: mode: build
> raco setup: for package: "redex-doc"
> raco setup: on package: "sandbox-lib"
> raco setup: dependent source: /Users/matthias/plt/racket/share/pkgs/redex-doc/redex/scribblings/long-tut/compiled/shared_rkt.dep
> raco setup: used module: (lib "racket/sandbox.rkt")
> raco setup: --- summary of package problems ---
> raco setup: undeclared dependency detected
> raco setup: for package: "automata-lib"
> raco setup: on package:
> raco setup: "unstable-lib"
> raco setup: undeclared dependency detected
> raco setup: for package: "redex-doc"
> raco setup: on package for build:
> raco setup: "sandbox-lib"
> make[1]: *** [plain-in-place] Error 1
> make: *** [in-place] Error 2

[Vincent St-Amour]

I think that's related to some changes I pushed yesterday. I'm looking
into it.

Vincent

> --
> You received this message because you are subscribed to the Google Groups "Racket Developers" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to racket-dev+...@googlegroups.com.
> To post to this group, send email to racke...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/F253A970-1646-4DCE-8F52-80165A3D59D3%40ccs.neu.edu.
> For more options, visit https://groups.google.com/d/optout.