Bootstrap with Racket error: raco: Unrecognized command: exe

[barracuda156]

For the sake of testing I tried to build idris2 with racket instead of chez-scheme. It failed with the following:

cp support/c/libidris2_support.dylib bootstrap-build/idris2_app/
sed 's|__PREFIX__|/opt/local/var/macports/build/_opt_PPCSnowLeopardPorts_lang_idris2/idris2/work/Idris2-0.7.0/bootstrap-build|g' \
		bootstrap/idris2_app/idris2.rkt \
		> bootstrap-build/idris2_app/idris2-boot.rkt
/bin/sh ./bootstrap-stage1-racket.sh
Bootstrapping IDRIS2_VERSION=0.7.0
Building idris2-boot from idris2-boot.rkt
/opt/local/bin/raco: Unrecognized command: exe

Usage: raco <command> <option> ... <arg> ...

Frequently used commands:
  setup   install and build libraries and documentation
  pkg     manage packages

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.
make: *** [bootstrap-racket] Error 1

36-25% racket --version
Welcome to Racket v8.13 [cs].

[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.

[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.