update pet for support for recent versions of clang
[barvinok.git] / version.c
blobb131cc55e9f633633874ebf0ef3ec32b6434bc04
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_INCREMENTAL_BF
10 " INCREMENTAL=BF"
11 #elif defined USE_INCREMENTAL_DF
12 " INCREMENTAL=DF"
13 #else
14 " -INCREMENTAL"
15 #endif
16 "\n"
17 #ifdef HAVE_PET
18 " +PET"
19 #else
20 " -PET"
21 #endif
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"