colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #297348 from mattpolzin/idris2-prefer-chez-10

Browse Source 
idris2: prefer chez 10 over chez-racket
This commit is contained in:
Fabián Heredia Montiel 2024-05-09 13:13:33 -06:00 committed by GitHub
commit cc6431d559
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/development/compilers/idris2/idris2.nix
View File

@ -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";