Idris2
Idris2 copied to clipboard
Bootstrap with Racket error: `raco: Unrecognized command: exe`
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].