aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2017-04-04 04:39:53 +0200
committerTristan Gingold <tgingold@free.fr>2017-04-04 04:39:53 +0200
commit6d391208521442ac872d1682593d4541ab3b754d (patch)
tree7bbd59c4dc29f90d2f6c5e480a011cf69f532a7b /configure
parente2769e8168d33fec695f0ce149852284134899a1 (diff)
downloadghdl-6d391208521442ac872d1682593d4541ab3b754d.tar.gz
ghdl-6d391208521442ac872d1682593d4541ab3b754d.tar.bz2
ghdl-6d391208521442ac872d1682593d4541ab3b754d.zip
Use llvm4-nodebug for llvm 3.9
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure7
1 files changed, 2 insertions, 5 deletions
diff --git a/configure b/configure
index 97591dc40..b6e22cb03 100755
--- a/configure
+++ b/configure
@@ -161,11 +161,8 @@ if test $backend = llvm; then
llvm_be=llvm-nodebug
# Tested with llvm 3.5, so assume 3.6, 3.7 and 3.8
llvm_be_ver=35
- elif check_version 3.9 $llvm_version; then
- echo "Debugging is not enabled with llvm $llvm_version"
- llvm_be=llvm-nodebug
- llvm_be_ver=39
- elif check_version 4.0 $llvm_version; then
+ elif check_version 3.9 $llvm_version ||
+ check_version 4.0 $llvm_version; then
echo "Debugging is not enabled with llvm $llvm_version"
llvm_be=llvm4-nodebug
llvm_be_ver=4