aboutsummaryrefslogtreecommitdiff
path: root/misc
diff options
context:
space:
mode:
Diffstat (limited to 'misc')
-rw-r--r--misc/pegtl.nix23
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
- ];
-}