| <?xml version="1.0" encoding="UTF-8" standalone="no"?> |
| <?fileVersion 4.0.0?><cproject> |
| <storageModule moduleId="org.eclipse.cdt.core.settings"> |
| <cconfiguration id="cdt.managedbuild.config.gnu.cygwin.exe.release.1751191049"> |
| <storageModule buildSystemId="org.eclipse.cdt.managedbuilder.core.configurationDataProvider" id="cdt.managedbuild.config.gnu.cygwin.exe.release.1751191049" 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.GCCErrorParser" point="org.eclipse.cdt.core.ErrorParser"/> |
| <extension id="org.eclipse.cdt.core.GASErrorParser" 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.GmakeErrorParser" point="org.eclipse.cdt.core.ErrorParser"/> |
| <extension id="org.eclipse.cdt.core.CWDLocator" point="org.eclipse.cdt.core.ErrorParser"/> |
| </extensions> |
| </storageModule> |
| <storageModule moduleId="cdtBuildSystem" version="4.0.0"> |
| <configuration artifactName="avm" 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="" errorParsers="org.eclipse.cdt.core.GmakeErrorParser;org.eclipse.cdt.core.CWDLocator;org.eclipse.cdt.core.GCCErrorParser;org.eclipse.cdt.core.GASErrorParser;org.eclipse.cdt.core.GLDErrorParser" id="cdt.managedbuild.config.gnu.cygwin.exe.release.1751191049" name="Release" parent="cdt.managedbuild.config.gnu.cygwin.exe.release" postannouncebuildStep="" postbuildStep="" preannouncebuildStep="" prebuildStep=""> |
| <folderInfo id="cdt.managedbuild.config.gnu.cygwin.exe.release.1751191049." name="/" resourcePath=""> |
| <toolChain errorParsers="" id="cdt.managedbuild.toolchain.gnu.base.841109125" name="Linux GCC" superClass="cdt.managedbuild.toolchain.gnu.base"> |
| <targetPlatform archList="all" binaryParser="org.eclipse.cdt.core.ELF" id="cdt.managedbuild.target.gnu.platform.base.1228411808" name="Debug Platform" osList="linux,hpux,aix,qnx" superClass="cdt.managedbuild.target.gnu.platform.base"/> |
| <builder buildPath="${workspace_loc:/com.cea.avm}/Release" errorParsers="org.eclipse.cdt.core.GmakeErrorParser;org.eclipse.cdt.core.CWDLocator" id="cdt.managedbuild.target.gnu.builder.base.452044552" keepEnvironmentInBuildfile="false" name="Gnu Make Builder" parallelBuildOn="true" parallelizationNumber="28" superClass="cdt.managedbuild.target.gnu.builder.base"/> |
| <tool id="cdt.managedbuild.tool.gnu.archiver.base.2062207392" name="GCC Archiver" superClass="cdt.managedbuild.tool.gnu.archiver.base"/> |
| <tool command="g++ -pipe" commandLinePattern="${COMMAND} ${FLAGS} ${OUTPUT_FLAG} ${OUTPUT_PREFIX}${OUTPUT} ${INPUTS}" errorParsers="org.eclipse.cdt.core.GCCErrorParser" id="cdt.managedbuild.tool.gnu.cpp.compiler.base.1462469422" name="GCC C++ Compiler" superClass="cdt.managedbuild.tool.gnu.cpp.compiler.base"> |
| <option id="gnu.cpp.compiler.option.optimization.level.1081509723" name="Optimization Level" superClass="gnu.cpp.compiler.option.optimization.level" useByScannerDiscovery="false" value="gnu.cpp.compiler.optimization.level.none" valueType="enumerated"/> |
| <option id="gnu.cpp.compiler.option.debugging.level.1941988987" name="Debug Level" superClass="gnu.cpp.compiler.option.debugging.level" useByScannerDiscovery="false" value="gnu.cpp.compiler.debugging.level.none" valueType="enumerated"/> |
| <option id="gnu.cpp.compiler.option.preprocessor.def.1113833192" name="Defined symbols (-D)" superClass="gnu.cpp.compiler.option.preprocessor.def" useByScannerDiscovery="false" valueType="definedSymbols"> |
| <listOptionValue builtIn="false" value="__AVM_UNIX__"/> |
| <listOptionValue builtIn="false" value="__AVM_LINUX__"/> |
| <listOptionValue builtIn="false" value="_GIT_VERSION_=\"$(shell git describe --always --tags)\""/> |
| <listOptionValue builtIn="false" value="_AVM_BUILTIN_NUMERIC_GMP_"/> |
| <listOptionValue builtIn="false" value="_AVM_SOLVER_OMEGA_"/> |
| <listOptionValue builtIn="false" value="_AVM_SOLVER_CVC4_"/> |
| <listOptionValue builtIn="false" value="_AVM_SOLVER_Z3_"/> |
| </option> |
| <option id="gnu.cpp.compiler.option.preprocessor.undef.603363077" name="Undefined symbols (-U)" superClass="gnu.cpp.compiler.option.preprocessor.undef" useByScannerDiscovery="false" valueType="undefDefinedSymbols"> |
| <listOptionValue builtIn="false" value="_AVM_EXPRESSION_GINAC_"/> |
| <listOptionValue builtIn="false" value="_AVM_SOLVER_CVC3_"/> |
| <listOptionValue builtIn="false" value="_AVM_SOLVER_YICES_V1_"/> |
| <listOptionValue builtIn="false" value="_AVM_SOLVER_YICES_V2_"/> |
| </option> |
| <option id="gnu.cpp.compiler.option.include.paths.1808691653" name="Include paths (-I)" superClass="gnu.cpp.compiler.option.include.paths" useByScannerDiscovery="false" valueType="includePath"> |
| <listOptionValue builtIn="false" value=""${workspace_loc:/${ProjName}/src}""/> |
| <listOptionValue builtIn="false" value=""${workspace_loc:/${ProjName}/include/linux64}""/> |
| <listOptionValue builtIn="false" value=""${workspace_loc:/${ProjName}/include/linux64/antlr3c}""/> |
| <listOptionValue builtIn="false" value=""${workspace_loc:/${ProjName}/include/linux64/omega}""/> |
| <listOptionValue builtIn="false" value=""${workspace_loc:/${ProjName}/include/linux64/z3}""/> |
| </option> |
| <option id="gnu.cpp.compiler.option.dialect.std.1536595217" name="Language standard" superClass="gnu.cpp.compiler.option.dialect.std" useByScannerDiscovery="true" value="gnu.cpp.compiler.dialect.default" valueType="enumerated"/> |
| <inputType id="cdt.managedbuild.tool.gnu.cpp.compiler.input.2124431323" superClass="cdt.managedbuild.tool.gnu.cpp.compiler.input"/> |
| </tool> |
| <tool command="g++ -pipe" commandLinePattern="${COMMAND} ${FLAGS} ${OUTPUT_FLAG} ${OUTPUT_PREFIX}${OUTPUT} ${INPUTS}" errorParsers="org.eclipse.cdt.core.GCCErrorParser" id="cdt.managedbuild.tool.gnu.c.compiler.base.1874989982" name="GCC C Compiler" superClass="cdt.managedbuild.tool.gnu.c.compiler.base"> |
| <option defaultValue="gnu.c.optimization.level.most" id="gnu.c.compiler.option.optimization.level.1241677914" name="Optimization Level" superClass="gnu.c.compiler.option.optimization.level" useByScannerDiscovery="false" value="gnu.c.optimization.level.none" valueType="enumerated"/> |
| <option id="gnu.c.compiler.option.debugging.level.1687167247" name="Debug Level" superClass="gnu.c.compiler.option.debugging.level" useByScannerDiscovery="false" value="gnu.c.debugging.level.none" valueType="enumerated"/> |
| <option id="gnu.c.compiler.option.include.paths.1256559701" name="Include paths (-I)" superClass="gnu.c.compiler.option.include.paths" useByScannerDiscovery="false" valueType="includePath"> |
| <listOptionValue builtIn="false" value=""${workspace_loc:/${ProjName}/src}""/> |
| <listOptionValue builtIn="false" value=""${workspace_loc:/${ProjName}/include/linux64}""/> |
| <listOptionValue builtIn="false" value=""${workspace_loc:/${ProjName}/include/linux64/antlr3c}""/> |
| <listOptionValue builtIn="false" value=""${workspace_loc:/${ProjName}/include/linux64/omega}""/> |
| <listOptionValue builtIn="false" value=""${workspace_loc:/${ProjName}/include/linux64/z3}""/> |
| </option> |
| <option id="gnu.c.compiler.option.preprocessor.def.symbols.768999597" name="Defined symbols (-D)" superClass="gnu.c.compiler.option.preprocessor.def.symbols" useByScannerDiscovery="false" valueType="definedSymbols"> |
| <listOptionValue builtIn="false" value="__AVM_UNIX__"/> |
| <listOptionValue builtIn="false" value="__AVM_LINUX__"/> |
| <listOptionValue builtIn="false" value="_AVM_BUILTIN_NUMERIC_GMP_"/> |
| <listOptionValue builtIn="false" value="_AVM_SOLVER_OMEGA_"/> |
| <listOptionValue builtIn="false" value="_AVM_SOLVER_CVC4_"/> |
| <listOptionValue builtIn="false" value="_AVM_SOLVER_Z3_"/> |
| </option> |
| <option id="gnu.c.compiler.option.dialect.std.105233525" name="Language standard" superClass="gnu.c.compiler.option.dialect.std" useByScannerDiscovery="true" value="gnu.c.compiler.dialect.default" valueType="enumerated"/> |
| <option id="gnu.c.compiler.option.misc.other.1900018295" name="Other flags" superClass="gnu.c.compiler.option.misc.other" useByScannerDiscovery="false" value="-c -fmessage-length=0 -Wuninitialized -Wunused-function -Wunused-variable -Wunused-but-set-variable " valueType="string"/> |
| <option id="gnu.c.compiler.option.warnings.allwarn.1387864221" name="All warnings (-Wall)" superClass="gnu.c.compiler.option.warnings.allwarn" useByScannerDiscovery="false" value="false" valueType="boolean"/> |
| <option id="gnu.c.compiler.option.warnings.nowarn.747595627" name="Inhibit all warnings (-w)" superClass="gnu.c.compiler.option.warnings.nowarn" useByScannerDiscovery="false" value="true" valueType="boolean"/> |
| <inputType id="cdt.managedbuild.tool.gnu.c.compiler.input.797128776" superClass="cdt.managedbuild.tool.gnu.c.compiler.input"/> |
| </tool> |
| <tool id="cdt.managedbuild.tool.gnu.c.linker.base.1461344745" name="GCC C Linker" superClass="cdt.managedbuild.tool.gnu.c.linker.base"/> |
| <tool command="g++ -pipe -static -fopenmp" commandLinePattern="${COMMAND} ${FLAGS} ${OUTPUT_FLAG} ${OUTPUT_PREFIX}${OUTPUT} ${INPUTS}" errorParsers="org.eclipse.cdt.core.GLDErrorParser" id="cdt.managedbuild.tool.gnu.cpp.linker.base.1926879841" name="GCC C++ Linker" superClass="cdt.managedbuild.tool.gnu.cpp.linker.base"> |
| <option id="gnu.cpp.link.option.strip.968562551" name="Omit all symbol information (-s)" superClass="gnu.cpp.link.option.strip" useByScannerDiscovery="false" value="true" valueType="boolean"/> |
| <option id="gnu.cpp.link.option.libs.1295705831" name="Libraries (-l)" superClass="gnu.cpp.link.option.libs" useByScannerDiscovery="false" valueType="libs"> |
| <listOptionValue builtIn="false" value="antlr"/> |
| <listOptionValue builtIn="false" value="antlr3c"/> |
| <listOptionValue builtIn="false" value="omega"/> |
| <listOptionValue builtIn="false" value="boost_system"/> |
| <listOptionValue builtIn="false" value="boost_filesystem"/> |
| <listOptionValue builtIn="false" value="boost_regex"/> |
| <listOptionValue builtIn="false" value="boost_unit_test_framework"/> |
| <listOptionValue builtIn="false" value="cvc4"/> |
| <listOptionValue builtIn="false" value="z3"/> |
| <listOptionValue builtIn="false" value="rt"/> |
| <listOptionValue builtIn="false" value="ginac"/> |
| <listOptionValue builtIn="false" value="cln"/> |
| <listOptionValue builtIn="false" value="gmpxx"/> |
| <listOptionValue builtIn="false" value="gmp"/> |
| </option> |
| <option id="gnu.cpp.link.option.paths.1897215325" name="Library search path (-L)" superClass="gnu.cpp.link.option.paths" useByScannerDiscovery="false" valueType="libPaths"> |
| <listOptionValue builtIn="false" value=""${workspace_loc:/${ProjName}/lib/linux64}""/> |
| <listOptionValue builtIn="false" value=""${workspace_loc:/${ProjName}/lib/linux64/yices1}""/> |
| <listOptionValue builtIn="false" value=""${workspace_loc:/${ProjName}/lib/linux64/yices2}""/> |
| </option> |
| <option id="gnu.cpp.link.option.userobjs.350456819" name="Other objects" superClass="gnu.cpp.link.option.userobjs" useByScannerDiscovery="false" valueType="userObjs"> |
| <listOptionValue builtIn="false" value=""/> |
| <listOptionValue builtIn="false" value=""/> |
| </option> |
| <inputType id="cdt.managedbuild.tool.gnu.cpp.linker.input.2071397986" superClass="cdt.managedbuild.tool.gnu.cpp.linker.input"> |
| <additionalInput kind="additionalinputdependency" paths="$(USER_OBJS)"/> |
| <additionalInput kind="additionalinput" paths="$(LIBS)"/> |
| </inputType> |
| </tool> |
| <tool command="as" commandLinePattern="${COMMAND} ${FLAGS} ${OUTPUT_FLAG} ${OUTPUT_PREFIX}${OUTPUT} ${INPUTS}" errorParsers="org.eclipse.cdt.core.GASErrorParser" id="cdt.managedbuild.tool.gnu.assembler.base.1775367656" name="GCC Assembler" superClass="cdt.managedbuild.tool.gnu.assembler.base"> |
| <inputType id="cdt.managedbuild.tool.gnu.assembler.input.534285428" superClass="cdt.managedbuild.tool.gnu.assembler.input"/> |
| </tool> |
| </toolChain> |
| </folderInfo> |
| <sourceEntries> |
| <entry excluding="cmake|src-head|utests|include|src30c|bakup|out|src|Release" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/> |
| <entry excluding="cmake" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name="src"/> |
| </sourceEntries> |
| </configuration> |
| </storageModule> |
| <storageModule moduleId="org.eclipse.cdt.core.externalSettings"/> |
| <storageModule moduleId="org.eclipse.cdt.internal.ui.text.commentOwnerProjectMappings"/> |
| <storageModule moduleId="org.eclipse.cdt.core.language.mapping"/> |
| </cconfiguration> |
| <cconfiguration id="cdt.managedbuild.config.gnu.cygwin.exe.debug.894915920.995135159.311874657.454277048"> |
| <storageModule buildSystemId="org.eclipse.cdt.managedbuilder.core.configurationDataProvider" id="cdt.managedbuild.config.gnu.cygwin.exe.debug.894915920.995135159.311874657.454277048" moduleId="org.eclipse.cdt.core.settings" name="Debug"> |
| <externalSettings> |
| <externalSetting> |
| <entry flags="VALUE_WORKSPACE_PATH" kind="includePath" name="/com.cea.avm"/> |
| <entry flags="VALUE_WORKSPACE_PATH" kind="libraryPath" name="/com.cea.avm/Debug"/> |
| <entry flags="RESOLVED" kind="libraryFile" name="avm" srcPrefixMapping="" srcRootPath=""/> |
| </externalSetting> |
| </externalSettings> |
| <extensions> |
| <extension id="org.eclipse.cdt.core.ELF" point="org.eclipse.cdt.core.BinaryParser"/> |
| <extension id="org.eclipse.cdt.core.GCCErrorParser" point="org.eclipse.cdt.core.ErrorParser"/> |
| <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.CWDLocator" point="org.eclipse.cdt.core.ErrorParser"/> |
| <extension id="org.eclipse.cdt.core.GLDErrorParser" point="org.eclipse.cdt.core.ErrorParser"/> |
| </extensions> |
| </storageModule> |
| <storageModule moduleId="cdtBuildSystem" version="4.0.0"> |
| <configuration artifactName="avm" 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="" errorParsers="org.eclipse.cdt.core.GASErrorParser;org.eclipse.cdt.core.GmakeErrorParser;org.eclipse.cdt.core.GLDErrorParser;org.eclipse.cdt.core.CWDLocator;org.eclipse.cdt.core.GCCErrorParser" id="cdt.managedbuild.config.gnu.cygwin.exe.debug.894915920.995135159.311874657.454277048" name="Debug" parent="cdt.managedbuild.config.gnu.cygwin.exe.debug" postannouncebuildStep="" postbuildStep="cp -f avm.exe diversity.exe" preannouncebuildStep="" prebuildStep=""> |
| <folderInfo id="cdt.managedbuild.config.gnu.cygwin.exe.debug.894915920.995135159.311874657.454277048." name="/" resourcePath=""> |
| <toolChain errorParsers="" id="cdt.managedbuild.toolchain.gnu.base.64427688" name="Linux GCC" nonInternalBuilderId="cdt.managedbuild.target.gnu.builder.base" superClass="cdt.managedbuild.toolchain.gnu.base"> |
| <targetPlatform archList="all" binaryParser="org.eclipse.cdt.core.ELF" id="cdt.managedbuild.target.gnu.platform.base.1076208010" name="Debug Platform" osList="linux,hpux,aix,qnx" superClass="cdt.managedbuild.target.gnu.platform.base"/> |
| <builder arguments="" buildPath="${workspace_loc:/com.cea.avm/Debug}" command="make" errorParsers="org.eclipse.cdt.core.GmakeErrorParser;org.eclipse.cdt.core.CWDLocator" id="cdt.managedbuild.target.gnu.builder.base.456653098" keepEnvironmentInBuildfile="false" name="Gnu Make Builder" parallelBuildOn="true" parallelizationNumber="28" stopOnErr="false" superClass="cdt.managedbuild.target.gnu.builder.base"/> |
| <tool id="cdt.managedbuild.tool.gnu.archiver.base.1837705542" name="GCC Archiver" superClass="cdt.managedbuild.tool.gnu.archiver.base"> |
| <option id="gnu.both.lib.option.flags.40292830" name="Archiver flags" superClass="gnu.both.lib.option.flags" value="-r " valueType="string"/> |
| </tool> |
| <tool command="g++ -pipe" commandLinePattern="${COMMAND} ${FLAGS} ${OUTPUT_FLAG} ${OUTPUT_PREFIX}${OUTPUT} ${INPUTS}" errorParsers="org.eclipse.cdt.core.GCCErrorParser" id="cdt.managedbuild.tool.gnu.cpp.compiler.base.1616443269" name="GCC C++ Compiler" superClass="cdt.managedbuild.tool.gnu.cpp.compiler.base"> |
| <option id="gnu.cpp.compiler.option.include.paths.494556361" name="Include paths (-I)" superClass="gnu.cpp.compiler.option.include.paths" useByScannerDiscovery="false" valueType="includePath"> |
| <listOptionValue builtIn="false" value=""${workspace_loc:/${ProjName}/src}""/> |
| <listOptionValue builtIn="false" value=""${workspace_loc:/${ProjName}/include/linux64}""/> |
| <listOptionValue builtIn="false" value=""${workspace_loc:/${ProjName}/include/linux64/antlr3c}""/> |
| <listOptionValue builtIn="false" value=""${workspace_loc:/${ProjName}/include/linux64/omega}""/> |
| <listOptionValue builtIn="false" value=""${workspace_loc:/${ProjName}/include/linux64/z3}""/> |
| </option> |
| <option id="gnu.cpp.compiler.option.optimization.level.784961564" name="Optimization Level" superClass="gnu.cpp.compiler.option.optimization.level" useByScannerDiscovery="false" value="gnu.cpp.compiler.optimization.level.none" valueType="enumerated"/> |
| <option id="gnu.cpp.compiler.option.debugging.level.118493204" name="Debug Level" superClass="gnu.cpp.compiler.option.debugging.level" useByScannerDiscovery="false" value="gnu.cpp.compiler.debugging.level.max" valueType="enumerated"/> |
| <option id="gnu.cpp.compiler.option.preprocessor.def.1694577690" name="Defined symbols (-D)" superClass="gnu.cpp.compiler.option.preprocessor.def" useByScannerDiscovery="false" valueType="definedSymbols"> |
| <listOptionValue builtIn="false" value="__AVM_UNIX__"/> |
| <listOptionValue builtIn="false" value="__AVM_LINUX__"/> |
| <listOptionValue builtIn="false" value="_GIT_VERSION_=\"$(shell git describe --always --tags)\""/> |
| <listOptionValue builtIn="false" value="_AVM_BUILTIN_NUMERIC_GMP_"/> |
| <listOptionValue builtIn="false" value="_AVM_SOLVER_OMEGA_"/> |
| <listOptionValue builtIn="false" value="_AVM_SOLVER_CVC4_"/> |
| <listOptionValue builtIn="false" value="_AVM_SOLVER_Z3_"/> |
| </option> |
| <option id="gnu.cpp.compiler.option.preprocessor.undef.105703250" name="Undefined symbols (-U)" superClass="gnu.cpp.compiler.option.preprocessor.undef" useByScannerDiscovery="false" valueType="undefDefinedSymbols"> |
| <listOptionValue builtIn="false" value="_AVM_BUILTIN_NUMERIC_BOOST_"/> |
| <listOptionValue builtIn="false" value="_AVM_EXPRESSION_GINAC_"/> |
| <listOptionValue builtIn="false" value="_AVM_SOLVER_YICES_V1_"/> |
| <listOptionValue builtIn="false" value="_AVM_SOLVER_YICES_V2_"/> |
| <listOptionValue builtIn="false" value="_AVM_SOLVER_CVC3_"/> |
| </option> |
| <option id="gnu.cpp.compiler.option.dialect.std.1908041746" name="Language standard" superClass="gnu.cpp.compiler.option.dialect.std" useByScannerDiscovery="true" value="gnu.cpp.compiler.dialect.default" valueType="enumerated"/> |
| <inputType id="cdt.managedbuild.tool.gnu.cpp.compiler.input.790249768" superClass="cdt.managedbuild.tool.gnu.cpp.compiler.input"/> |
| </tool> |
| <tool command="g++ -pipe" commandLinePattern="${COMMAND} ${FLAGS} ${OUTPUT_FLAG} ${OUTPUT_PREFIX}${OUTPUT} ${INPUTS}" errorParsers="org.eclipse.cdt.core.GCCErrorParser" id="cdt.managedbuild.tool.gnu.c.compiler.base.501710889" name="GCC C Compiler" superClass="cdt.managedbuild.tool.gnu.c.compiler.base"> |
| <option defaultValue="gnu.c.optimization.level.none" id="gnu.c.compiler.option.optimization.level.2004380143" name="Optimization Level" superClass="gnu.c.compiler.option.optimization.level" useByScannerDiscovery="false" value="gnu.c.optimization.level.none" valueType="enumerated"/> |
| <option id="gnu.c.compiler.option.debugging.level.1690296888" name="Debug Level" superClass="gnu.c.compiler.option.debugging.level" useByScannerDiscovery="false" value="gnu.c.debugging.level.max" valueType="enumerated"/> |
| <option id="gnu.c.compiler.option.preprocessor.def.symbols.159093750" name="Defined symbols (-D)" superClass="gnu.c.compiler.option.preprocessor.def.symbols" useByScannerDiscovery="false" valueType="definedSymbols"> |
| <listOptionValue builtIn="false" value="__AVM_UNIX__"/> |
| <listOptionValue builtIn="false" value="__AVM_LINUX__"/> |
| <listOptionValue builtIn="false" value="_AVM_BUILTIN_NUMERIC_GMP_"/> |
| <listOptionValue builtIn="false" value="_AVM_SOLVER_OMEGA_"/> |
| <listOptionValue builtIn="false" value="_AVM_SOLVER_CVC4_"/> |
| <listOptionValue builtIn="false" value="_AVM_SOLVER_Z3_"/> |
| </option> |
| <option id="gnu.c.compiler.option.include.paths.1653518804" name="Include paths (-I)" superClass="gnu.c.compiler.option.include.paths" useByScannerDiscovery="false" valueType="includePath"> |
| <listOptionValue builtIn="false" value=""${workspace_loc:/${ProjName}/src}""/> |
| <listOptionValue builtIn="false" value=""${workspace_loc:/${ProjName}/include/linux64}""/> |
| <listOptionValue builtIn="false" value=""${workspace_loc:/${ProjName}/include/linux64/antlr3c}""/> |
| <listOptionValue builtIn="false" value=""${workspace_loc:/${ProjName}/include/linux64/omega}""/> |
| <listOptionValue builtIn="false" value=""${workspace_loc:/${ProjName}/include/linux64/z3}""/> |
| </option> |
| <option id="gnu.c.compiler.option.misc.other.1282364744" name="Other flags" superClass="gnu.c.compiler.option.misc.other" useByScannerDiscovery="false" value="-c -fmessage-length=0 -Wuninitialized -Wunused-function -Wunused-variable -Wunused-but-set-variable " valueType="string"/> |
| <option id="gnu.c.compiler.option.warnings.allwarn.1682566304" name="All warnings (-Wall)" superClass="gnu.c.compiler.option.warnings.allwarn" useByScannerDiscovery="false" value="false" valueType="boolean"/> |
| <option id="gnu.c.compiler.option.dialect.std.776688867" name="Language standard" superClass="gnu.c.compiler.option.dialect.std" useByScannerDiscovery="true" value="gnu.c.compiler.dialect.default" valueType="enumerated"/> |
| <option id="gnu.c.compiler.option.warnings.nowarn.1348802212" name="Inhibit all warnings (-w)" superClass="gnu.c.compiler.option.warnings.nowarn" useByScannerDiscovery="false" value="true" valueType="boolean"/> |
| <option id="gnu.c.compiler.option.preprocessor.undef.symbol.2120185917" name="Undefined symbols (-U)" superClass="gnu.c.compiler.option.preprocessor.undef.symbol" useByScannerDiscovery="false"/> |
| <inputType id="cdt.managedbuild.tool.gnu.c.compiler.input.167561388" superClass="cdt.managedbuild.tool.gnu.c.compiler.input"/> |
| </tool> |
| <tool id="cdt.managedbuild.tool.gnu.c.linker.base.472635841" name="GCC C Linker" superClass="cdt.managedbuild.tool.gnu.c.linker.base"> |
| <option defaultValue="true" id="gnu.c.link.option.shared.938537262" name="Shared (-shared)" superClass="gnu.c.link.option.shared" valueType="boolean"/> |
| </tool> |
| <tool command="g++ -pipe -static -fopenmp" commandLinePattern="${COMMAND} ${FLAGS} ${OUTPUT_FLAG} ${OUTPUT_PREFIX}${OUTPUT} ${INPUTS}" errorParsers="org.eclipse.cdt.core.GLDErrorParser" id="cdt.managedbuild.tool.gnu.cpp.linker.base.1628020538" name="GCC C++ Linker" superClass="cdt.managedbuild.tool.gnu.cpp.linker.base"> |
| <option id="gnu.cpp.link.option.libs.800527498" name="Libraries (-l)" superClass="gnu.cpp.link.option.libs" useByScannerDiscovery="false" valueType="libs"> |
| <listOptionValue builtIn="false" value="antlr"/> |
| <listOptionValue builtIn="false" value="antlr3c"/> |
| <listOptionValue builtIn="false" value="omega"/> |
| <listOptionValue builtIn="false" value="boost_system"/> |
| <listOptionValue builtIn="false" value="boost_filesystem"/> |
| <listOptionValue builtIn="false" value="boost_regex"/> |
| <listOptionValue builtIn="false" value="cvc4"/> |
| <listOptionValue builtIn="false" value="z3"/> |
| <listOptionValue builtIn="false" value="rt"/> |
| <listOptionValue builtIn="false" value="gmpxx"/> |
| <listOptionValue builtIn="false" value="gmp"/> |
| </option> |
| <option id="gnu.cpp.link.option.paths.864887485" name="Library search path (-L)" superClass="gnu.cpp.link.option.paths" useByScannerDiscovery="false" valueType="libPaths"> |
| <listOptionValue builtIn="false" value=""${workspace_loc:/${ProjName}/lib/linux64}""/> |
| </option> |
| <option id="gnu.cpp.link.option.userobjs.231528028" name="Other objects" superClass="gnu.cpp.link.option.userobjs" useByScannerDiscovery="false"/> |
| <option id="gnu.cpp.link.option.strip.1540652826" name="Omit all symbol information (-s)" superClass="gnu.cpp.link.option.strip" useByScannerDiscovery="false" value="false" valueType="boolean"/> |
| <option defaultValue="true" id="gnu.cpp.link.option.shared.1883723754" name="Shared (-shared)" superClass="gnu.cpp.link.option.shared" useByScannerDiscovery="false" value="false" valueType="boolean"/> |
| <inputType id="cdt.managedbuild.tool.gnu.cpp.linker.input.426522801" superClass="cdt.managedbuild.tool.gnu.cpp.linker.input"> |
| <additionalInput kind="additionalinputdependency" paths="$(USER_OBJS)"/> |
| <additionalInput kind="additionalinput" paths="$(LIBS)"/> |
| </inputType> |
| <outputType id="cdt.managedbuild.tool.gnu.cpp.linker.output.so.538493262" outputPrefix="" superClass="cdt.managedbuild.tool.gnu.cpp.linker.output.so"/> |
| </tool> |
| <tool command="as" commandLinePattern="${COMMAND} ${FLAGS} ${OUTPUT_FLAG} ${OUTPUT_PREFIX}${OUTPUT} ${INPUTS}" errorParsers="org.eclipse.cdt.core.GASErrorParser" id="cdt.managedbuild.tool.gnu.assembler.base.1977045655" name="GCC Assembler" superClass="cdt.managedbuild.tool.gnu.assembler.base"> |
| <inputType id="cdt.managedbuild.tool.gnu.assembler.input.1169614305" superClass="cdt.managedbuild.tool.gnu.assembler.input"/> |
| </tool> |
| </toolChain> |
| </folderInfo> |
| <sourceEntries> |
| <entry excluding="cmake|src-head|utests|include|src30c|bakup|out|src|Release" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/> |
| <entry excluding="cmake" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name="src"/> |
| </sourceEntries> |
| </configuration> |
| </storageModule> |
| <storageModule moduleId="org.eclipse.cdt.core.externalSettings"/> |
| <storageModule moduleId="org.eclipse.cdt.internal.ui.text.commentOwnerProjectMappings"/> |
| <storageModule moduleId="org.eclipse.cdt.core.language.mapping"/> |
| </cconfiguration> |
| </storageModule> |
| <storageModule moduleId="cdtBuildSystem" version="4.0.0"> |
| <project id="com.cea.avm.cdt.managedbuild.target.gnu.cygwin.exe.597274634" name="Executable" projectType="cdt.managedbuild.target.gnu.cygwin.exe"/> |
| </storageModule> |
| <storageModule moduleId="refreshScope" versionNumber="2"> |
| <configuration configurationName="Debug-SOLVERS-GMP"/> |
| <configuration configurationName="Release PragmaDev Executable"/> |
| <configuration configurationName="ReleaseWin64"/> |
| <configuration configurationName="Debug g++-6.x"/> |
| <configuration configurationName="Debug GinaC"> |
| <resource resourceType="PROJECT" workspacePath="/com.cea.avm"/> |
| </configuration> |
| <configuration configurationName="Release PragmaDev Library"/> |
| <configuration configurationName="DebugSolver"/> |
| <configuration configurationName="DebugSolvers"/> |
| <configuration configurationName="Debug NUMERIC+BOOST"/> |
| <configuration configurationName="Debug Solvers"/> |
| <configuration configurationName="Release windows x64bits"/> |
| <configuration configurationName="Debug-SOLVERS-NUMERICS"/> |
| <configuration configurationName="ReleasePragmaListLibrary"/> |
| <configuration configurationName="Debug+SOLVER+NUMERIC+BOOST"/> |
| <configuration configurationName="Debug+NUMERIC+BOOST"> |
| <resource resourceType="PROJECT" workspacePath="/com.cea.avm"/> |
| </configuration> |
| <configuration configurationName="Release"> |
| <resource resourceType="PROJECT" workspacePath="/com.cea.avm"/> |
| </configuration> |
| <configuration configurationName="Debug"> |
| <resource resourceType="PROJECT" workspacePath="/com.cea.avm"/> |
| </configuration> |
| <configuration configurationName="ReleasePragmaListExecutable"/> |
| </storageModule> |
| <storageModule moduleId="org.eclipse.cdt.core.LanguageSettingsProviders"/> |
| <storageModule moduleId="org.eclipse.cdt.internal.ui.text.commentOwnerProjectMappings"/> |
| <storageModule moduleId="org.eclipse.cdt.make.core.buildtargets"/> |
| <storageModule moduleId="scannerConfiguration"> |
| <autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile"/> |
| <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="makefileGenerator"> |
| <runAction arguments="-f ${project_name}_scd.mk" command="make" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <scannerConfigBuildInfo instanceId="cdt.managedbuild.config.gnu.cygwin.exe.debug.894915920;cdt.managedbuild.config.gnu.cygwin.exe.debug.894915920.;cdt.managedbuild.tool.gnu.cpp.compiler.mingw.base.1989861534;cdt.managedbuild.tool.gnu.cpp.compiler.input.1828025572"> |
| <autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP"/> |
| <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="makefileGenerator"> |
| <runAction arguments="-f ${project_name}_scd.mk" command="make" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| </scannerConfigBuildInfo> |
| <scannerConfigBuildInfo instanceId="cdt.managedbuild.config.gnu.cygwin.exe.debug.894915920;cdt.managedbuild.config.gnu.cygwin.exe.debug.894915920.;cdt.managedbuild.tool.gnu.c.compiler.mingw.base.2051841523;cdt.managedbuild.tool.gnu.c.compiler.input.1182516726"> |
| <autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC"/> |
| <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="makefileGenerator"> |
| <runAction arguments="-f ${project_name}_scd.mk" command="make" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| </scannerConfigBuildInfo> |
| <scannerConfigBuildInfo instanceId="cdt.managedbuild.config.gnu.cygwin.exe.debug.894915920;cdt.managedbuild.config.gnu.cygwin.exe.debug.894915920.;cdt.managedbuild.tool.gnu.c.compiler.cygwin.exe.debug.793519659;cdt.managedbuild.tool.gnu.c.compiler.input.cygwin.1859405221"> |
| <autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC"/> |
| <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="makefileGenerator"> |
| <runAction arguments="-f ${project_name}_scd.mk" command="make" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| </scannerConfigBuildInfo> |
| <scannerConfigBuildInfo instanceId="cdt.managedbuild.config.gnu.cygwin.exe.debug.894915920.668329529.1752327754;cdt.managedbuild.config.gnu.cygwin.exe.debug.894915920.668329529.1752327754.;cdt.managedbuild.tool.gnu.cpp.compiler.mingw.base.976449314;cdt.managedbuild.tool.gnu.cpp.compiler.input.1761731478"> |
| <autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile"/> |
| <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="makefileGenerator"> |
| <runAction arguments="-f ${project_name}_scd.mk" command="make" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| </scannerConfigBuildInfo> |
| <scannerConfigBuildInfo instanceId="cdt.managedbuild.config.gnu.cygwin.exe.debug.894915920.668329529.1752327754;cdt.managedbuild.config.gnu.cygwin.exe.debug.894915920.668329529.1752327754.;cdt.managedbuild.tool.gnu.c.compiler.mingw.base.495141995;cdt.managedbuild.tool.gnu.c.compiler.input.2117587977"> |
| <autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile"/> |
| <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="makefileGenerator"> |
| <runAction arguments="-f ${project_name}_scd.mk" command="make" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| </scannerConfigBuildInfo> |
| <scannerConfigBuildInfo instanceId="cdt.managedbuild.config.gnu.cygwin.exe.debug.894915920;cdt.managedbuild.config.gnu.cygwin.exe.debug.894915920.;cdt.managedbuild.tool.gnu.cpp.compiler.cygwin.exe.debug.1777691;cdt.managedbuild.tool.gnu.cpp.compiler.input.cygwin.1244920376"> |
| <autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP"/> |
| <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="makefileGenerator"> |
| <runAction arguments="-f ${project_name}_scd.mk" command="make" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| </scannerConfigBuildInfo> |
| <scannerConfigBuildInfo instanceId="cdt.managedbuild.config.gnu.cygwin.exe.release.1751191049;cdt.managedbuild.config.gnu.cygwin.exe.release.1751191049.;cdt.managedbuild.tool.gnu.c.compiler.cygwin.exe.release.821900023;cdt.managedbuild.tool.gnu.c.compiler.input.cygwin.1037217745"> |
| <autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC"/> |
| <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="makefileGenerator"> |
| <runAction arguments="-f ${project_name}_scd.mk" command="make" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| </scannerConfigBuildInfo> |
| <scannerConfigBuildInfo instanceId="cdt.managedbuild.config.gnu.cygwin.exe.release.1751191049;cdt.managedbuild.config.gnu.cygwin.exe.release.1751191049.;cdt.managedbuild.tool.gnu.cpp.compiler.cygwin.exe.release.599127307;cdt.managedbuild.tool.gnu.cpp.compiler.input.cygwin.1411083076"> |
| <autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP"/> |
| <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="makefileGenerator"> |
| <runAction arguments="-f ${project_name}_scd.mk" command="make" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC"> |
| <buildOutputProvider> |
| <openAction enabled="true" filePath=""/> |
| <parser enabled="true"/> |
| </buildOutputProvider> |
| <scannerInfoProvider id="specsFile"> |
| <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/> |
| <parser enabled="true"/> |
| </scannerInfoProvider> |
| </profile> |
| </scannerConfigBuildInfo> |
| </storageModule> |
| </cproject> |
