diff options
| author | Felix Buehler <account@buehler.rocks> | 2023-06-10 20:16:12 +0200 |
|---|---|---|
| committer | Emery Hemingway <ehmry@posteo.net> | 2023-07-12 09:36:28 +0100 |
| commit | bec27fabee7ff51a4788840479b1730ed1b64427 (patch) | |
| tree | 638353517b8f8eb3b5b8d4fbc7172cd1aa42d47d /pkgs/development/coq-modules/mathcomp/default.nix | |
| parent | b63179691fb19cd8bb63fbb005bb3120a36deba0 (diff) | |
treewide: use lib.optional instead of 'then []'
Diffstat (limited to 'pkgs/development/coq-modules/mathcomp/default.nix')
| -rw-r--r-- | pkgs/development/coq-modules/mathcomp/default.nix | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/pkgs/development/coq-modules/mathcomp/default.nix b/pkgs/development/coq-modules/mathcomp/default.nix index 772920b8e5407..3805089425d13 100644 --- a/pkgs/development/coq-modules/mathcomp/default.nix +++ b/pkgs/development/coq-modules/mathcomp/default.nix @@ -55,8 +55,7 @@ let packages = [ "ssreflect" "fingroup" "algebra" "solvable" "field" "character" "all" ]; mathcomp_ = package: let - mathcomp-deps = if package == "single" then [] - else map mathcomp_ (head (splitList (lib.pred.equal package) packages)); + mathcomp-deps = lib.optionals (package != "single") (map mathcomp_ (head (splitList (lib.pred.equal package) packages))); pkgpath = if package == "single" then "mathcomp" else "mathcomp/${package}"; pname = if package == "single" then "mathcomp" else "mathcomp-${package}"; pkgallMake = '' |