diff options
| author | Pol Dellaiera <pol.dellaiera@protonmail.com> | 2023-06-13 20:14:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-13 20:14:58 +0200 |
| commit | 7907dd9d6b7d3aa95b1ab1c3037ca00a72e69658 (patch) | |
| tree | 8ab8723f023dfccbe5e9d086652218ed1a62ce55 /pkgs/development/coq-modules | |
| parent | c7173299ccedb4540a88288dc67c06405dca5a78 (diff) | |
| parent | ed3b102d1e51fe69d73dac210719e3a75f69fa85 (diff) | |
Merge pull request #235924 from Stunkymonkey/remove-then-{}
treewide: use lib.optionalAttrs instead of 'then {}'Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/tlc/default.nix | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/pkgs/development/coq-modules/tlc/default.nix b/pkgs/development/coq-modules/tlc/default.nix index 8ded1abeb146c..4fb67bede2379 100644 --- a/pkgs/development/coq-modules/tlc/default.nix +++ b/pkgs/development/coq-modules/tlc/default.nix @@ -23,9 +23,7 @@ maintainers = [ maintainers.vbgl ]; }; }).overrideAttrs (x: - if lib.versionAtLeast x.version "20210316" - then {} - else { + lib.optionalAttrs (lib.versionOlder x.version "20210316") { installFlags = [ "CONTRIB=$(out)/lib/coq/${coq.coq-version}/user-contrib" ]; } ) |