repo.or.cz
/
barvinok
/
uuh.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
configure.in: add isl flags and libs to pkg-config file
[barvinok/uuh.git]
/
version.c
blob
7f655a3676420e0d16b46d84d1fa206bdf135118
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_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
"
58
;
59
}