X-Git-Url: https://svn.cri.mines-paristech.fr/git/linpy.git/blobdiff_plain/48ede349025246bb3a3294f677b633991b69abad..96f9b5ee1f7d91a25fed2b2d2a7d8edf0ef1d85c:/linpy/islhelper.py

diff --git a/linpy/islhelper.py b/linpy/islhelper.py
index c38e734..b0dffe7 100644
--- a/linpy/islhelper.py
+++ b/linpy/islhelper.py
@@ -16,6 +16,7 @@
 # along with LinPy.  If not, see <http://www.gnu.org/licenses/>.
 
 import ctypes, ctypes.util
+import re
 
 from . import _islhelper
 from ._islhelper import *
@@ -38,7 +39,8 @@ libisl = ctypes.CDLL(ctypes.util.find_library('isl'))
 libisl.isl_dim_set = _islhelper.dim_set
 
 libisl.isl_version.restype = ctypes.c_char_p
-isl_version = libisl.isl_version().decode().strip()[len('isl-'):]
+isl_version = libisl.isl_version().decode().strip()
+isl_version = re.sub(r'^isl-', '', isl_version)
 
 
 mainctx = libisl.isl_ctx_alloc()