pkgs/development/tools/ats-acc/default.nix

   1 { lib, stdenv, fetchFromGitHub, ats2 }:
   2
   3 stdenv.mkDerivation rec {
   4   pname = "ats-acc";
   5   version = "unstable-2018-10-21";
   6
   7   src = fetchFromGitHub {
   8     owner = "sparverius";
   9     repo = pname;
  10     rev = "2d49f4e76d0fe1f857ceb70deba4aed13c306dcb";
  11     sha256 = "sha256-Wp39488YNL40GKp4KaJwhi75PsYP+gMtrZqAvs4Q/sw=";
  12   };
  13
  14   postPatch = ''
  15     substituteInPlace Makefile \
  16       --replace "mv acc \''$(PATSHOME)/bin/" "install -Dm755 acc ${placeholder "out"}/bin/"
  17   '';
  18
  19   nativeBuildInputs = [ ats2 ];
  20
  21   meta = with lib; {
  22     description = "Pretty-print error messages of the ATS Compiler";
  23     homepage = "https://github.com/sparverius/ats-acc";
  24     maintainers = with maintainers; [ moni ];
  25     license = licenses.unfree; # Upstream has no license
  26   };
  27 }