add isl_local_space_is_params
[isl.git] / isl_version.c
bloba7ddd9dc8f913f4da4e4ce736187797189116598
1 #include "isl_config.h"
2 #include "gitversion.h"
4 const char *isl_version(void)
6 return GIT_HEAD_ID
7 #ifdef USE_GMP_FOR_MP
8 "-GMP"
9 #endif
10 #ifdef USE_IMATH_FOR_MP
11 "-IMath"
12 #endif
13 "\n";