diff options
author | V. <vig@disroot.org> | 2024-07-30 20:32:52 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@localhost> | 2024-07-30 20:32:52 +0000 |
commit | c347d3df8f1aebe124b6a3179d4dd83ccadd44b5 (patch) | |
tree | da769d347554201179c9599dfe3bb200ef1a0906 /misc | |
parent | 97a389b0bee7baf2d445121afa6ec84bef3a4bd7 (diff) | |
parent | a98dce2a1f6b51374cc596985ef929b372cec763 (diff) |
Merge changes I609a5898,I7afb53c9 into main
* changes:
devendor pegtl
update flake.lock
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 - ]; -} |