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