antlr4_12: init at 4.12.0

This commit is contained in:
Nick Cao 2023-03-13 10:10:25 +08:00
parent 7c84ea61ab
commit 069d4196eb
No known key found for this signature in database
2 changed files with 16 additions and 1 deletions

View File

@ -99,6 +99,20 @@ let
};
in {
antlr4_12 = (mkAntlr {
version = "4.12.0";
sourceSha256 = "sha256-0JMG8UYFT+IAWvARY2KnuXSr5X6LlVZN4LJHy5d4x08=";
jarSha256 = "sha256-iPGKK/rA3eEAntpcfc41ilKHf673ho9WIjpbzBUynkM=";
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_11 = (mkAntlr {
version = "4.11.1";
sourceSha256 = "sha256-SUeDgfqLjYQorC8r/CKlwbYooTThMOILkizwQV8pocc=";

View File

@ -17260,7 +17260,8 @@ with pkgs;
antlr4_8
antlr4_9
antlr4_10
antlr4_11;
antlr4_11
antlr4_12;
antlr4 = antlr4_11;