diff options
author | Jan Malakhovski <oxij@oxij.org> | 2023-07-25 13:27:31 +0000 |
---|---|---|
committer | Jan Malakhovski <oxij@oxij.org> | 2023-08-03 16:32:03 +0000 |
commit | 5852f26bdcdca4a33b37d1631cfb3897bcc36fcc (patch) | |
tree | 84541d3de93f39e98f7fabc53094498c6defbc74 /pkgs/development/coq-modules | |
parent | 9aabdcf43f70b18bdebc39d7796c984672603d3e (diff) |
treewide: noop: refer to `src.name` or similar in `sourceRoot` where appropriate, part 1: trivial cases
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/metalib/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/development/coq-modules/metalib/default.nix b/pkgs/development/coq-modules/metalib/default.nix index e0197db71b944..19a36c9692a93 100644 --- a/pkgs/development/coq-modules/metalib/default.nix +++ b/pkgs/development/coq-modules/metalib/default.nix @@ -1,6 +1,6 @@ { lib, mkCoqDerivation, coq, version ? null }: -mkCoqDerivation { +(mkCoqDerivation { pname = "metalib"; owner = "plclub"; inherit version; @@ -12,10 +12,10 @@ mkCoqDerivation { release."8.15".sha256 = "0wbp058zwa4bkdjj38aysy2g1avf9nrh8q23a3dil0q00qczi616"; release."8.10".sha256 = "0wbypc05d2lqfm9qaw98ynr5yc1p0ipsvyc3bh1rk9nz7zwirmjs"; - sourceRoot = "source/Metalib"; - meta = with lib; { license = licenses.mit; maintainers = [ maintainers.jwiegley ]; }; -} +}).overrideAttrs (oldAttrs: { + sourceRoot = "${oldAttrs.src.name}/Metalib"; +}) |