.cproject

   1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
   2 <?fileVersion 4.0.0?>
   3
   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">
   8 <externalSettings/>
   9 <extensions>
  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"/>
  15 </extensions>
  16 </storageModule>
  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 <outputEntries>
  24 <entry flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="outputPath" name=""/>
  25 </outputEntries>
  26 </builder>
  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"/>
  30 </tool>
  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"/>
  33 </tool>
  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)"/>
  39 </inputType>
  40 </tool>
  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"/>
  43 </tool>
  44 </toolChain>
  45 </folderInfo>
  46 <sourceEntries>
  47 <entry excluding="parser" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/>
  48 </sourceEntries>
  49 </configuration>
  50 </storageModule>
  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">
  55 <buildTargets>
  56 <target name="check" path="" targetID="org.eclipse.cdt.build.MakeTargetBuilder">
  57 <buildCommand>make</buildCommand>
  58 <buildArguments/>
  59 <buildTarget>check</buildTarget>
  60 <stopOnError>true</stopOnError>
  61 <useDefaultCommand>true</useDefaultCommand>
  62 <runAllBuilders>true</runAllBuilders>
  63 </target>
  64 </buildTargets>
  65 </storageModule>
  66 <storageModule moduleId="scannerConfiguration">
  67 <autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId=""/>
  68 <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile">
  69 <buildOutputProvider>
  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>
  77 </profile>
  78 <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile">
  79 <buildOutputProvider>
  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>
  87 </profile>
  88 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile">
  89 <buildOutputProvider>
  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>
  97 </profile>
  98 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP">
  99 <buildOutputProvider>
 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>
 107 </profile>
 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>
 117 </profile>
 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 &quot;${plugin_state_location}/${specs_file}&quot;'" command="sh" useDefault="true"/>
 125 <parser enabled="true"/>
 126 </scannerInfoProvider>
 127 </profile>
 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 &quot;${plugin_state_location}/specs.cpp&quot;'" command="sh" useDefault="true"/>
 135 <parser enabled="true"/>
 136 </scannerInfoProvider>
 137 </profile>
 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 &quot;${plugin_state_location}/specs.c&quot;'" command="sh" useDefault="true"/>
 145 <parser enabled="true"/>
 146 </scannerInfoProvider>
 147 </profile>
 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>
 159 </profile>
 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>
 169 </profile>
 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>
 179 </profile>
 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>
 189 </profile>
 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>
 199 </profile>
 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 &quot;${plugin_state_location}/${specs_file}&quot;'" command="sh" useDefault="true"/>
 207 <parser enabled="true"/>
 208 </scannerInfoProvider>
 209 </profile>
 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 &quot;${plugin_state_location}/specs.cpp&quot;'" command="sh" useDefault="true"/>
 217 <parser enabled="true"/>
 218 </scannerInfoProvider>
 219 </profile>
 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 &quot;${plugin_state_location}/specs.c&quot;'" command="sh" useDefault="true"/>
 227 <parser enabled="true"/>
 228 </scannerInfoProvider>
 229 </profile>
 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>
 242 </profile>
 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>
 252 </profile>
 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>
 262 </profile>
 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>
 272 </profile>
 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>
 282 </profile>
 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 &quot;${plugin_state_location}/${specs_file}&quot;'" command="sh" useDefault="true"/>
 290 <parser enabled="true"/>
 291 </scannerInfoProvider>
 292 </profile>
 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 &quot;${plugin_state_location}/specs.cpp&quot;'" command="sh" useDefault="true"/>
 300 <parser enabled="true"/>
 301 </scannerInfoProvider>
 302 </profile>
 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 &quot;${plugin_state_location}/specs.c&quot;'" command="sh" useDefault="true"/>
 310 <parser enabled="true"/>
 311 </scannerInfoProvider>
 312 </profile>
 313 </scannerConfigBuildInfo>
 314 </storageModule>
 315 </cconfiguration>
 316 </storageModule>
 317 <storageModule moduleId="cdtBuildSystem" version="4.0.0">
 318 <project id="cvc4.null.1129006228" name="cvc4"/>
 319 </storageModule>
 320 </cproject>