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="false" parallelizationNumber="-1" superClass="cdt.managedbuild.target.gnu.builder.base"/>
23 <tool id="cdt.managedbuild.tool.gnu.archiver.base.888684090" name="GCC Archiver" superClass="cdt.managedbuild.tool.gnu.archiver.base"/>
24 <tool id="cdt.managedbuild.tool.gnu.cpp.compiler.base.1803857875" name="GCC C++ Compiler" superClass="cdt.managedbuild.tool.gnu.cpp.compiler.base">
25 <inputType id="cdt.managedbuild.tool.gnu.cpp.compiler.input.1333398893" superClass="cdt.managedbuild.tool.gnu.cpp.compiler.input"/>
27 <tool id="cdt.managedbuild.tool.gnu.c.compiler.base.1860041504" name="GCC C Compiler" superClass="cdt.managedbuild.tool.gnu.c.compiler.base">
28 <inputType id="cdt.managedbuild.tool.gnu.c.compiler.input.814325769" superClass="cdt.managedbuild.tool.gnu.c.compiler.input"/>
30 <tool id="cdt.managedbuild.tool.gnu.c.linker.base.1687463194" name="GCC C Linker" superClass="cdt.managedbuild.tool.gnu.c.linker.base"/>
31 <tool id="cdt.managedbuild.tool.gnu.cpp.linker.base.709612973" name="GCC C++ Linker" superClass="cdt.managedbuild.tool.gnu.cpp.linker.base">
32 <inputType id="cdt.managedbuild.tool.gnu.cpp.linker.input.399338768" superClass="cdt.managedbuild.tool.gnu.cpp.linker.input">
33 <additionalInput kind="additionalinputdependency" paths="$(USER_OBJS)"/>
34 <additionalInput kind="additionalinput" paths="$(LIBS)"/>
37 <tool id="cdt.managedbuild.tool.gnu.assembler.base.1211277012" name="GCC Assembler" superClass="cdt.managedbuild.tool.gnu.assembler.base">
38 <inputType id="cdt.managedbuild.tool.gnu.assembler.input.330956883" superClass="cdt.managedbuild.tool.gnu.assembler.input"/>
44 <storageModule moduleId="scannerConfiguration">
45 <autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId=""/>
46 <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile">
48 <openAction enabled="true" filePath=""/>
49 <parser enabled="true"/>
50 </buildOutputProvider>
51 <scannerInfoProvider id="specsFile">
52 <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
53 <parser enabled="true"/>
54 </scannerInfoProvider>
56 <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile">
58 <openAction enabled="true" filePath=""/>
59 <parser enabled="true"/>
60 </buildOutputProvider>
61 <scannerInfoProvider id="makefileGenerator">
62 <runAction arguments="-f ${project_name}_scd.mk" command="make" useDefault="true"/>
63 <parser enabled="true"/>
64 </scannerInfoProvider>
66 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile">
68 <openAction enabled="true" filePath=""/>
69 <parser enabled="true"/>
70 </buildOutputProvider>
71 <scannerInfoProvider id="specsFile">
72 <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
73 <parser enabled="true"/>
74 </scannerInfoProvider>
76 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP">
78 <openAction enabled="true" filePath=""/>
79 <parser enabled="true"/>
80 </buildOutputProvider>
81 <scannerInfoProvider id="specsFile">
82 <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/>
83 <parser enabled="true"/>
84 </scannerInfoProvider>
86 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC">
88 <openAction enabled="true" filePath=""/>
89 <parser enabled="true"/>
90 </buildOutputProvider>
91 <scannerInfoProvider id="specsFile">
92 <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/>
93 <parser enabled="true"/>
94 </scannerInfoProvider>
96 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile">
98 <openAction enabled="true" filePath=""/>
99 <parser enabled="true"/>
100 </buildOutputProvider>
101 <scannerInfoProvider id="specsFile">
102 <runAction arguments="-c 'gcc -E -P -v -dD "${plugin_state_location}/${specs_file}"'" command="sh" useDefault="true"/>
103 <parser enabled="true"/>
104 </scannerInfoProvider>
106 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP">
107 <buildOutputProvider>
108 <openAction enabled="true" filePath=""/>
109 <parser enabled="true"/>
110 </buildOutputProvider>
111 <scannerInfoProvider id="specsFile">
112 <runAction arguments="-c 'g++ -E -P -v -dD "${plugin_state_location}/specs.cpp"'" command="sh" useDefault="true"/>
113 <parser enabled="true"/>
114 </scannerInfoProvider>
116 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC">
117 <buildOutputProvider>
118 <openAction enabled="true" filePath=""/>
119 <parser enabled="true"/>
120 </buildOutputProvider>
121 <scannerInfoProvider id="specsFile">
122 <runAction arguments="-c 'gcc -E -P -v -dD "${plugin_state_location}/specs.c"'" command="sh" useDefault="true"/>
123 <parser enabled="true"/>
124 </scannerInfoProvider>
126 <profile id="org.eclipse.cdt.managedbuilder.xlc.core.XLCManagedMakePerProjectProfile">
127 <buildOutputProvider>
128 <openAction enabled="false" filePath=""/>
129 <parser enabled="false"/>
130 </buildOutputProvider>
131 <scannerInfoProvider id="specsFile">
132 <runAction arguments="-E -v ${plugin_state_location}/${specs_file}" command="${XL_compilerRoot}/xlc" useDefault="true"/>
133 <parser enabled="true"/>
134 </scannerInfoProvider>
136 <profile id="org.eclipse.cdt.managedbuilder.xlc.core.XLCManagedMakePerProjectProfileCPP">
137 <buildOutputProvider>
138 <openAction enabled="false" filePath=""/>
139 <parser enabled="false"/>
140 </buildOutputProvider>
141 <scannerInfoProvider id="specsFile">
142 <runAction arguments="-E -v ${plugin_state_location}/${specs_file}" command="${XL_compilerRoot}/xlC" useDefault="true"/>
143 <parser enabled="true"/>
144 </scannerInfoProvider>
147 <storageModule moduleId="org.eclipse.cdt.core.externalSettings"/>
148 <storageModule moduleId="org.eclipse.cdt.internal.ui.text.commentOwnerProjectMappings"/>
149 <storageModule moduleId="org.eclipse.cdt.core.language.mapping"/>
150 <storageModule moduleId="org.eclipse.cdt.make.core.buildtargets"/>
153 <storageModule moduleId="cdtBuildSystem" version="4.0.0">
154 <project id="cvc4.null.1129006228" name="cvc4"/>