* Build the RTS separately from Idris
* idris2nix
* Only require gmp, rts when compiling executables
Chunks
dfdb5d9a (1st chunk of `pkgs/development/idris-modules/TODO.md`)
Title: Idris Build and Dependency Considerations
Summary
This chunk outlines several development and build considerations for Idris. It suggests building the Runtime System (RTS) independently from the Idris compiler itself, mentions 'idris2nix' which likely refers to Nix integration for Idris projects, and specifies that GMP (GNU Multiple Precision Arithmetic Library) and the RTS are only required when compiling final executables, implying they might not be needed for earlier compilation or development stages.