isl_version.c 227 B

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