1 #include "isl_config.h" 2 #include "gitversion.h" 3 isl_version(void)4const char *isl_version(void) 5 { 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"; 17 } 18