pkgs/by-name/at/ats-acc/package.nix

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