Merge branch 'maint'
[isl.git] / isl_version.c
blob114323d64f23511bb4753d6bcee27debadc4cf91
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 #ifdef USE_SMALL_INT_OPT
13 "-32"
14 #endif
15 #endif
16 "\n";