blob: c13b63e3fe3cf359da86bcf5a13f7a4fad6c043b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
|
/********************* */
/*! \file configuration.cpp
** \verbatim
** Original author: mdeters
** Major contributors: none
** Minor contributors (to current version): acsys, cconway
** This file is part of the CVC4 prototype.
** Copyright (c) 2009, 2010, 2011 The Analysis of Computer Systems Group (ACSys)
** Courant Institute of Mathematical Sciences
** New York University
** See the file COPYING in the top-level source directory for licensing
** information.\endverbatim
**
** \brief Implementation of Configuration class, which provides compile-time
** configuration information about the CVC4 library
**
** Implementation of Configuration class, which provides compile-time
** configuration information about the CVC4 library.
**/
#include <string>
#include <sstream>
#include "util/configuration.h"
#include "util/configuration_private.h"
#include "cvc4autoconfig.h"
using namespace std;
namespace CVC4 {
string Configuration::getName() {
return PACKAGE_NAME;
}
bool Configuration::isDebugBuild() {
return IS_DEBUG_BUILD;
}
bool Configuration::isStatisticsBuild() {
return IS_STATISTICS_BUILD;
}
bool Configuration::isReplayBuild() {
return IS_REPLAY_BUILD;
}
bool Configuration::isTracingBuild() {
return IS_TRACING_BUILD;
}
bool Configuration::isDumpingBuild() {
return IS_DUMPING_BUILD;
}
bool Configuration::isMuzzledBuild() {
return IS_MUZZLED_BUILD;
}
bool Configuration::isAssertionBuild() {
return IS_ASSERTIONS_BUILD;
}
bool Configuration::isCoverageBuild() {
return IS_COVERAGE_BUILD;
}
bool Configuration::isProfilingBuild() {
return IS_PROFILING_BUILD;
}
bool Configuration::isCompetitionBuild() {
return IS_COMPETITION_BUILD;
}
string Configuration::getPackageName() {
return PACKAGE_NAME;
}
string Configuration::getVersionString() {
return CVC4_RELEASE_STRING;
}
unsigned Configuration::getVersionMajor() {
return CVC4_MAJOR;
}
unsigned Configuration::getVersionMinor() {
return CVC4_MINOR;
}
unsigned Configuration::getVersionRelease() {
return CVC4_RELEASE;
}
std::string Configuration::getVersionExtra() {
return CVC4_EXTRAVERSION;
}
std::string Configuration::about() {
return CVC4_ABOUT_STRING;
}
bool Configuration::isBuiltWithGmp() {
return IS_GMP_BUILD;
}
bool Configuration::isBuiltWithCln() {
return IS_CLN_BUILD;
}
bool Configuration::isBuiltWithCudd() {
return IS_CUDD_BUILD;
}
bool Configuration::isBuiltWithTlsSupport() {
return USING_TLS;
}
bool Configuration::isSubversionBuild() {
return IS_SUBVERSION_BUILD;
}
const char* Configuration::getSubversionBranchName() {
return SUBVERSION_BRANCH_NAME;
}
unsigned Configuration::getSubversionRevision() {
return SUBVERSION_REVISION;
}
bool Configuration::hasSubversionModifications() {
return SUBVERSION_HAS_MODIFICATIONS;
}
string Configuration::getSubversionId() {
if(! isSubversionBuild()) {
return "";
}
stringstream ss;
ss << "subversion " << getSubversionBranchName() << " r" << getSubversionRevision()
<< ( ::CVC4::Configuration::hasSubversionModifications() ? " (with modifications)" : "" );
return ss.str();
}
}/* CVC4 namespace */
|
