1 files changed, 4 insertions, 0 deletions
diff --git a/configure b/configure
index 350410673..97591dc40 100755
--- a/configure
+++ b/configure
@@ -165,6 +165,10 @@ if test $backend = llvm; 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
+	echo "Debugging is not enabled with llvm $llvm_version"
+	llvm_be=llvm4-nodebug
+	llvm_be_ver=4
     else
 	echo "Unhandled version llvm $llvm_version"
 	exit 1