.cproject
author Catarina Boucinha <ccb@fe.up.pt>
Thu, 27 Aug 2009 16:06:46 +0100
changeset 202 da1a8186f86f
parent 100 ab431470e098
permissions -rw-r--r--
Initial (very rough) version of semantic checker (stage3)
100
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
     1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
     2
<?fileVersion 4.0.0?>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
     3
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
     4
<cproject>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
     5
<storageModule moduleId="org.eclipse.cdt.core.settings">
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
     6
<cconfiguration id="converted.config.398569298">
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
     7
<storageModule moduleId="scannerConfiguration">
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
     8
<autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile"/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
     9
<profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile">
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    10
<buildOutputProvider>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    11
<openAction enabled="true" filePath=""/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    12
<parser enabled="true"/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    13
</buildOutputProvider>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    14
<scannerInfoProvider id="specsFile">
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    15
<runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    16
<parser enabled="true"/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    17
</scannerInfoProvider>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    18
</profile>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    19
<profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile">
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    20
<buildOutputProvider>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    21
<openAction enabled="false" filePath=""/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    22
<parser enabled="true"/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    23
</buildOutputProvider>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    24
<scannerInfoProvider id="makefileGenerator">
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    25
<runAction arguments="-f ${project_name}_scd.mk" command="make" useDefault="true"/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    26
<parser enabled="false"/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    27
</scannerInfoProvider>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    28
</profile>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    29
<profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile">
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    30
<buildOutputProvider>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    31
<openAction enabled="false" filePath=""/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    32
<parser enabled="true"/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    33
</buildOutputProvider>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    34
<scannerInfoProvider id="specsFile">
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    35
<runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    36
<parser enabled="false"/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    37
</scannerInfoProvider>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    38
</profile>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    39
<profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile">
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    40
<buildOutputProvider>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    41
<openAction enabled="false" filePath=""/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    42
<parser enabled="true"/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    43
</buildOutputProvider>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    44
<scannerInfoProvider id="specsFile">
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    45
<runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    46
<parser enabled="false"/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    47
</scannerInfoProvider>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    48
</profile>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    49
</storageModule>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    50
<storageModule moduleId="org.eclipse.cdt.core.pathentry">
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    51
<pathentry kind="src" path=""/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    52
<pathentry kind="out" path=""/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    53
<pathentry kind="con" path="org.eclipse.cdt.make.core.DISCOVERED_SCANNER_INFO"/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    54
</storageModule>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    55
<storageModule moduleId="org.eclipse.cdt.make.core.buildtargets">
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    56
<buildTargets>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    57
<target name="test" path="stage4/generate_cc" targetID="org.eclipse.cdt.make.MakeTargetBuilder">
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    58
<buildCommand>make</buildCommand>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    59
<buildArguments/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    60
<buildTarget>test</buildTarget>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    61
<stopOnError>true</stopOnError>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    62
<useDefaultCommand>true</useDefaultCommand>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    63
</target>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    64
<target name="all" path="" targetID="org.eclipse.cdt.make.MakeTargetBuilder">
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    65
<buildCommand>make</buildCommand>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    66
<buildArguments/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    67
<buildTarget>all</buildTarget>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    68
<stopOnError>true</stopOnError>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    69
<useDefaultCommand>true</useDefaultCommand>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    70
</target>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    71
<target name="clean" path="" targetID="org.eclipse.cdt.make.MakeTargetBuilder">
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    72
<buildCommand>make</buildCommand>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    73
<buildArguments/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    74
<buildTarget>clean</buildTarget>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    75
<stopOnError>false</stopOnError>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    76
<useDefaultCommand>true</useDefaultCommand>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    77
</target>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    78
</buildTargets>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    79
</storageModule>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    80
<storageModule buildSystemId="org.eclipse.cdt.core.defaultConfigDataProvider" id="converted.config.398569298" moduleId="org.eclipse.cdt.core.settings" name="convertedConfig">
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    81
<externalSettings/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    82
<extensions>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    83
<extension id="org.eclipse.cdt.core.domsourceindexer" point="org.eclipse.cdt.core.CIndexer"/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    84
<extension id="org.eclipse.cdt.core.ELF" point="org.eclipse.cdt.core.BinaryParser"/>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    85
</extensions>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    86
</storageModule>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    87
</cconfiguration>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    88
</storageModule>
ab431470e098 Windows related enhancements
etisserant
parents:
diff changeset
    89
</cproject>