.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 <buildSystem id="preference.org.eclipse.cdt.managedbuilder.core.configurationDataProvider.1665182916">
   7 <storageModule id="preference.org.eclipse.cdt.managedbuilder.core.configurationDataProvider.1665182916" moduleId="org.eclipse.cdt.core.settings"/>
   8 </buildSystem>
   9 <cconfiguration id="preference.org.eclipse.cdt.managedbuilder.core.configurationDataProvider.1665182916">
  10 <storageModule moduleId="cdtBuildSystem" version="4.0.0">
  11 <configuration buildProperties="" description="Default Compile Mode" id="preference.org.eclipse.cdt.managedbuilder.core.configurationDataProvider.1665182916" name="Default" parent="org.eclipse.cdt.build.core.prefbase.cfg">
  12 <folderInfo id="preference.org.eclipse.cdt.managedbuilder.core.configurationDataProvider.1665182916." name="/" resourcePath="">
  13 <toolChain id="org.eclipse.cdt.build.core.prefbase.toolchain.1059693132" name="No ToolChain" resourceTypeBasedDiscovery="false" superClass="org.eclipse.cdt.build.core.prefbase.toolchain">
  14 <targetPlatform id="org.eclipse.cdt.build.core.prefbase.toolchain.1059693132.1347347451" name=""/>
  15 <builder id="org.eclipse.cdt.build.core.settings.default.builder.2117011086" keepEnvironmentInBuildfile="false" name="Gnu Make Builder" parallelBuildOn="true" parallelizationNumber="-1" superClass="org.eclipse.cdt.build.core.settings.default.builder"/>
  16 <tool id="org.eclipse.cdt.build.core.settings.holder.libs.1626792335" name="holder for library settings" superClass="org.eclipse.cdt.build.core.settings.holder.libs"/>
  17 <tool id="org.eclipse.cdt.build.core.settings.holder.1709197603" name="Assembly" superClass="org.eclipse.cdt.build.core.settings.holder">
  18 <inputType id="org.eclipse.cdt.build.core.settings.holder.inType.1475463766" languageId="org.eclipse.cdt.core.assembly" languageName="Assembly" sourceContentType="org.eclipse.cdt.core.asmSource" superClass="org.eclipse.cdt.build.core.settings.holder.inType"/>
  19 </tool>
  20 <tool id="org.eclipse.cdt.build.core.settings.holder.835106183" name="UPC" superClass="org.eclipse.cdt.build.core.settings.holder">
  21 <inputType id="org.eclipse.cdt.build.core.settings.holder.inType.1433577222" languageId="org.eclipse.cdt.core.parser.upc.upc" languageName="UPC" sourceContentType="org.eclipse.cdt.core.parser.upc.upcSource" superClass="org.eclipse.cdt.build.core.settings.holder.inType"/>
  22 </tool>
  23 <tool id="org.eclipse.cdt.build.core.settings.holder.1820868999" name="GNU C++" superClass="org.eclipse.cdt.build.core.settings.holder">
  24 <inputType id="org.eclipse.cdt.build.core.settings.holder.inType.81842681" languageId="org.eclipse.cdt.core.g++" languageName="GNU C++" sourceContentType="org.eclipse.cdt.core.cxxSource,org.eclipse.cdt.core.cxxHeader" superClass="org.eclipse.cdt.build.core.settings.holder.inType"/>
  25 </tool>
  26 <tool id="org.eclipse.cdt.build.core.settings.holder.1138692275" name="GNU C" superClass="org.eclipse.cdt.build.core.settings.holder">
  27 <inputType id="org.eclipse.cdt.build.core.settings.holder.inType.1285337363" languageId="org.eclipse.cdt.core.gcc" languageName="GNU C" sourceContentType="org.eclipse.cdt.core.cSource,org.eclipse.cdt.core.cHeader" superClass="org.eclipse.cdt.build.core.settings.holder.inType"/>
  28 </tool>
  29 </toolChain>
  30 </folderInfo>
  31 </configuration>
  32 </storageModule>
  33 <storageModule moduleId="scannerConfiguration"/>
  34 <storageModule buildSystemId="org.eclipse.cdt.managedbuilder.core.configurationDataProvider" id="preference.org.eclipse.cdt.managedbuilder.core.configurationDataProvider.1665182916" moduleId="org.eclipse.cdt.core.settings" name="Default">
  35 <externalSettings/>
  36 <extensions>
  37 <extension id="org.eclipse.cdt.core.VCErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
  38 <extension id="org.eclipse.cdt.core.MakeErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
  39 <extension id="org.eclipse.cdt.core.GCCErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
  40 <extension id="org.eclipse.cdt.core.GASErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
  41 <extension id="org.eclipse.cdt.core.GLDErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
  42 </extensions>
  43 </storageModule>
  44 <storageModule moduleId="org.eclipse.cdt.core.externalSettings"/>
  45 <storageModule moduleId="org.eclipse.cdt.make.core.buildtargets"/>
  46 </cconfiguration>
  47 <cconfiguration id="preference.org.eclipse.cdt.managedbuilder.core.configurationDataProvider.1665182916.1183369816">
  48 <storageModule moduleId="cdtBuildSystem" version="4.0.0">
  49 <configuration buildProperties="" description="Build the parser" id="preference.org.eclipse.cdt.managedbuilder.core.configurationDataProvider.1665182916.1183369816" name="Parser" parent="org.eclipse.cdt.build.core.prefbase.cfg">
  50 <folderInfo id="preference.org.eclipse.cdt.managedbuilder.core.configurationDataProvider.1665182916.1183369816." name="/" resourcePath="">
  51 <toolChain id="org.eclipse.cdt.build.core.prefbase.toolchain.137865064" name="No ToolChain" resourceTypeBasedDiscovery="false" superClass="org.eclipse.cdt.build.core.prefbase.toolchain">
  52 <targetPlatform id="org.eclipse.cdt.build.core.prefbase.toolchain.137865064.690995676" name=""/>
  53 <builder buildPath="${workspace_loc:/cvc4/src/parser}" id="org.eclipse.cdt.build.core.settings.default.builder.13571035" keepEnvironmentInBuildfile="false" name="Gnu Make Builder" parallelBuildOn="true" parallelizationNumber="-1" superClass="org.eclipse.cdt.build.core.settings.default.builder"/>
  54 <tool id="org.eclipse.cdt.build.core.settings.holder.libs.295833049" name="holder for library settings" superClass="org.eclipse.cdt.build.core.settings.holder.libs"/>
  55 <tool id="org.eclipse.cdt.build.core.settings.holder.836295828" name="Assembly" superClass="org.eclipse.cdt.build.core.settings.holder">
  56 <inputType id="org.eclipse.cdt.build.core.settings.holder.inType.2114628394" languageId="org.eclipse.cdt.core.assembly" languageName="Assembly" sourceContentType="org.eclipse.cdt.core.asmSource" superClass="org.eclipse.cdt.build.core.settings.holder.inType"/>
  57 </tool>
  58 <tool id="org.eclipse.cdt.build.core.settings.holder.1316224646" name="UPC" superClass="org.eclipse.cdt.build.core.settings.holder">
  59 <inputType id="org.eclipse.cdt.build.core.settings.holder.inType.1557914541" languageId="org.eclipse.cdt.core.parser.upc.upc" languageName="UPC" sourceContentType="org.eclipse.cdt.core.parser.upc.upcSource" superClass="org.eclipse.cdt.build.core.settings.holder.inType"/>
  60 </tool>
  61 <tool id="org.eclipse.cdt.build.core.settings.holder.422183358" name="GNU C++" superClass="org.eclipse.cdt.build.core.settings.holder">
  62 <inputType id="org.eclipse.cdt.build.core.settings.holder.inType.479022148" languageId="org.eclipse.cdt.core.g++" languageName="GNU C++" sourceContentType="org.eclipse.cdt.core.cxxSource,org.eclipse.cdt.core.cxxHeader" superClass="org.eclipse.cdt.build.core.settings.holder.inType"/>
  63 </tool>
  64 <tool id="org.eclipse.cdt.build.core.settings.holder.1655487482" name="GNU C" superClass="org.eclipse.cdt.build.core.settings.holder">
  65 <inputType id="org.eclipse.cdt.build.core.settings.holder.inType.450208448" languageId="org.eclipse.cdt.core.gcc" languageName="GNU C" sourceContentType="org.eclipse.cdt.core.cSource,org.eclipse.cdt.core.cHeader" superClass="org.eclipse.cdt.build.core.settings.holder.inType"/>
  66 </tool>
  67 </toolChain>
  68 </folderInfo>
  69 </configuration>
  70 </storageModule>
  71 <storageModule moduleId="scannerConfiguration"/>
  72 <storageModule buildSystemId="org.eclipse.cdt.managedbuilder.core.configurationDataProvider" id="preference.org.eclipse.cdt.managedbuilder.core.configurationDataProvider.1665182916.1183369816" moduleId="org.eclipse.cdt.core.settings" name="Parser">
  73 <externalSettings/>
  74 <extensions>
  75 <extension id="org.eclipse.cdt.core.VCErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
  76 <extension id="org.eclipse.cdt.core.MakeErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
  77 <extension id="org.eclipse.cdt.core.GCCErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
  78 <extension id="org.eclipse.cdt.core.GASErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
  79 <extension id="org.eclipse.cdt.core.GLDErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
  80 </extensions>
  81 </storageModule>
  82 <storageModule moduleId="org.eclipse.cdt.core.externalSettings"/>
  83 <storageModule moduleId="org.eclipse.cdt.make.core.buildtargets"/>
  84 </cconfiguration>
  85 </storageModule>
  86 <storageModule moduleId="cdtBuildSystem" version="4.0.0">
  87 <project id="cvc4.null.233072613" name="cvc4"/>
  88 </storageModule>
  89 </cproject>