search

idris-lang / Idris2

A purely functional programming language with first class types
https://idris-lang.org/
Other
2.46k stars 368 forks source link

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

Open barracuda156 opened 1 week ago

barracuda156 commented 1 week ago

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 commented 1 week ago

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 commented 1 week ago

@dunhamsteve It is certainly possible that I build it in a wrong way. Does this look sensible? https://github.com/barracuda156/macports-ports-powerpc/commit/9639f58c8aba705fb4fb5204d5a43a409178da37

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

dunhamsteve commented 1 week ago

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.