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
tests/ehrhart_e/**/seghir-*: mention contributor
[barvinok.git]
/
version.c
blob
b131cc55e9f633633874ebf0ef3ec32b6434bc04
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_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
"
53
;
54
}