isl_version.c

   1 #include "isl_config.h"
   2 #include "gitversion.h"
   3
   4 const 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 }