diff --git a/config/companion_libs/isl.in b/config/companion_libs/isl.in
index a6b53fb3..92e659bd 100644
--- a/config/companion_libs/isl.in
+++ b/config/companion_libs/isl.in
@@ -6,6 +6,10 @@ choice
 # Don't remove next line
 # CT_INSERT_VERSION_BELOW
 
+config ISL_V_0_14
+    bool
+    prompt "0.14"
+
 config ISL_V_0_12_2
     bool
     prompt "0.12.2"
@@ -20,5 +24,6 @@ config ISL_VERSION
     string
 # Don't remove next line
 # CT_INSERT_VERSION_STRING_BELOW
+    default "0.14" if ISL_V_0_14
     default "0.12.2" if ISL_V_0_12_2
     default "0.11.1" if ISL_V_0_11_1