diff options
| author | wchresta <34962284+wchresta@users.noreply.github.com> | 2020-08-16 23:41:02 -0400 |
|---|---|---|
| committer | wchresta <34962284+wchresta@users.noreply.github.com> | 2020-08-20 22:09:05 -0400 |
| commit | 24d5c73aa81b95e5aedcb92bc93e0a865a84885e (patch) | |
| tree | cc17e48e8ed6e570a557cd886a497f5bb7eb0c2a /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | c057e8df8322e4e892464b79717ee765b6779a90 (diff) | |
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
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions