update isl for change in space of isl_pw_* objects
[barvinok.git] / version.c
blob8385dd45a9184303775dd59791fdf7e13c95ebaa
1 #include <barvinok/util.h>
2 #include "config.h"
3 #include "version.h"
5 const char *barvinok_version(void)
7 return
8 GIT_HEAD_ID"\n"
9 #ifdef USE_MODULO
10 " +MODULO"
11 #else
12 " -MODULO"
13 #endif
14 #ifdef USE_INCREMENTAL_BF
15 " INCREMENTAL=BF"
16 #elif defined USE_INCREMENTAL_DF
17 " INCREMENTAL=DF"
18 #else
19 " -INCREMENTAL"
20 #endif
21 "\n"
22 #ifdef HAVE_PET
23 " +PET"
24 #else
25 " -PET"
26 #endif
27 #ifdef HAVE_OMEGA
28 " +OMEGA"
29 #else
30 " -OMEGA"
31 #endif
32 #ifdef HAVE_LIBCDDGMP
33 " +CDDLIB"
34 #else
35 " -CDDLIB"
36 #endif
37 #ifdef HAVE_LIBGLPK
38 " +GLPK"
39 #else
40 " -GLPK"
41 #endif
42 #ifdef HAVE_CLOOG
43 " +CLOOG"
44 #else
45 " -CLOOG"
46 #endif
47 #ifdef POINTS2TRIANGS_PATH
48 " +TOPCOM"
49 #else
50 " -TOPCOM"
51 #endif
52 #ifdef USE_ZSOLVE
53 " +ZSOLVE"
54 #else
55 " -ZSOLVE"
56 #endif
57 #ifdef USE_PARKER
58 " +PARKER"
59 #else
60 " -PARKER"
61 #endif
62 "\n"