.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 <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"/>
  26 </tool>
  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"/>
  29 </tool>
  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)"/>
  35 </inputType>
  36 </tool>
  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"/>
  39 </tool>
  40 </toolChain>
  41 </folderInfo>
  42 </configuration>
  43 </storageModule>
  44 <storageModule moduleId="scannerConfiguration">
  45 <autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId=""/>
  46 <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile">
  47 <buildOutputProvider>
  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>
  55 </profile>
  56 <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile">
  57 <buildOutputProvider>
  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>
  65 </profile>
  66 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile">
  67 <buildOutputProvider>
  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>
  75 </profile>
  76 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP">
  77 <buildOutputProvider>
  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>
  85 </profile>
  86 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC">
  87 <buildOutputProvider>
  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>
  95 </profile>
  96 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile">
  97 <buildOutputProvider>
  98 <openAction enabled="true" filePath=""/>
  99 <parser enabled="true"/>
 100 </buildOutputProvider>
 101 <scannerInfoProvider id="specsFile">
 102 <runAction arguments="-c 'gcc -E -P -v -dD &quot;${plugin_state_location}/${specs_file}&quot;'" command="sh" useDefault="true"/>
 103 <parser enabled="true"/>
 104 </scannerInfoProvider>
 105 </profile>
 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 &quot;${plugin_state_location}/specs.cpp&quot;'" command="sh" useDefault="true"/>
 113 <parser enabled="true"/>
 114 </scannerInfoProvider>
 115 </profile>
 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 &quot;${plugin_state_location}/specs.c&quot;'" command="sh" useDefault="true"/>
 123 <parser enabled="true"/>
 124 </scannerInfoProvider>
 125 </profile>
 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>
 135 </profile>
 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>
 145 </profile>
 146 </storageModule>
 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"/>
 151 </cconfiguration>
 152 </storageModule>
 153 <storageModule moduleId="cdtBuildSystem" version="4.0.0">
 154 <project id="cvc4.null.1129006228" name="cvc4"/>
 155 </storageModule>
 156 </cproject>