[ wip ] add racket support

stefan-hoeck / idris2-pack

BSD 3-Clause "New" or "Revised" License

90 stars 23 forks source link

Closed stefan-hoeck closed 1 year ago

stefan-hoeck commented 1 year ago

Another take at adding racket support to pack.

TODO:

[x] Use racket for codegen and bootstrapping when .scheme in Config is set to racket
[x] Add precompiled racket version of micropack
[x] Add racket support to make micropack command
[x] Add racket support to the installation script
[x] Update installation instructions
[x] Add CI actions for testing racket installation

stefan-hoeck commented 1 year ago

This is now ready. The two failing CI tests will only pass once pack's main branch has been updated with racket support.