tjh.dev
1{lib, stdenv, fetchurl}:
2
3stdenv.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 platforms = platforms.all;
26 license = licenses.ipl10;
27 maintainers = with maintainers; [ pSub ];
28 };
29}