diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2021-03-10 00:39:07 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-10 00:39:07 +0000 |
commit | 149a81c88d05f974d8dd11e111ad09b502b338b1 (patch) | |
tree | 7ff3d07f00243f0096d02de131e21a577db05dff /pkgs/development/tools/parsing | |
parent | cf320b516a167a923032f44da4955b885738fa8b (diff) | |
parent | 6bd4e08c3453e544d3d61ca845d7ab0f1507c374 (diff) | |
download | nixpkgs-149a81c88d05f974d8dd11e111ad09b502b338b1.tar nixpkgs-149a81c88d05f974d8dd11e111ad09b502b338b1.tar.gz nixpkgs-149a81c88d05f974d8dd11e111ad09b502b338b1.tar.bz2 nixpkgs-149a81c88d05f974d8dd11e111ad09b502b338b1.tar.lz nixpkgs-149a81c88d05f974d8dd11e111ad09b502b338b1.tar.xz nixpkgs-149a81c88d05f974d8dd11e111ad09b502b338b1.tar.zst nixpkgs-149a81c88d05f974d8dd11e111ad09b502b338b1.zip |
Merge master into staging-next
Diffstat (limited to 'pkgs/development/tools/parsing')
-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 ]; }; |