1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
2 <?fileVersion 4.0.0?><cproject storage_type_id="org.eclipse.cdt.core.XmlProjectDescriptionStorage">
3 <storageModule moduleId="org.eclipse.cdt.core.settings">
4 <cconfiguration id="cdt.managedbuild.toolchain.gnu.base.1461790692">
5 <storageModule buildSystemId="org.eclipse.cdt.managedbuilder.core.configurationDataProvider" id="cdt.managedbuild.toolchain.gnu.base.1461790692" moduleId="org.eclipse.cdt.core.settings" name="Default">
8 <extension id="org.eclipse.cdt.core.ELF" point="org.eclipse.cdt.core.BinaryParser"/>
9 <extension id="org.eclipse.cdt.core.GCCErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
10 <extension id="org.eclipse.cdt.core.GASErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
11 <extension id="org.eclipse.cdt.core.GLDErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
12 <extension id="org.eclipse.cdt.core.GmakeErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
13 <extension id="org.eclipse.cdt.core.CWDLocator" point="org.eclipse.cdt.core.ErrorParser"/>
16 <storageModule moduleId="cdtBuildSystem" version="4.0.0">
17 <configuration artifactName="cvc4" buildProperties="" description="" id="cdt.managedbuild.toolchain.gnu.base.1461790692" name="Default" parent="org.eclipse.cdt.build.core.emptycfg">
18 <folderInfo id="cdt.managedbuild.toolchain.gnu.base.1461790692.1059214216" name="/" resourcePath="">
19 <toolChain id="cdt.managedbuild.toolchain.gnu.base.1311293674" name="cdt.managedbuild.toolchain.gnu.base" superClass="cdt.managedbuild.toolchain.gnu.base">
20 <targetPlatform archList="all" binaryParser="org.eclipse.cdt.core.ELF" id="cdt.managedbuild.target.gnu.platform.base.1799734525" name="Debug Platform" osList="linux,hpux,aix,qnx" superClass="cdt.managedbuild.target.gnu.platform.base"/>
21 <builder buildPath="${workspace_loc/cvc4/}" id="cdt.managedbuild.target.gnu.builder.base.549477204" incrementalBuildTarget="all" keepEnvironmentInBuildfile="false" managedBuildOn="false" name="Gnu Make Builder" parallelBuildOn="true" parallelizationNumber="10" superClass="cdt.managedbuild.target.gnu.builder.base">
23 <entry flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="outputPath" name=""/>
26 <tool id="cdt.managedbuild.tool.gnu.archiver.base.888684090" name="GCC Archiver" superClass="cdt.managedbuild.tool.gnu.archiver.base"/>
27 <tool id="cdt.managedbuild.tool.gnu.cpp.compiler.base.1803857875" name="GCC C++ Compiler" superClass="cdt.managedbuild.tool.gnu.cpp.compiler.base">
28 <inputType id="cdt.managedbuild.tool.gnu.cpp.compiler.input.1333398893" superClass="cdt.managedbuild.tool.gnu.cpp.compiler.input"/>
30 <tool id="cdt.managedbuild.tool.gnu.c.compiler.base.1860041504" name="GCC C Compiler" superClass="cdt.managedbuild.tool.gnu.c.compiler.base">
31 <inputType id="cdt.managedbuild.tool.gnu.c.compiler.input.814325769" superClass="cdt.managedbuild.tool.gnu.c.compiler.input"/>
33 <tool id="cdt.managedbuild.tool.gnu.c.linker.base.1687463194" name="GCC C Linker" superClass="cdt.managedbuild.tool.gnu.c.linker.base"/>
34 <tool id="cdt.managedbuild.tool.gnu.cpp.linker.base.709612973" name="GCC C++ Linker" superClass="cdt.managedbuild.tool.gnu.cpp.linker.base">
35 <inputType id="cdt.managedbuild.tool.gnu.cpp.linker.input.399338768" superClass="cdt.managedbuild.tool.gnu.cpp.linker.input">
36 <additionalInput kind="additionalinputdependency" paths="$(USER_OBJS)"/>
37 <additionalInput kind="additionalinput" paths="$(LIBS)"/>
40 <tool id="cdt.managedbuild.tool.gnu.assembler.base.1211277012" name="GCC Assembler" superClass="cdt.managedbuild.tool.gnu.assembler.base">
41 <inputType id="cdt.managedbuild.tool.gnu.assembler.input.330956883" superClass="cdt.managedbuild.tool.gnu.assembler.input"/>
46 <entry excluding="prop|parser|smt2" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/>
50 <storageModule moduleId="org.eclipse.cdt.core.externalSettings"/>
51 <storageModule moduleId="org.eclipse.cdt.internal.ui.text.commentOwnerProjectMappings"/>
52 <storageModule moduleId="org.eclipse.cdt.core.language.mapping"/>
55 <storageModule moduleId="cdtBuildSystem" version="4.0.0">
56 <project id="cvc4.null.1129006228" name="cvc4"/>
58 <storageModule moduleId="refreshScope" versionNumber="1">
59 <resource resourceType="PROJECT" workspacePath="/cvc4-trunk"/>
61 <storageModule moduleId="scannerConfiguration">
62 <autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId=""/>
63 <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile">
65 <openAction enabled="true" filePath=""/>
66 <parser enabled="true"/>
67 </buildOutputProvider>
68 <scannerInfoProvider id="specsFile">
69 <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
70 <parser enabled="true"/>
71 </scannerInfoProvider>
73 <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile">
75 <openAction enabled="true" filePath=""/>
76 <parser enabled="true"/>
77 </buildOutputProvider>
78 <scannerInfoProvider id="makefileGenerator">
79 <runAction arguments="-f ${project_name}_scd.mk" command="make" useDefault="true"/>
80 <parser enabled="true"/>
81 </scannerInfoProvider>
83 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile">
85 <openAction enabled="true" filePath=""/>
86 <parser enabled="true"/>
87 </buildOutputProvider>
88 <scannerInfoProvider id="specsFile">
89 <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
90 <parser enabled="true"/>
91 </scannerInfoProvider>
93 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP">
95 <openAction enabled="true" filePath=""/>
96 <parser enabled="true"/>
97 </buildOutputProvider>
98 <scannerInfoProvider id="specsFile">
99 <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/>
100 <parser enabled="true"/>
101 </scannerInfoProvider>
103 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC">
104 <buildOutputProvider>
105 <openAction enabled="true" filePath=""/>
106 <parser enabled="true"/>
107 </buildOutputProvider>
108 <scannerInfoProvider id="specsFile">
109 <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/>
110 <parser enabled="true"/>
111 </scannerInfoProvider>
113 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile">
114 <buildOutputProvider>
115 <openAction enabled="true" filePath=""/>
116 <parser enabled="true"/>
117 </buildOutputProvider>
118 <scannerInfoProvider id="specsFile">
119 <runAction arguments="-c 'gcc -E -P -v -dD "${plugin_state_location}/${specs_file}"'" command="sh" useDefault="true"/>
120 <parser enabled="true"/>
121 </scannerInfoProvider>
123 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP">
124 <buildOutputProvider>
125 <openAction enabled="true" filePath=""/>
126 <parser enabled="true"/>
127 </buildOutputProvider>
128 <scannerInfoProvider id="specsFile">
129 <runAction arguments="-c 'g++ -E -P -v -dD "${plugin_state_location}/specs.cpp"'" command="sh" useDefault="true"/>
130 <parser enabled="true"/>
131 </scannerInfoProvider>
133 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC">
134 <buildOutputProvider>
135 <openAction enabled="true" filePath=""/>
136 <parser enabled="true"/>
137 </buildOutputProvider>
138 <scannerInfoProvider id="specsFile">
139 <runAction arguments="-c 'gcc -E -P -v -dD "${plugin_state_location}/specs.c"'" command="sh" useDefault="true"/>
140 <parser enabled="true"/>
141 </scannerInfoProvider>
143 <scannerConfigBuildInfo instanceId="cdt.managedbuild.toolchain.gnu.base.1461790692;cdt.managedbuild.toolchain.gnu.base.1461790692.1059214216;cdt.managedbuild.tool.gnu.cpp.compiler.base.1803857875;cdt.managedbuild.tool.gnu.cpp.compiler.input.1333398893">
144 <autodiscovery enabled="true" problemReportingEnabled="false" selectedProfileId="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP"/>
145 <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile">
146 <buildOutputProvider>
147 <openAction enabled="true" filePath=""/>
148 <parser enabled="true"/>
149 </buildOutputProvider>
150 <scannerInfoProvider id="specsFile">
151 <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
152 <parser enabled="true"/>
153 </scannerInfoProvider>
155 <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile">
156 <buildOutputProvider>
157 <openAction enabled="true" filePath=""/>
158 <parser enabled="true"/>
159 </buildOutputProvider>
160 <scannerInfoProvider id="makefileGenerator">
161 <runAction arguments="-f ${project_name}_scd.mk" command="make" useDefault="true"/>
162 <parser enabled="true"/>
163 </scannerInfoProvider>
165 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile">
166 <buildOutputProvider>
167 <openAction enabled="true" filePath=""/>
168 <parser enabled="true"/>
169 </buildOutputProvider>
170 <scannerInfoProvider id="specsFile">
171 <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
172 <parser enabled="true"/>
173 </scannerInfoProvider>
175 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP">
176 <buildOutputProvider>
177 <openAction enabled="true" filePath=""/>
178 <parser enabled="true"/>
179 </buildOutputProvider>
180 <scannerInfoProvider id="specsFile">
181 <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/>
182 <parser enabled="true"/>
183 </scannerInfoProvider>
185 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC">
186 <buildOutputProvider>
187 <openAction enabled="true" filePath=""/>
188 <parser enabled="true"/>
189 </buildOutputProvider>
190 <scannerInfoProvider id="specsFile">
191 <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/>
192 <parser enabled="true"/>
193 </scannerInfoProvider>
195 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile">
196 <buildOutputProvider>
197 <openAction enabled="true" filePath=""/>
198 <parser enabled="true"/>
199 </buildOutputProvider>
200 <scannerInfoProvider id="specsFile">
201 <runAction arguments="-c 'gcc -E -P -v -dD "${plugin_state_location}/${specs_file}"'" command="sh" useDefault="true"/>
202 <parser enabled="true"/>
203 </scannerInfoProvider>
205 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP">
206 <buildOutputProvider>
207 <openAction enabled="true" filePath=""/>
208 <parser enabled="true"/>
209 </buildOutputProvider>
210 <scannerInfoProvider id="specsFile">
211 <runAction arguments="-c 'g++ -E -P -v -dD "${plugin_state_location}/specs.cpp"'" command="sh" useDefault="true"/>
212 <parser enabled="true"/>
213 </scannerInfoProvider>
215 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC">
216 <buildOutputProvider>
217 <openAction enabled="true" filePath=""/>
218 <parser enabled="true"/>
219 </buildOutputProvider>
220 <scannerInfoProvider id="specsFile">
221 <runAction arguments="-c 'gcc -E -P -v -dD "${plugin_state_location}/specs.c"'" command="sh" useDefault="true"/>
222 <parser enabled="true"/>
223 </scannerInfoProvider>
225 </scannerConfigBuildInfo>
226 <scannerConfigBuildInfo instanceId="cdt.managedbuild.toolchain.gnu.base.1461790692;cdt.managedbuild.toolchain.gnu.base.1461790692.1059214216;cdt.managedbuild.tool.gnu.c.compiler.base.1860041504;cdt.managedbuild.tool.gnu.c.compiler.input.814325769">
227 <autodiscovery enabled="true" problemReportingEnabled="false" selectedProfileId="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC"/>
228 <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile">
229 <buildOutputProvider>
230 <openAction enabled="true" filePath=""/>
231 <parser enabled="true"/>
232 </buildOutputProvider>
233 <scannerInfoProvider id="specsFile">
234 <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
235 <parser enabled="true"/>
236 </scannerInfoProvider>
238 <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile">
239 <buildOutputProvider>
240 <openAction enabled="true" filePath=""/>
241 <parser enabled="true"/>
242 </buildOutputProvider>
243 <scannerInfoProvider id="makefileGenerator">
244 <runAction arguments="-f ${project_name}_scd.mk" command="make" useDefault="true"/>
245 <parser enabled="true"/>
246 </scannerInfoProvider>
248 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile">
249 <buildOutputProvider>
250 <openAction enabled="true" filePath=""/>
251 <parser enabled="true"/>
252 </buildOutputProvider>
253 <scannerInfoProvider id="specsFile">
254 <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
255 <parser enabled="true"/>
256 </scannerInfoProvider>
258 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP">
259 <buildOutputProvider>
260 <openAction enabled="true" filePath=""/>
261 <parser enabled="true"/>
262 </buildOutputProvider>
263 <scannerInfoProvider id="specsFile">
264 <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/>
265 <parser enabled="true"/>
266 </scannerInfoProvider>
268 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC">
269 <buildOutputProvider>
270 <openAction enabled="true" filePath=""/>
271 <parser enabled="true"/>
272 </buildOutputProvider>
273 <scannerInfoProvider id="specsFile">
274 <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/>
275 <parser enabled="true"/>
276 </scannerInfoProvider>
278 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile">
279 <buildOutputProvider>
280 <openAction enabled="true" filePath=""/>
281 <parser enabled="true"/>
282 </buildOutputProvider>
283 <scannerInfoProvider id="specsFile">
284 <runAction arguments="-c 'gcc -E -P -v -dD "${plugin_state_location}/${specs_file}"'" command="sh" useDefault="true"/>
285 <parser enabled="true"/>
286 </scannerInfoProvider>
288 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP">
289 <buildOutputProvider>
290 <openAction enabled="true" filePath=""/>
291 <parser enabled="true"/>
292 </buildOutputProvider>
293 <scannerInfoProvider id="specsFile">
294 <runAction arguments="-c 'g++ -E -P -v -dD "${plugin_state_location}/specs.cpp"'" command="sh" useDefault="true"/>
295 <parser enabled="true"/>
296 </scannerInfoProvider>
298 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC">
299 <buildOutputProvider>
300 <openAction enabled="true" filePath=""/>
301 <parser enabled="true"/>
302 </buildOutputProvider>
303 <scannerInfoProvider id="specsFile">
304 <runAction arguments="-c 'gcc -E -P -v -dD "${plugin_state_location}/specs.c"'" command="sh" useDefault="true"/>
305 <parser enabled="true"/>
306 </scannerInfoProvider>
308 </scannerConfigBuildInfo>
310 <storageModule moduleId="org.eclipse.cdt.make.core.buildtargets">
312 <target name="check" path="" targetID="org.eclipse.cdt.build.MakeTargetBuilder">
313 <buildCommand>make</buildCommand>
314 <buildArguments>-j10</buildArguments>
315 <buildTarget>check</buildTarget>
316 <stopOnError>true</stopOnError>
317 <useDefaultCommand>false</useDefaultCommand>
318 <runAllBuilders>true</runAllBuilders>
320 <target name="all" path="examples" targetID="org.eclipse.cdt.build.MakeTargetBuilder">
321 <buildCommand>make</buildCommand>
322 <buildArguments>-j10</buildArguments>
323 <buildTarget>all</buildTarget>
324 <stopOnError>true</stopOnError>
325 <useDefaultCommand>true</useDefaultCommand>
326 <runAllBuilders>true</runAllBuilders>
328 <target name="uf" path="src/theory/uf" targetID="org.eclipse.cdt.build.MakeTargetBuilder">
329 <buildCommand>make</buildCommand>
330 <buildArguments>-j2</buildArguments>
331 <stopOnError>true</stopOnError>
332 <useDefaultCommand>true</useDefaultCommand>
333 <runAllBuilders>true</runAllBuilders>
335 <target name="check" path="test/regress" targetID="org.eclipse.cdt.build.MakeTargetBuilder">
336 <buildCommand>make</buildCommand>
337 <buildArguments>-j10</buildArguments>
338 <buildTarget>check</buildTarget>
339 <stopOnError>true</stopOnError>
340 <useDefaultCommand>true</useDefaultCommand>
341 <runAllBuilders>true</runAllBuilders>
343 <target name="check" path="test/unit" targetID="org.eclipse.cdt.build.MakeTargetBuilder">
344 <buildCommand>make</buildCommand>
345 <buildArguments>-j10</buildArguments>
346 <buildTarget>check</buildTarget>
347 <stopOnError>true</stopOnError>
348 <useDefaultCommand>true</useDefaultCommand>
349 <runAllBuilders>true</runAllBuilders>
353 <storageModule moduleId="org.eclipse.cdt.core.LanguageSettingsProviders"/>