Bootstrap with Racket error: `raco: Unrecognized command: exe` about idris2

[dunhamsteve]

I see the comment there. I'm using the upstream distribution, so I haven't seen this.

We might want to make a note in our INSTALL.md around line 52 to let racket users know what to do if they see this error.

[dunhamsteve]

I'd been using 8.12, but I downloaded a copy of racket 8.13 for mac and it has the exe command:

% /Applications/Racket\ v8.13/bin/raco
Usage: raco <command> <option> ... <arg> ...

Frequently used commands:
  make                 compile source to bytecode
  setup                install and build libraries and documentation
  pkg                  manage packages
  exe                  create executable
  test                 run tests associated with files/directories

A command can be specified by an unambiguous prefix.
See `raco help' for a complete list of commands.
See `raco help <command>' for help on a command.

What os and package are you using for racket? I'm wondering if the exe bit is platform specific or optional (Debian likes to pare things down). We do have CI building racket on ubuntu.

[barracuda156]

@dunhamsteve It is certainly possible that I build it in a wrong way. Does this look sensible? barracuda156/powerpc-ports@9639f58

I can ask the upstream, maybe they help to clarify this issue.