nixpkgs/pkgs/development/compilers/idris2
wchresta 24d5c73aa8 idris2: Enable --install, bugfixes
This removes the need of the bin/idris2_app folder and replaces
it with proper links to the nix-storage folders.
This allows the user to override IDRIS2_PREFIX which will allow
them to use --install to install libraries.

* Fix: idris2_app/ was exposed in bin/
* Remove native Idris2 wrapper that set LD_LIBRARY_PATH
* Improve new Idris2 wrapper to set Idris2 paths to out folders
2020-08-20 22:09:05 -04:00
..
default.nix idris2: Enable --install, bugfixes 2020-08-20 22:09:05 -04:00