dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

Fix coqPackages.mathcomp-altreals dependencies

Browse Source
This commit is contained in:
Pierre Roux 2024-10-29 11:27:07 +01:00 committed by Vincent Laporte
parent 161ba5b87e
commit 46143dd712
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/coq-modules/mathcomp-analysis/default.nix
View File

@ -62,6 +62,7 @@ let
mathcomp_ = package: let mathcomp_ = package: let
classical-deps = [ mathcomp.algebra mathcomp-finmap ]; classical-deps = [ mathcomp.algebra mathcomp-finmap ];
altreals-deps = [ mathcomp-bigenough ];
analysis-deps = [ mathcomp.field mathcomp-bigenough ]; analysis-deps = [ mathcomp.field mathcomp-bigenough ];
intra-deps = lib.optionals (package != "single") (map mathcomp_ packages.${package}); intra-deps = lib.optionals (package != "single") (map mathcomp_ packages.${package});
pkgpath = lib.switch package [ pkgpath = lib.switch package [
@ -80,6 +81,7 @@ let
propagatedBuildInputs = propagatedBuildInputs =
intra-deps intra-deps
++ lib.optionals (lib.elem package [ "classical" "single" ]) classical-deps ++ lib.optionals (lib.elem package [ "classical" "single" ]) classical-deps
++ lib.optionals (lib.elem package [ "altreals" "single" ]) altreals-deps
++ lib.optionals (lib.elem package [ "analysis" "single" ]) analysis-deps; ++ lib.optionals (lib.elem package [ "analysis" "single" ]) analysis-deps;
preBuild = '' preBuild = ''