18 lines · c
1#include "isl_config.h"2#include "gitversion.h"3 4const char *isl_version(void)5{6 return GIT_HEAD_ID7#ifdef USE_GMP_FOR_MP8 "-GMP"9#endif10#ifdef USE_IMATH_FOR_MP11 "-IMath"12#ifdef USE_SMALL_INT_OPT13 "-32"14#endif15#endif16 "\n";17}18