update isl to version 0.11
[barvinok.git] / version.c
blob8c2b321aaa697d8b31b2c4b42b9471f63c9b3421
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 POINTS2TRIANGS_PATH
43 " +TOPCOM"
44 #else
45 " -TOPCOM"
46 #endif
47 #ifdef USE_ZSOLVE
48 " +ZSOLVE"
49 #else
50 " -ZSOLVE"
51 #endif
52 #ifdef USE_PARKER
53 " +PARKER"
54 #else
55 " -PARKER"
56 #endif
57 "\n"