diff options
author | Steve Purcell <steve@sanityinc.com> | 2019-10-07 10:47:40 +1300 |
---|---|---|
committer | Steve Purcell <steve@sanityinc.com> | 2019-10-07 10:47:40 +1300 |
commit | 6bbe1df7f728df202d35172fdfc2a380a67bbdac (patch) | |
tree | 2a0af3d8ad42eb053371aeb488587a0c8e46be9f | |
parent | fda648966c0972f6f64992cfd334ba0a38c6675c (diff) |
Set CMAKE_INSTALL_MANDIR in snapshot build
See https://travis-ci.org/ledger/ledger-mode/jobs/594317052
-rw-r--r-- | tools/default.nix | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/default.nix b/tools/default.nix index 6ba7b00..68fec02 100644 --- a/tools/default.nix +++ b/tools/default.nix @@ -6,5 +6,9 @@ in { stable = pkgs.ledger; - snapshot = (pkgs.callPackage ledgerFromGit {}).overrideAttrs(a: { doCheck = false; }); + snapshot = (pkgs.callPackage ledgerFromGit {}) + .overrideAttrs(a: { + doCheck = false; + cmakeFlags = a.cmakeFlags ++ [ "-DCMAKE_INSTALL_MANDIR=share/man" ]; + }); } |