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