2021-05-20 10:53:52 +00:00
|
|
|
{ lib, stdenv, fetchFromGitHub, ats2 }:
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
pname = "ats-acc";
|
|
|
|
version = "unstable-2018-10-21";
|
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "sparverius";
|
|
|
|
repo = pname;
|
|
|
|
rev = "2d49f4e76d0fe1f857ceb70deba4aed13c306dcb";
|
|
|
|
sha256 = "sha256-Wp39488YNL40GKp4KaJwhi75PsYP+gMtrZqAvs4Q/sw=";
|
|
|
|
};
|
|
|
|
|
2023-01-02 13:44:38 +00:00
|
|
|
postPatch = ''
|
|
|
|
substituteInPlace Makefile \
|
|
|
|
--replace "mv acc \''$(PATSHOME)/bin/" "install -Dm755 acc ${placeholder "out"}/bin/"
|
|
|
|
'';
|
|
|
|
|
2021-05-20 10:53:52 +00:00
|
|
|
nativeBuildInputs = [ ats2 ];
|
|
|
|
|
|
|
|
meta = with lib; {
|
|
|
|
description = "Pretty-print error messages of the ATS Compiler";
|
|
|
|
homepage = "https://github.com/sparverius/ats-acc";
|
2023-11-17 10:03:27 +00:00
|
|
|
maintainers = with maintainers; [ moni ];
|
2021-05-20 10:53:52 +00:00
|
|
|
license = licenses.unfree; # Upstream has no license
|
|
|
|
};
|
|
|
|
}
|