2015-05-22 12:04:44 +02:00
|
|
|
{stdenv, fetchurl}:
|
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
|
|
|
name = "rman-3.2";
|
2016-08-03 22:19:41 +02:00
|
|
|
|
2015-05-22 12:04:44 +02:00
|
|
|
src = fetchurl {
|
|
|
|
url = mirror://sourceforge/polyglotman/3.2/rman-3.2.tar.gz;
|
|
|
|
sha256 = "0prdld6nbkdlkcgc2r1zp13h2fh8r0mlwxx423dnc695ddlk18b8";
|
|
|
|
};
|
2016-08-03 22:19:41 +02:00
|
|
|
|
2018-08-08 23:13:36 +02:00
|
|
|
postPatch = ''
|
|
|
|
substituteInPlace Makefile \
|
|
|
|
--replace ginstall install
|
|
|
|
'';
|
|
|
|
|
|
|
|
makeFlags = [ "BINDIR=$(out)/bin" "MANDIR=$(out)/share/man" ];
|
2016-08-03 22:19:41 +02:00
|
|
|
|
2015-05-22 12:04:44 +02:00
|
|
|
preInstall = ''
|
|
|
|
mkdir -p $out/bin
|
|
|
|
mkdir -p $out/share/man
|
|
|
|
'';
|
2016-08-03 22:19:41 +02:00
|
|
|
|
|
|
|
hardeningDisable = [ "format" ];
|
|
|
|
|
2018-08-08 23:13:36 +02:00
|
|
|
doCheck = false; # "check" target is probably meant to do "installcheck" or something
|
|
|
|
|
2015-05-22 12:04:44 +02:00
|
|
|
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";
|
2016-08-02 19:50:55 +02:00
|
|
|
platforms = stdenv.lib.platforms.linux;
|
2015-05-22 12:04:44 +02:00
|
|
|
};
|
|
|
|
}
|