diff options
Diffstat (limited to 'pkgs/development/tools/parsing/jikespg/default.nix')
-rw-r--r-- | pkgs/development/tools/parsing/jikespg/default.nix | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/pkgs/development/tools/parsing/jikespg/default.nix b/pkgs/development/tools/parsing/jikespg/default.nix index 34e62886683..8179855e6eb 100644 --- a/pkgs/development/tools/parsing/jikespg/default.nix +++ b/pkgs/development/tools/parsing/jikespg/default.nix @@ -1,25 +1,28 @@ {lib, stdenv, fetchurl}: stdenv.mkDerivation rec { - name = "jikespg-1.3"; + pname = "jikespg"; + version = "1.3"; src = fetchurl { - url = "mirror://sourceforge/jikes/${name}.tar.gz"; + url = "mirror://sourceforge/jikes/${pname}-${version}.tar.gz"; sha256 = "083ibfxaiw1abxmv1crccx1g6sixkbyhxn2hsrlf6fwii08s6rgw"; }; + postPatch = '' + substituteInPlace Makefile --replace "gcc" "${stdenv.cc.targetPrefix}cc" + ''; + sourceRoot = "jikespg/src"; - installPhase = - '' - mkdir -p $out/bin - cp jikespg $out/bin - ''; + installPhase = '' + install -Dm755 -t $out/bin jikespg + ''; meta = with lib; { homepage = "http://jikes.sourceforge.net/"; description = "The Jikes Parser Generator"; - platforms = platforms.linux; + platforms = platforms.all; license = licenses.ipl10; maintainers = with maintainers; [ pSub ]; }; |