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 | |
parent | b63179691fb19cd8bb63fbb005bb3120a36deba0 (diff) |
treewide: use lib.optional instead of 'then []'
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/mathcomp-analysis/default.nix | 3 | ||||
-rw-r--r-- | pkgs/development/coq-modules/mathcomp/default.nix | 3 | ||||
-rw-r--r-- | pkgs/development/coq-modules/metacoq/default.nix | 3 |
3 files changed, 3 insertions, 6 deletions
diff --git a/pkgs/development/coq-modules/mathcomp-analysis/default.nix b/pkgs/development/coq-modules/mathcomp-analysis/default.nix index 4f6ffba3359fa..7e608fc61f348 100644 --- a/pkgs/development/coq-modules/mathcomp-analysis/default.nix +++ b/pkgs/development/coq-modules/mathcomp-analysis/default.nix @@ -40,8 +40,7 @@ let mathcomp_ = package: let classical-deps = [ mathcomp.algebra mathcomp-finmap ]; analysis-deps = [ mathcomp.field mathcomp-bigenough ]; - intra-deps = if package == "single" then [] - else map mathcomp_ (head (splitList (lib.pred.equal package) packages)); + intra-deps = lib.optionals (package != "single") (map mathcomp_ (head (splitList (lib.pred.equal package) packages))); pkgpath = if package == "single" then "." else if package == "analysis" then "theories" else "${package}"; pname = if package == "single" then "mathcomp-analysis-single" 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 = '' diff --git a/pkgs/development/coq-modules/metacoq/default.nix b/pkgs/development/coq-modules/metacoq/default.nix index 9a22d82dd4001..b61b729eb4753 100644 --- a/pkgs/development/coq-modules/metacoq/default.nix +++ b/pkgs/development/coq-modules/metacoq/default.nix @@ -33,8 +33,7 @@ let template-coq = metacoq_ "template-coq"; metacoq_ = package: let - metacoq-deps = if package == "single" then [] - else map metacoq_ (head (splitList (lib.pred.equal package) packages)); + metacoq-deps = lib.optionals (package != "single") (map metacoq_ (head (splitList (lib.pred.equal package) packages))); pkgpath = if package == "single" then "./" else "./${package}"; pname = if package == "all" then "metacoq" else "metacoq-${package}"; pkgallMake = '' |