2021-01-11 07:54:33 +00:00
|
|
|
{lib, stdenv, fetchurl}:
|
2006-03-14 18:20:21 +00:00
|
|
|
|
2016-11-20 15:25:26 +00:00
|
|
|
stdenv.mkDerivation rec {
|
2021-03-08 16:23:18 +00:00
|
|
|
pname = "jikespg";
|
|
|
|
version = "1.3";
|
2014-01-02 23:53:00 +00:00
|
|
|
|
2006-03-14 18:20:21 +00:00
|
|
|
src = fetchurl {
|
2021-03-08 16:23:18 +00:00
|
|
|
url = "mirror://sourceforge/jikes/${pname}-${version}.tar.gz";
|
2016-11-20 15:25:26 +00:00
|
|
|
sha256 = "083ibfxaiw1abxmv1crccx1g6sixkbyhxn2hsrlf6fwii08s6rgw";
|
2006-03-14 18:20:21 +00:00
|
|
|
};
|
2014-01-02 23:53:00 +00:00
|
|
|
|
2021-03-08 16:23:18 +00:00
|
|
|
postPatch = ''
|
|
|
|
substituteInPlace Makefile --replace "gcc" "${stdenv.cc.targetPrefix}cc"
|
|
|
|
'';
|
|
|
|
|
2014-01-02 23:53:00 +00:00
|
|
|
sourceRoot = "jikespg/src";
|
|
|
|
|
2021-03-08 16:23:18 +00:00
|
|
|
installPhase = ''
|
|
|
|
install -Dm755 -t $out/bin jikespg
|
|
|
|
'';
|
2014-01-02 23:53:00 +00:00
|
|
|
|
2021-01-11 07:54:33 +00:00
|
|
|
meta = with lib; {
|
2020-04-01 01:11:51 +00:00
|
|
|
homepage = "http://jikes.sourceforge.net/";
|
2014-01-02 23:53:00 +00:00
|
|
|
description = "The Jikes Parser Generator";
|
2021-03-08 16:23:18 +00:00
|
|
|
platforms = platforms.all;
|
2016-11-20 15:25:26 +00:00
|
|
|
license = licenses.ipl10;
|
|
|
|
maintainers = with maintainers; [ pSub ];
|
2014-01-02 23:53:00 +00:00
|
|
|
};
|
2006-03-14 18:20:21 +00:00
|
|
|
}
|