update isl for help message printing
[barvinok/uuh.git] / version.c
blob7f655a3676420e0d16b46d84d1fa206bdf135118
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 HAVE_GINAC
38 " +GINAC"
39 #else
40 " -GINAC"
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"