Bump ANTLR dependency to 4.13.1 (#40)

Also document that ANTLR requires Java 11 at least.
renatahodovan · Nov 4, 2023 · dfd15fe · dfd15fe
1 parent a1003d4
commit dfd15fe
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/README.rst b/README.rst
@@ -40,7 +40,7 @@ Requirements
 ============
 
 * Python_ >= 3.7
-* Java_ SE >= 7 JRE or JDK (the latter is optional, only needed if Java is used
+* Java_ SE >= 11 JRE or JDK (the latter is optional, only needed if Java is used
   as the parser language)
 
 .. _Python: https://www.python.org

diff --git a/setup.cfg b/setup.cfg
@@ -29,7 +29,7 @@ include_package_data = True
 python_requires = >=3.7
 install_requires =
     antlerinator>=1!3.0.0
-    antlr4-python3-runtime==4.13.0
+    antlr4-python3-runtime==4.13.1
     importlib-metadata; python_version < "3.8"
     inators
     picire==21.8
@@ -42,6 +42,6 @@ console_scripts =
 
 [build_antlr]
 commands =
-    antlerinator:4.13.0 picireny/antlr4/resources/ANTLRv4Lexer.g4 picireny/antlr4/resources/ANTLRv4Parser.g4 -Dlanguage=Python3 -o picireny/antlr4/parser -Xexact-output-dir -no-listener
+    antlerinator:4.13.1 picireny/antlr4/resources/ANTLRv4Lexer.g4 picireny/antlr4/resources/ANTLRv4Parser.g4 -Dlanguage=Python3 -o picireny/antlr4/parser -Xexact-output-dir -no-listener
 output =
     picireny/antlr4/parser/ANTLRv4*.py