Sign in
llvm
/
polly
/
b4877d0d934b32ca3a571f1640ee3d8cc8823657
/
.
/
final
/
lib
/
External
/
isl
/
isl_version.c
blob: 114323d64f23511bb4753d6bcee27debadc4cf91 [
file
] [
log
] [
blame
]
#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"
;
}