Skip to content
Snippets Groups Projects
Select Git revision
  • a7b5561e1a5f38dd18910089b1462729cda91b33
  • master default protected
  • klee
3 results

.cproject

Blame
  • .cproject 5.75 KiB
    <?xml version="1.0" encoding="UTF-8" standalone="no"?>
    <?fileVersion 4.0.0?><cproject storage_type_id="org.eclipse.cdt.core.XmlProjectDescriptionStorage">
    	<storageModule moduleId="org.eclipse.cdt.core.settings">
    		<cconfiguration id="0.924773280">
    			<storageModule buildSystemId="org.eclipse.cdt.managedbuilder.core.configurationDataProvider" id="0.924773280" moduleId="org.eclipse.cdt.core.settings" name="Default">
    				<externalSettings/>
    				<extensions>
    					<extension id="org.eclipse.cdt.core.GASErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
    					<extension id="org.eclipse.cdt.core.GmakeErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
    					<extension id="org.eclipse.cdt.core.GLDErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
    					<extension id="org.eclipse.cdt.core.VCErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
    					<extension id="org.eclipse.cdt.core.CWDLocator" point="org.eclipse.cdt.core.ErrorParser"/>
    					<extension id="org.eclipse.cdt.core.GCCErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
    				</extensions>
    			</storageModule>
    			<storageModule moduleId="cdtBuildSystem" version="4.0.0">
    				<configuration buildProperties="" description="" id="0.924773280" name="Default" parent="org.eclipse.cdt.build.core.prefbase.cfg">
    					<folderInfo id="0.924773280." name="/" resourcePath="">
    						<toolChain id="org.eclipse.cdt.build.core.prefbase.toolchain.1322702665" name="No ToolChain" resourceTypeBasedDiscovery="false" superClass="org.eclipse.cdt.build.core.prefbase.toolchain">
    							<targetPlatform id="org.eclipse.cdt.build.core.prefbase.toolchain.1322702665.401823297" name=""/>
    							<builder id="org.eclipse.cdt.build.core.settings.default.builder.1549424783" keepEnvironmentInBuildfile="false" managedBuildOn="false" name="Gnu Make Builder" superClass="org.eclipse.cdt.build.core.settings.default.builder"/>
    							<tool id="org.eclipse.cdt.build.core.settings.holder.libs.1667865142" name="holder for library settings" superClass="org.eclipse.cdt.build.core.settings.holder.libs"/>
    							<tool id="org.eclipse.cdt.build.core.settings.holder.2002589908" name="Assembly" superClass="org.eclipse.cdt.build.core.settings.holder">
    								<inputType id="org.eclipse.cdt.build.core.settings.holder.inType.1945728538" languageId="org.eclipse.cdt.core.assembly" languageName="Assembly" sourceContentType="org.eclipse.cdt.core.asmSource" superClass="org.eclipse.cdt.build.core.settings.holder.inType"/>
    							</tool>
    							<tool id="org.eclipse.cdt.build.core.settings.holder.394462868" name="GNU C++" superClass="org.eclipse.cdt.build.core.settings.holder">
    								<inputType id="org.eclipse.cdt.build.core.settings.holder.inType.863654078" 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"/>
    							</tool>
    							<tool id="org.eclipse.cdt.build.core.settings.holder.1079265781" name="GNU C" superClass="org.eclipse.cdt.build.core.settings.holder">
    								<inputType id="org.eclipse.cdt.build.core.settings.holder.inType.1231189048" 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"/>
    							</tool>
    							<tool id="org.eclipse.cdt.build.core.settings.holder.620507923" name="LLVM bytecode assembly" superClass="org.eclipse.cdt.build.core.settings.holder">
    								<inputType id="org.eclipse.cdt.build.core.settings.holder.inType.2032917564" languageId="org.eclipse.cdt.managedbuilder.llvm.ui.llvmAssembly" languageName="LLVM bytecode assembly" sourceContentType="org.eclipse.cdt.managedbuilder.llvm.ui.llvmAssemblySource" superClass="org.eclipse.cdt.build.core.settings.holder.inType"/>
    							</tool>
    							<tool id="org.eclipse.cdt.build.core.settings.holder.1041733737" name="UPC" superClass="org.eclipse.cdt.build.core.settings.holder">
    								<inputType id="org.eclipse.cdt.build.core.settings.holder.inType.669586741" 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"/>
    							</tool>
    						</toolChain>
    					</folderInfo>
    				</configuration>
    			</storageModule>
    			<storageModule moduleId="org.eclipse.cdt.core.externalSettings"/>
    		</cconfiguration>
    	</storageModule>
    	<storageModule moduleId="cdtBuildSystem" version="4.0.0">
    		<project id="d7020e_srp.null.1771712114" name="d7020e_srp"/>
    	</storageModule>
    	<storageModule moduleId="scannerConfiguration">
    		<autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId=""/>
    		<scannerConfigBuildInfo instanceId="0.924773280">
    			<autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId=""/>
    		</scannerConfigBuildInfo>
    		<scannerConfigBuildInfo instanceId="ilg.gnuarmeclipse.managedbuild.cross.config.elf.release.2004998107;ilg.gnuarmeclipse.managedbuild.cross.config.elf.release.2004998107.;ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.467444892;ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.input.493707445">
    			<autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId=""/>
    		</scannerConfigBuildInfo>
    		<scannerConfigBuildInfo instanceId="ilg.gnuarmeclipse.managedbuild.cross.config.elf.debug.845977460;ilg.gnuarmeclipse.managedbuild.cross.config.elf.debug.845977460.;ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.252667248;ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.input.255266515">
    			<autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId=""/>
    		</scannerConfigBuildInfo>
    	</storageModule>
    	<storageModule moduleId="org.eclipse.cdt.core.LanguageSettingsProviders"/>
    </cproject>