repo.or.cz
/
barvinok.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
update isl for change in space of isl_pw_* objects
[barvinok.git]
/
version.c
blob
8385dd45a9184303775dd59791fdf7e13c95ebaa
1
#include <barvinok/util.h>
2
#include
"config.h"
3
#include
"version.h"
4
5
const char
*
barvinok_version
(
void
)
6
{
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
"
63
;
64
}