1*5971e316Smrg #include "isl_config.h" 2*5971e316Smrg #include "gitversion.h" 3*5971e316Smrg isl_version(void)4*5971e316Smrgconst char *isl_version(void) 5*5971e316Smrg { 6*5971e316Smrg return GIT_HEAD_ID 7*5971e316Smrg #ifdef USE_GMP_FOR_MP 8*5971e316Smrg "-GMP" 9*5971e316Smrg #endif 10*5971e316Smrg #ifdef USE_IMATH_FOR_MP 11*5971e316Smrg "-IMath" 12*5971e316Smrg #ifdef USE_SMALL_INT_OPT 13*5971e316Smrg "-32" 14*5971e316Smrg #endif 15*5971e316Smrg #endif 16*5971e316Smrg "\n"; 17*5971e316Smrg } 18