aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xconfigure1
-rw-r--r--doc/development/building/LLVM.rst2
2 files changed, 2 insertions, 1 deletions
diff --git a/configure b/configure
index 0e4c2d756..e2db3fa7d 100755
--- a/configure
+++ b/configure
@@ -300,6 +300,7 @@ if test $backend = llvm; then
check_version 11.1 $llvm_version ||
check_version 12.0 $llvm_version ||
check_version 13.0 $llvm_version ||
+ check_version 14.0 $llvm_version ||
false; then
echo "Debugging is enabled with llvm $llvm_version"
else
diff --git a/doc/development/building/LLVM.rst b/doc/development/building/LLVM.rst
index 576fc6233..19a70428a 100644
--- a/doc/development/building/LLVM.rst
+++ b/doc/development/building/LLVM.rst
@@ -8,7 +8,7 @@ LLVM backend
* GCC (Gnu Compiler Collection)
* GNAT (Ada compiler for GCC)
* LLVM (Low-Level-Virtual Machine) and CLANG (Compiler front-end for LLVM): 3.5, 3.8, 3.9, 4.0, 5.0, 6.0, 7.0, 8.0,
- 9.0, 10.0, 11.0, 11.1 or 12.0
+ 9.0, 10.0, 11.0, 11.1, 12.0, 13.0 or 14.0
.. _BUILD:llvm:GNAT: