diff options
author | wchresta <34962284+wchresta@users.noreply.github.com> | 2022-01-08 22:12:04 +0100 |
---|---|---|
committer | wchresta <34962284+wchresta@users.noreply.github.com> | 2022-01-10 22:01:42 +0100 |
commit | 205b0f2c5e8216827126ddb73fd25c96d39d4b29 (patch) | |
tree | c59e10b3b6b1ce2a8bfe7388f082153c7291e5b5 /nixos/doc/manual/from_md/release-notes/rl-2205.section.xml | |
parent | d36d401087a7e347c8b8ec539af1d32e130de564 (diff) | |
download | nixpkgs-205b0f2c5e8216827126ddb73fd25c96d39d4b29.tar nixpkgs-205b0f2c5e8216827126ddb73fd25c96d39d4b29.tar.gz nixpkgs-205b0f2c5e8216827126ddb73fd25c96d39d4b29.tar.bz2 nixpkgs-205b0f2c5e8216827126ddb73fd25c96d39d4b29.tar.lz nixpkgs-205b0f2c5e8216827126ddb73fd25c96d39d4b29.tar.xz nixpkgs-205b0f2c5e8216827126ddb73fd25c96d39d4b29.tar.zst nixpkgs-205b0f2c5e8216827126ddb73fd25c96d39d4b29.zip |
Idris2: Refactor default.nix
We take the idris2 projects version of the derivation. Originally, Idris2 did not maintain their own nix derivation, so we created our own. Now they maintain their own derivation, so we should try to keep ours as close to theirs. This change comes with the following differences: * support files are in its own output, instead of packaged with idris2 - This makes it necessary to provide --package for contrib and network !!! This is a breaking change !!! * IDIRS2_PREFIX is set to ~/.idris2 instead of pointing to nix-store - This makes --install work as expected for the user * Properly set IDRIS2_PACKAGE_PATH * non-linux platform uses chez-racket instead of chez
Diffstat (limited to 'nixos/doc/manual/from_md/release-notes/rl-2205.section.xml')
-rw-r--r-- | nixos/doc/manual/from_md/release-notes/rl-2205.section.xml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/nixos/doc/manual/from_md/release-notes/rl-2205.section.xml b/nixos/doc/manual/from_md/release-notes/rl-2205.section.xml index 67c5a13421b..c49cf223383 100644 --- a/nixos/doc/manual/from_md/release-notes/rl-2205.section.xml +++ b/nixos/doc/manual/from_md/release-notes/rl-2205.section.xml @@ -254,6 +254,15 @@ </listitem> <listitem> <para> + <literal>idris2</literal> now requires + <literal>--package</literal> when using packages + <literal>contrib</literal> and <literal>network</literal>, + while previously these idris2 packages were automatically + loaded. + </para> + </listitem> + <listitem> + <para> <literal>services.thelounge.private</literal> was removed in favor of <literal>services.thelounge.public</literal>, to follow with upstream changes. |