aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2021-10-15 07:42:38 +0200
committerTristan Gingold <tgingold@free.fr>2021-10-15 07:42:38 +0200
commite49cb7b91946bbe866e684c47ccb703a83f78dec (patch)
tree687c0c69b4443591e2b6088c502f0cb8b3343b67 /configure
parent164d834a13dc992f541d0bed50bcaacf3958249c (diff)
downloadghdl-e49cb7b91946bbe866e684c47ccb703a83f78dec.tar.gz
ghdl-e49cb7b91946bbe866e684c47ccb703a83f78dec.tar.bz2
ghdl-e49cb7b91946bbe866e684c47ccb703a83f78dec.zip
configure: blindly allow llvm 13
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure1
1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure
index d870ea21a..7af4e9ab0 100755
--- a/configure
+++ b/configure
@@ -280,6 +280,7 @@ if test $backend = llvm; then
check_version 11.0 $llvm_version ||
check_version 11.1 $llvm_version ||
check_version 12.0 $llvm_version ||
+ check_version 13.0 $llvm_version ||
false; then
echo "Debugging is enabled with llvm $llvm_version"
else