pkgs/development/tools/parsing/jikespg/default.nix

   1 {lib, stdenv, fetchurl}:
   2
   3 stdenv.mkDerivation rec {
   4   pname = "jikespg";
   5   version = "1.3";
   6
   7   src = fetchurl {
   8     url = "mirror://sourceforge/jikes/${pname}-${version}.tar.gz";
   9     sha256 = "083ibfxaiw1abxmv1crccx1g6sixkbyhxn2hsrlf6fwii08s6rgw";
  10   };
  11
  12   postPatch = ''
  13     substituteInPlace Makefile --replace "gcc" "${stdenv.cc.targetPrefix}cc"
  14   '';
  15
  16   sourceRoot = "jikespg/src";
  17
  18   installPhase = ''
  19     install -Dm755 -t $out/bin jikespg
  20   '';
  21
  22   meta = with lib; {
  23     homepage = "https://jikes.sourceforge.net/";
  24     description = "The Jikes Parser Generator";
  25     mainProgram = "jikespg";
  26     platforms = platforms.all;
  27     license = licenses.ipl10;
  28     maintainers = with maintainers; [ pSub ];
  29   };
  30 }