diff options
author | Vladimír Čunát <vcunat@gmail.com> | 2018-08-20 09:13:41 +0200 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2018-08-20 09:13:41 +0200 |
commit | ae2cf7c00877a3dd778b3e3cabfec682503303d5 (patch) | |
tree | 16c0b044abef442273e494420381770e6e2b45d5 /pkgs/development/tools/misc/rman/default.nix | |
parent | 4ff7702082bad838e70140091afe7e77a9f00eca (diff) | |
parent | 38eea804e6c02542085c9f232cdd699d96c95a23 (diff) | |
download | nixlib-ae2cf7c00877a3dd778b3e3cabfec682503303d5.tar nixlib-ae2cf7c00877a3dd778b3e3cabfec682503303d5.tar.gz nixlib-ae2cf7c00877a3dd778b3e3cabfec682503303d5.tar.bz2 nixlib-ae2cf7c00877a3dd778b3e3cabfec682503303d5.tar.lz nixlib-ae2cf7c00877a3dd778b3e3cabfec682503303d5.tar.xz nixlib-ae2cf7c00877a3dd778b3e3cabfec682503303d5.tar.zst nixlib-ae2cf7c00877a3dd778b3e3cabfec682503303d5.zip |
Merge branch 'staging' into staging-next
There are security fixes for a few packages (and other changes).
Diffstat (limited to 'pkgs/development/tools/misc/rman/default.nix')
-rw-r--r-- | pkgs/development/tools/misc/rman/default.nix | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/pkgs/development/tools/misc/rman/default.nix b/pkgs/development/tools/misc/rman/default.nix index 702dabcf3955..8093846780d2 100644 --- a/pkgs/development/tools/misc/rman/default.nix +++ b/pkgs/development/tools/misc/rman/default.nix @@ -8,7 +8,12 @@ stdenv.mkDerivation { sha256 = "0prdld6nbkdlkcgc2r1zp13h2fh8r0mlwxx423dnc695ddlk18b8"; }; - makeFlags = "BINDIR=$(out)/bin MANDIR=$(out)/share/man"; + postPatch = '' + substituteInPlace Makefile \ + --replace ginstall install + ''; + + makeFlags = [ "BINDIR=$(out)/bin" "MANDIR=$(out)/share/man" ]; preInstall = '' mkdir -p $out/bin @@ -17,6 +22,8 @@ stdenv.mkDerivation { hardeningDisable = [ "format" ]; + doCheck = false; # "check" target is probably meant to do "installcheck" or something + meta = { description = "Parse formatted man pages and man page source from most flavors of UNIX and converts them to HTML, ASCII, TkMan, DocBook, and other formats"; license = "artistic"; |