diff options
author | Fabián Heredia Montiel <303897+fabianhjr@users.noreply.github.com> | 2024-05-09 13:13:33 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-05-09 13:13:33 -0600 |
commit | cc6431d5598071f0021efc6c009c79e5b5fe1617 (patch) | |
tree | dbddac71cadb796431e3cba1939b44b8a0c60d05 /pkgs/development/compilers/idris2 | |
parent | 76df5091d665511048c0de49e0a543449adc3d30 (diff) | |
parent | b46cee679f6904b0854c68c901372d0bc2237d84 (diff) |
Merge pull request #297348 from mattpolzin/idris2-prefer-chez-10
idris2: prefer chez 10 over chez-racket
Diffstat (limited to 'pkgs/development/compilers/idris2')
-rw-r--r-- | pkgs/development/compilers/idris2/idris2.nix | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/pkgs/development/compilers/idris2/idris2.nix b/pkgs/development/compilers/idris2/idris2.nix index 421fb93cf03b..452e9da97c35 100644 --- a/pkgs/development/compilers/idris2/idris2.nix +++ b/pkgs/development/compilers/idris2/idris2.nix @@ -17,10 +17,12 @@ # NOTICE: An `idris2WithPackages` is available at: https://github.com/claymager/idris2-pkgs let - # Taken from Idris2/idris2/flake.nix. Check if the idris2 project does it this - # way, still, every now and then. - platformChez = if stdenv.system == "x86_64-linux" then chez else chez-racket; -# Uses scheme to bootstrap the build of idris2 + platformChez = + if (stdenv.system == "x86_64-linux") || (lib.versionAtLeast chez.version "10.0.0") + then + chez + else + chez-racket; in stdenv.mkDerivation rec { pname = "idris2"; version = "0.7.0"; |