#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"

#endif

	"\n";

}