diff options
author | Robin Gloster <mail@glob.in> | 2016-08-03 20:19:41 +0000 |
---|---|---|
committer | Robin Gloster <mail@glob.in> | 2016-08-03 20:19:41 +0000 |
commit | a3a2d52595b4173b51678044702ed68223bd347d (patch) | |
tree | 0d18c1d75e321c340de6478fbabfcc137b64310a /pkgs/development/tools/misc/rman | |
parent | bfa5a27ed9f87307f688fdece77a99e79b4bbee8 (diff) |
rman: disable format hardening
Diffstat (limited to 'pkgs/development/tools/misc/rman')
-rw-r--r-- | pkgs/development/tools/misc/rman/default.nix | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/pkgs/development/tools/misc/rman/default.nix b/pkgs/development/tools/misc/rman/default.nix index 01e4b22e5f141..702dabcf39550 100644 --- a/pkgs/development/tools/misc/rman/default.nix +++ b/pkgs/development/tools/misc/rman/default.nix @@ -2,16 +2,21 @@ stdenv.mkDerivation { name = "rman-3.2"; + src = fetchurl { url = mirror://sourceforge/polyglotman/3.2/rman-3.2.tar.gz; sha256 = "0prdld6nbkdlkcgc2r1zp13h2fh8r0mlwxx423dnc695ddlk18b8"; }; + makeFlags = "BINDIR=$(out)/bin MANDIR=$(out)/share/man"; + preInstall = '' mkdir -p $out/bin mkdir -p $out/share/man ''; - + + hardeningDisable = [ "format" ]; + 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"; |