| 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 | } |
| 18 |