Sam Tobin-Hochstadt

There are lots of ways to configure where Racket puts files, so if you can say more about what exactly you want it might be easier to figure out what's...

After the files are in `%buildroot` but before they are moved to their eventual destination, is the system supposed to work? That is, should `racket -l typed/racket` succeed at finding...

Here's a two-liner: ``` raco pkg install racket-test-core raco test -l tests/racket/test ```

That talks to the network. If you don't want to do that, you could try the following: ``` wget https://download.racket-lang.org/releases/8.10/pkgs/racket-test-core.zip # this talks to the network, of course raco pkg...

Those commands are all totally independent of `CWD`.

You can't run that (easily) before running `make install`. You should be able to run ``` raco pkg install --user -t ... ``` to install it to a user-local directory...

I had thought you were installing the full Racket distribution, if not you will need those packages too. They're available as similar zip files from the same place. The `raco...

For the full distribution you should only need `racket-test-core` (that's the point of the package). For the minimal distribution then you will need the listed dependencies which should be the...

Calling `raco setup` (which is the primary expensive thing `make install` does) is in fact incremental; it detects already compiled files and doesn't recompile them, and similar for documentation. That...

That does seem like it's recompiling but it shouldn't happen if you already re-ran `raco setup`. Could something be off about the timestamps of content of that file and it's...