1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
4 <cproject storage_type_id="org.eclipse.cdt.core.XmlProjectDescriptionStorage">
5 <storageModule moduleId="org.eclipse.cdt.core.settings">
6 <cconfiguration id="cdt.managedbuild.toolchain.gnu.base.1461790692">
7 <storageModule buildSystemId="org.eclipse.cdt.managedbuilder.core.configurationDataProvider" id="cdt.managedbuild.toolchain.gnu.base.1461790692" moduleId="org.eclipse.cdt.core.settings" name="Default">
10 <extension id="org.eclipse.cdt.core.ELF" point="org.eclipse.cdt.core.BinaryParser"/>
11 <extension id="org.eclipse.cdt.core.MakeErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
12 <extension id="org.eclipse.cdt.core.GCCErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
13 <extension id="org.eclipse.cdt.core.GASErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
14 <extension id="org.eclipse.cdt.core.GLDErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
17 <storageModule moduleId="cdtBuildSystem" version="4.0.0">
18 <configuration artifactName="cvc4" buildProperties="" description="" id="cdt.managedbuild.toolchain.gnu.base.1461790692" name="Default" parent="org.eclipse.cdt.build.core.emptycfg">
19 <folderInfo id="cdt.managedbuild.toolchain.gnu.base.1461790692.1059214216" name="/" resourcePath="">
20 <toolChain id="cdt.managedbuild.toolchain.gnu.base.1311293674" name="cdt.managedbuild.toolchain.gnu.base" superClass="cdt.managedbuild.toolchain.gnu.base">
21 <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"/>
22 <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="2" superClass="cdt.managedbuild.target.gnu.builder.base">
24 <entry flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="outputPath" name=""/>
27 <tool id="cdt.managedbuild.tool.gnu.archiver.base.888684090" name="GCC Archiver" superClass="cdt.managedbuild.tool.gnu.archiver.base"/>
28 <tool id="cdt.managedbuild.tool.gnu.cpp.compiler.base.1803857875" name="GCC C++ Compiler" superClass="cdt.managedbuild.tool.gnu.cpp.compiler.base">
29 <inputType id="cdt.managedbuild.tool.gnu.cpp.compiler.input.1333398893" superClass="cdt.managedbuild.tool.gnu.cpp.compiler.input"/>
31 <tool id="cdt.managedbuild.tool.gnu.c.compiler.base.1860041504" name="GCC C Compiler" superClass="cdt.managedbuild.tool.gnu.c.compiler.base">
32 <inputType id="cdt.managedbuild.tool.gnu.c.compiler.input.814325769" superClass="cdt.managedbuild.tool.gnu.c.compiler.input"/>
34 <tool id="cdt.managedbuild.tool.gnu.c.linker.base.1687463194" name="GCC C Linker" superClass="cdt.managedbuild.tool.gnu.c.linker.base"/>
35 <tool id="cdt.managedbuild.tool.gnu.cpp.linker.base.709612973" name="GCC C++ Linker" superClass="cdt.managedbuild.tool.gnu.cpp.linker.base">
36 <inputType id="cdt.managedbuild.tool.gnu.cpp.linker.input.399338768" superClass="cdt.managedbuild.tool.gnu.cpp.linker.input">
37 <additionalInput kind="additionalinputdependency" paths="$(USER_OBJS)"/>
38 <additionalInput kind="additionalinput" paths="$(LIBS)"/>
41 <tool id="cdt.managedbuild.tool.gnu.assembler.base.1211277012" name="GCC Assembler" superClass="cdt.managedbuild.tool.gnu.assembler.base">
42 <inputType id="cdt.managedbuild.tool.gnu.assembler.input.330956883" superClass="cdt.managedbuild.tool.gnu.assembler.input"/>
47 <entry excluding="parser|smt2" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/>
51 <storageModule moduleId="org.eclipse.cdt.core.externalSettings"/>
52 <storageModule moduleId="org.eclipse.cdt.internal.ui.text.commentOwnerProjectMappings"/>
53 <storageModule moduleId="org.eclipse.cdt.core.language.mapping"/>
54 <storageModule moduleId="org.eclipse.cdt.make.core.buildtargets">
56 <target name="check" path="" targetID="org.eclipse.cdt.build.MakeTargetBuilder">
57 <buildCommand>make</buildCommand>
59 <buildTarget>check</buildTarget>
60 <stopOnError>true</stopOnError>
61 <useDefaultCommand>true</useDefaultCommand>
62 <runAllBuilders>true</runAllBuilders>
66 <storageModule moduleId="scannerConfiguration">
67 <autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId=""/>
68 <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile">
70 <openAction enabled="true" filePath=""/>
71 <parser enabled="true"/>
72 </buildOutputProvider>
73 <scannerInfoProvider id="specsFile">
74 <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
75 <parser enabled="true"/>
76 </scannerInfoProvider>
78 <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile">
80 <openAction enabled="true" filePath=""/>
81 <parser enabled="true"/>
82 </buildOutputProvider>
83 <scannerInfoProvider id="makefileGenerator">
84 <runAction arguments="-f ${project_name}_scd.mk" command="make" useDefault="true"/>
85 <parser enabled="true"/>
86 </scannerInfoProvider>
88 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile">
90 <openAction enabled="true" filePath=""/>
91 <parser enabled="true"/>
92 </buildOutputProvider>
93 <scannerInfoProvider id="specsFile">
94 <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
95 <parser enabled="true"/>
96 </scannerInfoProvider>
98 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP">
100 <openAction enabled="true" filePath=""/>
101 <parser enabled="true"/>
102 </buildOutputProvider>
103 <scannerInfoProvider id="specsFile">
104 <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/>
105 <parser enabled="true"/>
106 </scannerInfoProvider>
108 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC">
109 <buildOutputProvider>
110 <openAction enabled="true" filePath=""/>
111 <parser enabled="true"/>
112 </buildOutputProvider>
113 <scannerInfoProvider id="specsFile">
114 <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/>
115 <parser enabled="true"/>
116 </scannerInfoProvider>
118 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile">
119 <buildOutputProvider>
120 <openAction enabled="true" filePath=""/>
121 <parser enabled="true"/>
122 </buildOutputProvider>
123 <scannerInfoProvider id="specsFile">
124 <runAction arguments="-c 'gcc -E -P -v -dD "${plugin_state_location}/${specs_file}"'" command="sh" useDefault="true"/>
125 <parser enabled="true"/>
126 </scannerInfoProvider>
128 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP">
129 <buildOutputProvider>
130 <openAction enabled="true" filePath=""/>
131 <parser enabled="true"/>
132 </buildOutputProvider>
133 <scannerInfoProvider id="specsFile">
134 <runAction arguments="-c 'g++ -E -P -v -dD "${plugin_state_location}/specs.cpp"'" command="sh" useDefault="true"/>
135 <parser enabled="true"/>
136 </scannerInfoProvider>
138 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC">
139 <buildOutputProvider>
140 <openAction enabled="true" filePath=""/>
141 <parser enabled="true"/>
142 </buildOutputProvider>
143 <scannerInfoProvider id="specsFile">
144 <runAction arguments="-c 'gcc -E -P -v -dD "${plugin_state_location}/specs.c"'" command="sh" useDefault="true"/>
145 <parser enabled="true"/>
146 </scannerInfoProvider>
148 <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">
149 <autodiscovery enabled="true" problemReportingEnabled="false" selectedProfileId="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP"/>
150 <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile">
151 <buildOutputProvider>
152 <openAction enabled="true" filePath=""/>
153 <parser enabled="true"/>
154 </buildOutputProvider>
155 <scannerInfoProvider id="specsFile">
156 <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
157 <parser enabled="true"/>
158 </scannerInfoProvider>
160 <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile">
161 <buildOutputProvider>
162 <openAction enabled="true" filePath=""/>
163 <parser enabled="true"/>
164 </buildOutputProvider>
165 <scannerInfoProvider id="makefileGenerator">
166 <runAction arguments="-f ${project_name}_scd.mk" command="make" useDefault="true"/>
167 <parser enabled="true"/>
168 </scannerInfoProvider>
170 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile">
171 <buildOutputProvider>
172 <openAction enabled="true" filePath=""/>
173 <parser enabled="true"/>
174 </buildOutputProvider>
175 <scannerInfoProvider id="specsFile">
176 <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
177 <parser enabled="true"/>
178 </scannerInfoProvider>
180 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP">
181 <buildOutputProvider>
182 <openAction enabled="true" filePath=""/>
183 <parser enabled="true"/>
184 </buildOutputProvider>
185 <scannerInfoProvider id="specsFile">
186 <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/>
187 <parser enabled="true"/>
188 </scannerInfoProvider>
190 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC">
191 <buildOutputProvider>
192 <openAction enabled="true" filePath=""/>
193 <parser enabled="true"/>
194 </buildOutputProvider>
195 <scannerInfoProvider id="specsFile">
196 <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/>
197 <parser enabled="true"/>
198 </scannerInfoProvider>
200 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile">
201 <buildOutputProvider>
202 <openAction enabled="true" filePath=""/>
203 <parser enabled="true"/>
204 </buildOutputProvider>
205 <scannerInfoProvider id="specsFile">
206 <runAction arguments="-c 'gcc -E -P -v -dD "${plugin_state_location}/${specs_file}"'" command="sh" useDefault="true"/>
207 <parser enabled="true"/>
208 </scannerInfoProvider>
210 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP">
211 <buildOutputProvider>
212 <openAction enabled="true" filePath=""/>
213 <parser enabled="true"/>
214 </buildOutputProvider>
215 <scannerInfoProvider id="specsFile">
216 <runAction arguments="-c 'g++ -E -P -v -dD "${plugin_state_location}/specs.cpp"'" command="sh" useDefault="true"/>
217 <parser enabled="true"/>
218 </scannerInfoProvider>
220 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC">
221 <buildOutputProvider>
222 <openAction enabled="true" filePath=""/>
223 <parser enabled="true"/>
224 </buildOutputProvider>
225 <scannerInfoProvider id="specsFile">
226 <runAction arguments="-c 'gcc -E -P -v -dD "${plugin_state_location}/specs.c"'" command="sh" useDefault="true"/>
227 <parser enabled="true"/>
228 </scannerInfoProvider>
230 </scannerConfigBuildInfo>
231 <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">
232 <autodiscovery enabled="true" problemReportingEnabled="false" selectedProfileId="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC"/>
233 <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile">
234 <buildOutputProvider>
235 <openAction enabled="true" filePath=""/>
236 <parser enabled="true"/>
237 </buildOutputProvider>
238 <scannerInfoProvider id="specsFile">
239 <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
240 <parser enabled="true"/>
241 </scannerInfoProvider>
243 <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile">
244 <buildOutputProvider>
245 <openAction enabled="true" filePath=""/>
246 <parser enabled="true"/>
247 </buildOutputProvider>
248 <scannerInfoProvider id="makefileGenerator">
249 <runAction arguments="-f ${project_name}_scd.mk" command="make" useDefault="true"/>
250 <parser enabled="true"/>
251 </scannerInfoProvider>
253 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile">
254 <buildOutputProvider>
255 <openAction enabled="true" filePath=""/>
256 <parser enabled="true"/>
257 </buildOutputProvider>
258 <scannerInfoProvider id="specsFile">
259 <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
260 <parser enabled="true"/>
261 </scannerInfoProvider>
263 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP">
264 <buildOutputProvider>
265 <openAction enabled="true" filePath=""/>
266 <parser enabled="true"/>
267 </buildOutputProvider>
268 <scannerInfoProvider id="specsFile">
269 <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/>
270 <parser enabled="true"/>
271 </scannerInfoProvider>
273 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC">
274 <buildOutputProvider>
275 <openAction enabled="true" filePath=""/>
276 <parser enabled="true"/>
277 </buildOutputProvider>
278 <scannerInfoProvider id="specsFile">
279 <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/>
280 <parser enabled="true"/>
281 </scannerInfoProvider>
283 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile">
284 <buildOutputProvider>
285 <openAction enabled="true" filePath=""/>
286 <parser enabled="true"/>
287 </buildOutputProvider>
288 <scannerInfoProvider id="specsFile">
289 <runAction arguments="-c 'gcc -E -P -v -dD "${plugin_state_location}/${specs_file}"'" command="sh" useDefault="true"/>
290 <parser enabled="true"/>
291 </scannerInfoProvider>
293 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP">
294 <buildOutputProvider>
295 <openAction enabled="true" filePath=""/>
296 <parser enabled="true"/>
297 </buildOutputProvider>
298 <scannerInfoProvider id="specsFile">
299 <runAction arguments="-c 'g++ -E -P -v -dD "${plugin_state_location}/specs.cpp"'" command="sh" useDefault="true"/>
300 <parser enabled="true"/>
301 </scannerInfoProvider>
303 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC">
304 <buildOutputProvider>
305 <openAction enabled="true" filePath=""/>
306 <parser enabled="true"/>
307 </buildOutputProvider>
308 <scannerInfoProvider id="specsFile">
309 <runAction arguments="-c 'gcc -E -P -v -dD "${plugin_state_location}/specs.c"'" command="sh" useDefault="true"/>
310 <parser enabled="true"/>
311 </scannerInfoProvider>
313 </scannerConfigBuildInfo>
317 <storageModule moduleId="cdtBuildSystem" version="4.0.0">
318 <project id="cvc4.null.1129006228" name="cvc4"/>