antlr4_13: init at 4.13.0

This commit is contained in:
Nick Cao 2023-06-19 17:08:23 +08:00
parent 4a29096075
commit ca9144be02
No known key found for this signature in database
2 changed files with 16 additions and 1 deletions

View file

@ -103,6 +103,20 @@ let
};
in {
antlr4_13 = (mkAntlr {
version = "4.13.0";
sourceSha256 = "sha256-s1yAdScMYg1wFpYNsBAtpifIhQsnSAgJg7JjPDx+htc=";
jarSha256 = "sha256-vG9KvA0iWidXASbFFAJWnwAKje2jSHtw52QoQOVw5KY=";
extraCppCmakeFlags = [
# Generate CMake config files, which are not installed by default.
"-DANTLR4_INSTALL=ON"
# Disable tests, since they require downloading googletest, which is
# not available in a sandboxed build.
"-DANTLR_BUILD_CPP_TESTS=OFF"
];
}).antlr;
antlr4_12 = (mkAntlr {
version = "4.12.0";
sourceSha256 = "sha256-0JMG8UYFT+IAWvARY2KnuXSr5X6LlVZN4LJHy5d4x08=";

View file

@ -18602,7 +18602,8 @@ with pkgs;
antlr4_9
antlr4_10
antlr4_11
antlr4_12;
antlr4_12
antlr4_13;
antlr4 = antlr4_12;