diff options
Diffstat (limited to 'pkgs/development/tools/misc/rman/default.nix')
-rw-r--r-- | pkgs/development/tools/misc/rman/default.nix | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/pkgs/development/tools/misc/rman/default.nix b/pkgs/development/tools/misc/rman/default.nix index 09769d5c591..99f3d8c13e7 100644 --- a/pkgs/development/tools/misc/rman/default.nix +++ b/pkgs/development/tools/misc/rman/default.nix @@ -1,16 +1,18 @@ -{stdenv, fetchurl}: +{lib, stdenv, fetchurl}: -stdenv.mkDerivation { - name = "rman-3.2"; +stdenv.mkDerivation rec { + pname = "rman"; + version = "3.2"; src = fetchurl { - url = "mirror://sourceforge/polyglotman/3.2/rman-3.2.tar.gz"; + url = "mirror://sourceforge/polyglotman/${version}/${pname}-${version}.tar.gz"; sha256 = "0prdld6nbkdlkcgc2r1zp13h2fh8r0mlwxx423dnc695ddlk18b8"; }; postPatch = '' substituteInPlace Makefile \ - --replace ginstall install + --replace ginstall install \ + --replace gcc '${stdenv.cc.targetPrefix}cc' ''; makeFlags = [ "BINDIR=$(out)/bin" "MANDIR=$(out)/share/man" ]; @@ -27,6 +29,6 @@ stdenv.mkDerivation { 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"; - platforms = stdenv.lib.platforms.linux; + platforms = lib.platforms.all; }; } |