diff options
Diffstat (limited to 'misc')
-rw-r--r-- | misc/pegtl.nix | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/misc/pegtl.nix b/misc/pegtl.nix deleted file mode 100644 index 3fd999d9d..000000000 --- a/misc/pegtl.nix +++ /dev/null @@ -1,23 +0,0 @@ -{ - stdenv, - cmake, - ninja, - fetchFromGitHub, -}: - -stdenv.mkDerivation { - pname = "pegtl"; - version = "3.2.7"; - - src = fetchFromGitHub { - repo = "PEGTL"; - owner = "taocpp"; - rev = "refs/tags/3.2.7"; - hash = "sha256-IV5YNGE4EWVrmg2Sia/rcU8jCuiBynQGJM6n3DCWTQU="; - }; - - nativeBuildInputs = [ - cmake - ninja - ]; -} |