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
dpoly: mark some more arguments/methods const
[barvinok.git]
/
version.c
blob
01c644f0005df899faeab022578df2e3288f32bf
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_CORRECT_VERTICES
23
" +CORRECT_VERTICES"
24
#else
25
" -CORRECT_VERTICES"
26
#endif
27
#ifdef HAVE_PIPLIB
28
" +PIPLIB"
29
#else
30
" -PIPLIB"
31
#endif
32
#ifdef HAVE_OMEGA
33
" +OMEGA"
34
#else
35
" -OMEGA"
36
#endif
37
#ifdef HAVE_LIBCDDGMP
38
" +CDDLIB"
39
#else
40
" -CDDLIB"
41
#endif
42
#ifdef HAVE_LIBGLPK
43
" +GLPK"
44
#else
45
" -GLPK"
46
#endif
47
#ifdef HAVE_GINAC
48
" +GINAC"
49
#else
50
" -GINAC"
51
#endif
52
"
\n
"
53
;
54
}