|
|
<?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="cdt.managedbuild.config.gnu.exe.debug.726614945">
|
|
|
<storageModule buildSystemId="org.eclipse.cdt.managedbuilder.core.configurationDataProvider" id="cdt.managedbuild.config.gnu.exe.debug.726614945" moduleId="org.eclipse.cdt.core.settings" name="Debug">
|
|
|
<externalSettings/>
|
|
|
<extensions>
|
|
|
<extension id="org.eclipse.cdt.core.ELF" point="org.eclipse.cdt.core.BinaryParser"/>
|
|
|
<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.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 artifactName="${ProjName}" buildArtefactType="org.eclipse.cdt.build.core.buildArtefactType.exe" buildProperties="org.eclipse.cdt.build.core.buildArtefactType=org.eclipse.cdt.build.core.buildArtefactType.exe,org.eclipse.cdt.build.core.buildType=org.eclipse.cdt.build.core.buildType.debug" cleanCommand="rm -rf" description="" id="cdt.managedbuild.config.gnu.exe.debug.726614945" name="Debug" parent="cdt.managedbuild.config.gnu.exe.debug">
|
|
|
<folderInfo id="cdt.managedbuild.config.gnu.exe.debug.726614945." name="/" resourcePath="">
|
|
|
<toolChain id="cdt.managedbuild.toolchain.gnu.exe.debug.1187435907" name="Linux GCC" superClass="cdt.managedbuild.toolchain.gnu.exe.debug">
|
|
|
<targetPlatform id="cdt.managedbuild.target.gnu.platform.exe.debug.588259323" name="Debug Platform" superClass="cdt.managedbuild.target.gnu.platform.exe.debug"/>
|
|
|
<builder buildPath="${workspace_loc:/fixpoint}/Debug" id="cdt.managedbuild.target.gnu.builder.exe.debug.142867279" keepEnvironmentInBuildfile="false" managedBuildOn="true" name="Gnu Make Builder" superClass="cdt.managedbuild.target.gnu.builder.exe.debug"/>
|
|
|
<tool id="cdt.managedbuild.tool.gnu.archiver.base.1340458624" name="GCC Archiver" superClass="cdt.managedbuild.tool.gnu.archiver.base"/>
|
|
|
<tool id="cdt.managedbuild.tool.gnu.cpp.compiler.exe.debug.1123809143" name="GCC C++ Compiler" superClass="cdt.managedbuild.tool.gnu.cpp.compiler.exe.debug">
|
|
|
<option id="gnu.cpp.compiler.exe.debug.option.optimization.level.1352962247" name="Optimization Level" superClass="gnu.cpp.compiler.exe.debug.option.optimization.level" value="gnu.cpp.compiler.optimization.level.none" valueType="enumerated"/>
|
|
|
<option id="gnu.cpp.compiler.exe.debug.option.debugging.level.602612294" name="Debug Level" superClass="gnu.cpp.compiler.exe.debug.option.debugging.level" value="gnu.cpp.compiler.debugging.level.max" valueType="enumerated"/>
|
|
|
<option id="gnu.cpp.compiler.option.dialect.std.2006213990" name="Language standard" superClass="gnu.cpp.compiler.option.dialect.std" value="gnu.cpp.compiler.dialect.default" valueType="enumerated"/>
|
|
|
<option id="gnu.cpp.compiler.option.other.other.377703301" name="Other flags" superClass="gnu.cpp.compiler.option.other.other" value="-c -fmessage-length=0" valueType="string"/>
|
|
|
<option id="gnu.cpp.compiler.option.other.verbose.88007056" name="Verbose (-v)" superClass="gnu.cpp.compiler.option.other.verbose" value="false" valueType="boolean"/>
|
|
|
<inputType id="cdt.managedbuild.tool.gnu.cpp.compiler.input.1358658388" superClass="cdt.managedbuild.tool.gnu.cpp.compiler.input"/>
|
|
|
</tool>
|
|
|
<tool id="cdt.managedbuild.tool.gnu.c.compiler.exe.debug.2093971068" name="GCC C Compiler" superClass="cdt.managedbuild.tool.gnu.c.compiler.exe.debug">
|
|
|
<option defaultValue="gnu.c.optimization.level.none" id="gnu.c.compiler.exe.debug.option.optimization.level.1595578750" name="Optimization Level" superClass="gnu.c.compiler.exe.debug.option.optimization.level" valueType="enumerated"/>
|
|
|
<option id="gnu.c.compiler.exe.debug.option.debugging.level.1789087258" name="Debug Level" superClass="gnu.c.compiler.exe.debug.option.debugging.level" value="gnu.c.debugging.level.max" valueType="enumerated"/>
|
|
|
<option id="gnu.c.compiler.option.misc.other.1606297075" name="Other flags" superClass="gnu.c.compiler.option.misc.other" value="-c -fmessage-length=0 " valueType="string"/>
|
|
|
<option id="gnu.c.compiler.option.misc.verbose.1010982186" name="Verbose (-v)" superClass="gnu.c.compiler.option.misc.verbose" value="false" valueType="boolean"/>
|
|
|
<inputType id="cdt.managedbuild.tool.gnu.c.compiler.input.1171595764" superClass="cdt.managedbuild.tool.gnu.c.compiler.input"/>
|
|
|
</tool>
|
|
|
<tool id="cdt.managedbuild.tool.gnu.c.linker.exe.debug.2034761377" name="GCC C Linker" superClass="cdt.managedbuild.tool.gnu.c.linker.exe.debug"/>
|
|
|
<tool id="cdt.managedbuild.tool.gnu.cpp.linker.exe.debug.1694084085" name="GCC C++ Linker" superClass="cdt.managedbuild.tool.gnu.cpp.linker.exe.debug">
|
|
|
<inputType id="cdt.managedbuild.tool.gnu.cpp.linker.input.1839555914" superClass="cdt.managedbuild.tool.gnu.cpp.linker.input">
|
|
|
<additionalInput kind="additionalinputdependency" paths="$(USER_OBJS)"/>
|
|
|
<additionalInput kind="additionalinput" paths="$(LIBS)"/>
|
|
|
</inputType>
|
|
|
</tool>
|
|
|
<tool id="cdt.managedbuild.tool.gnu.assembler.exe.debug.49081962" name="GCC Assembler" superClass="cdt.managedbuild.tool.gnu.assembler.exe.debug">
|
|
|
<inputType id="cdt.managedbuild.tool.gnu.assembler.input.953234959" superClass="cdt.managedbuild.tool.gnu.assembler.input"/>
|
|
|
</tool>
|
|
|
</toolChain>
|
|
|
</folderInfo>
|
|
|
</configuration>
|
|
|
</storageModule>
|
|
|
<storageModule moduleId="org.eclipse.cdt.core.externalSettings"/>
|
|
|
</cconfiguration>
|
|
|
<cconfiguration id="cdt.managedbuild.config.gnu.exe.release.627789590">
|
|
|
<storageModule buildSystemId="org.eclipse.cdt.managedbuilder.core.configurationDataProvider" id="cdt.managedbuild.config.gnu.exe.release.627789590" moduleId="org.eclipse.cdt.core.settings" name="Release">
|
|
|
<externalSettings/>
|
|
|
<extensions>
|
|
|
<extension id="org.eclipse.cdt.core.ELF" point="org.eclipse.cdt.core.BinaryParser"/>
|
|
|
<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.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 artifactName="${ProjName}" buildArtefactType="org.eclipse.cdt.build.core.buildArtefactType.exe" buildProperties="org.eclipse.cdt.build.core.buildArtefactType=org.eclipse.cdt.build.core.buildArtefactType.exe,org.eclipse.cdt.build.core.buildType=org.eclipse.cdt.build.core.buildType.release" cleanCommand="rm -rf" description="" id="cdt.managedbuild.config.gnu.exe.release.627789590" name="Release" parent="cdt.managedbuild.config.gnu.exe.release">
|
|
|
<folderInfo id="cdt.managedbuild.config.gnu.exe.release.627789590." name="/" resourcePath="">
|
|
|
<toolChain id="cdt.managedbuild.toolchain.gnu.exe.release.203535649" name="Linux GCC" superClass="cdt.managedbuild.toolchain.gnu.exe.release">
|
|
|
<targetPlatform id="cdt.managedbuild.target.gnu.platform.exe.release.1705051134" name="Debug Platform" superClass="cdt.managedbuild.target.gnu.platform.exe.release"/>
|
|
|
<builder buildPath="${workspace_loc:/fixpoint}/Release" id="cdt.managedbuild.target.gnu.builder.exe.release.968018891" keepEnvironmentInBuildfile="false" managedBuildOn="true" name="Gnu Make Builder" superClass="cdt.managedbuild.target.gnu.builder.exe.release"/>
|
|
|
<tool id="cdt.managedbuild.tool.gnu.archiver.base.1233091539" name="GCC Archiver" superClass="cdt.managedbuild.tool.gnu.archiver.base"/>
|
|
|
<tool id="cdt.managedbuild.tool.gnu.cpp.compiler.exe.release.217129682" name="GCC C++ Compiler" superClass="cdt.managedbuild.tool.gnu.cpp.compiler.exe.release">
|
|
|
<option id="gnu.cpp.compiler.exe.release.option.optimization.level.853294042" name="Optimization Level" superClass="gnu.cpp.compiler.exe.release.option.optimization.level" value="gnu.cpp.compiler.optimization.level.most" valueType="enumerated"/>
|
|
|
<option id="gnu.cpp.compiler.exe.release.option.debugging.level.819444220" name="Debug Level" superClass="gnu.cpp.compiler.exe.release.option.debugging.level" value="gnu.cpp.compiler.debugging.level.none" valueType="enumerated"/>
|
|
|
<inputType id="cdt.managedbuild.tool.gnu.cpp.compiler.input.323758775" superClass="cdt.managedbuild.tool.gnu.cpp.compiler.input"/>
|
|
|
</tool>
|
|
|
<tool id="cdt.managedbuild.tool.gnu.c.compiler.exe.release.1379716" name="GCC C Compiler" superClass="cdt.managedbuild.tool.gnu.c.compiler.exe.release">
|
|
|
<option defaultValue="gnu.c.optimization.level.most" id="gnu.c.compiler.exe.release.option.optimization.level.1394624330" name="Optimization Level" superClass="gnu.c.compiler.exe.release.option.optimization.level" valueType="enumerated"/>
|
|
|
<option id="gnu.c.compiler.exe.release.option.debugging.level.630382415" name="Debug Level" superClass="gnu.c.compiler.exe.release.option.debugging.level" value="gnu.c.debugging.level.none" valueType="enumerated"/>
|
|
|
<inputType id="cdt.managedbuild.tool.gnu.c.compiler.input.45831321" superClass="cdt.managedbuild.tool.gnu.c.compiler.input"/>
|
|
|
</tool>
|
|
|
<tool id="cdt.managedbuild.tool.gnu.c.linker.exe.release.1178554217" name="GCC C Linker" superClass="cdt.managedbuild.tool.gnu.c.linker.exe.release"/>
|
|
|
<tool id="cdt.managedbuild.tool.gnu.cpp.linker.exe.release.541725393" name="GCC C++ Linker" superClass="cdt.managedbuild.tool.gnu.cpp.linker.exe.release">
|
|
|
<inputType id="cdt.managedbuild.tool.gnu.cpp.linker.input.1118856248" superClass="cdt.managedbuild.tool.gnu.cpp.linker.input">
|
|
|
<additionalInput kind="additionalinputdependency" paths="$(USER_OBJS)"/>
|
|
|
<additionalInput kind="additionalinput" paths="$(LIBS)"/>
|
|
|
</inputType>
|
|
|
</tool>
|
|
|
<tool id="cdt.managedbuild.tool.gnu.assembler.exe.release.486187560" name="GCC Assembler" superClass="cdt.managedbuild.tool.gnu.assembler.exe.release">
|
|
|
<inputType id="cdt.managedbuild.tool.gnu.assembler.input.610155476" superClass="cdt.managedbuild.tool.gnu.assembler.input"/>
|
|
|
</tool>
|
|
|
</toolChain>
|
|
|
</folderInfo>
|
|
|
</configuration>
|
|
|
</storageModule>
|
|
|
<storageModule moduleId="org.eclipse.cdt.core.externalSettings"/>
|
|
|
</cconfiguration>
|
|
|
</storageModule>
|
|
|
<storageModule moduleId="cdtBuildSystem" version="4.0.0">
|
|
|
<project id="fixpoint.cdt.managedbuild.target.gnu.exe.1493244722" name="Executable" projectType="cdt.managedbuild.target.gnu.exe"/>
|
|
|
</storageModule>
|
|
|
<storageModule moduleId="scannerConfiguration">
|
|
|
<autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId=""/>
|
|
|
<scannerConfigBuildInfo instanceId="cdt.managedbuild.config.gnu.exe.debug.726614945;cdt.managedbuild.config.gnu.exe.debug.726614945.;cdt.managedbuild.tool.gnu.cpp.compiler.exe.debug.1123809143;cdt.managedbuild.tool.gnu.cpp.compiler.input.1358658388">
|
|
|
<autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId=""/>
|
|
|
</scannerConfigBuildInfo>
|
|
|
<scannerConfigBuildInfo instanceId="cdt.managedbuild.config.gnu.exe.release.627789590;cdt.managedbuild.config.gnu.exe.release.627789590.;cdt.managedbuild.tool.gnu.c.compiler.exe.release.1379716;cdt.managedbuild.tool.gnu.c.compiler.input.45831321">
|
|
|
<autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId=""/>
|
|
|
</scannerConfigBuildInfo>
|
|
|
<scannerConfigBuildInfo instanceId="cdt.managedbuild.config.gnu.exe.release.627789590;cdt.managedbuild.config.gnu.exe.release.627789590.;cdt.managedbuild.tool.gnu.cpp.compiler.exe.release.217129682;cdt.managedbuild.tool.gnu.cpp.compiler.input.323758775">
|
|
|
<autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId=""/>
|
|
|
</scannerConfigBuildInfo>
|
|
|
<scannerConfigBuildInfo instanceId="cdt.managedbuild.config.gnu.exe.debug.726614945;cdt.managedbuild.config.gnu.exe.debug.726614945.;cdt.managedbuild.tool.gnu.c.compiler.exe.debug.2093971068;cdt.managedbuild.tool.gnu.c.compiler.input.1171595764">
|
|
|
<autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId=""/>
|
|
|
</scannerConfigBuildInfo>
|
|
|
</storageModule>
|
|
|
<storageModule moduleId="org.eclipse.cdt.core.LanguageSettingsProviders"/>
|
|
|
<storageModule moduleId="refreshScope" versionNumber="2">
|
|
|
<configuration configurationName="Debug">
|
|
|
<resource resourceType="PROJECT" workspacePath="/fixpoint"/>
|
|
|
</configuration>
|
|
|
<configuration configurationName="Release">
|
|
|
<resource resourceType="PROJECT" workspacePath="/fixpoint"/>
|
|
|
</configuration>
|
|
|
</storageModule>
|
|
|
</cproject>
|
|
|
|
