Line data    Source code

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