projects
/
linpy.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Tests managed by setuptools
[linpy.git]
/
linpy
/
islhelper.py
diff --git
a/linpy/islhelper.py
b/linpy/islhelper.py
index
c38e734
..
b0dffe7
100644
(file)
--- 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
# along with LinPy. If not, see <http://www.gnu.org/licenses/>.
import ctypes, ctypes.util
+import re
from . import _islhelper
from ._islhelper import *
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
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()
mainctx = libisl.isl_ctx_alloc()