update isl for change in isl_hash_table_foreach
[barvinok.git] / version.c
blob890d1030a3710fdcae43bc4bfbb0d336a9a46cb7
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_OMEGA
23 " +OMEGA"
24 #else
25 " -OMEGA"
26 #endif
27 #ifdef HAVE_LIBCDDGMP
28 " +CDDLIB"
29 #else
30 " -CDDLIB"
31 #endif
32 #ifdef HAVE_LIBGLPK
33 " +GLPK"
34 #else
35 " -GLPK"
36 #endif
37 #ifdef POINTS2TRIANGS_PATH
38 " +TOPCOM"
39 #else
40 " -TOPCOM"
41 #endif
42 #ifdef USE_ZSOLVE
43 " +ZSOLVE"
44 #else
45 " -ZSOLVE"
46 #endif
47 #ifdef USE_PARKER
48 " +PARKER"
49 #else
50 " -PARKER"
51 #endif
52 "\n"