Idris2 icon indicating copy to clipboard operation
Idris2 copied to clipboard

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

Open barracuda156 opened this issue 7 months ago • 3 comments

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

barracuda156 avatar Jul 05 '24 02:07 barracuda156