.cproject

   1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
   2 <?fileVersion 4.0.0?><cproject storage_type_id="org.eclipse.cdt.core.XmlProjectDescriptionStorage">
   3         <storageModule moduleId="org.eclipse.cdt.core.settings">
   4                 <cconfiguration id="cdt.managedbuild.toolchain.gnu.base.1461790692">
   5                         <storageModule buildSystemId="org.eclipse.cdt.managedbuilder.core.configurationDataProvider" id="cdt.managedbuild.toolchain.gnu.base.1461790692" moduleId="org.eclipse.cdt.core.settings" name="Default">
   6                                 <externalSettings/>
   7                                 <extensions>
   8                                         <extension id="org.eclipse.cdt.core.ELF" point="org.eclipse.cdt.core.BinaryParser"/>
   9                                         <extension id="org.eclipse.cdt.core.GCCErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
  10                                         <extension id="org.eclipse.cdt.core.GASErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
  11                                         <extension id="org.eclipse.cdt.core.GLDErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
  12                                         <extension id="org.eclipse.cdt.core.GmakeErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
  13                                         <extension id="org.eclipse.cdt.core.CWDLocator" point="org.eclipse.cdt.core.ErrorParser"/>
  14                                 </extensions>
  15                         </storageModule>
  16                         <storageModule moduleId="cdtBuildSystem" version="4.0.0">
  17                                 <configuration artifactName="cvc4" buildProperties="" description="" id="cdt.managedbuild.toolchain.gnu.base.1461790692" name="Default" parent="org.eclipse.cdt.build.core.emptycfg">
  18                                         <folderInfo id="cdt.managedbuild.toolchain.gnu.base.1461790692.1059214216" name="/" resourcePath="">
  19                                                 <toolChain id="cdt.managedbuild.toolchain.gnu.base.1311293674" name="cdt.managedbuild.toolchain.gnu.base" superClass="cdt.managedbuild.toolchain.gnu.base">
  20                                                         <targetPlatform archList="all" binaryParser="org.eclipse.cdt.core.ELF" id="cdt.managedbuild.target.gnu.platform.base.1799734525" name="Debug Platform" osList="linux,hpux,aix,qnx" superClass="cdt.managedbuild.target.gnu.platform.base"/>
  21                                                         <builder buildPath="${workspace_loc/cvc4/}" id="cdt.managedbuild.target.gnu.builder.base.549477204" incrementalBuildTarget="all" keepEnvironmentInBuildfile="false" managedBuildOn="false" name="Gnu Make Builder" parallelBuildOn="true" parallelizationNumber="10" superClass="cdt.managedbuild.target.gnu.builder.base">
  22                                                                 <outputEntries>
  23                                                                         <entry flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="outputPath" name=""/>
  24                                                                 </outputEntries>
  25                                                         </builder>
  26                                                         <tool id="cdt.managedbuild.tool.gnu.archiver.base.888684090" name="GCC Archiver" superClass="cdt.managedbuild.tool.gnu.archiver.base"/>
  27                                                         <tool id="cdt.managedbuild.tool.gnu.cpp.compiler.base.1803857875" name="GCC C++ Compiler" superClass="cdt.managedbuild.tool.gnu.cpp.compiler.base">
  28                                                                 <inputType id="cdt.managedbuild.tool.gnu.cpp.compiler.input.1333398893" superClass="cdt.managedbuild.tool.gnu.cpp.compiler.input"/>
  29                                                         </tool>
  30                                                         <tool id="cdt.managedbuild.tool.gnu.c.compiler.base.1860041504" name="GCC C Compiler" superClass="cdt.managedbuild.tool.gnu.c.compiler.base">
  31                                                                 <inputType id="cdt.managedbuild.tool.gnu.c.compiler.input.814325769" superClass="cdt.managedbuild.tool.gnu.c.compiler.input"/>
  32                                                         </tool>
  33                                                         <tool id="cdt.managedbuild.tool.gnu.c.linker.base.1687463194" name="GCC C Linker" superClass="cdt.managedbuild.tool.gnu.c.linker.base"/>
  34                                                         <tool id="cdt.managedbuild.tool.gnu.cpp.linker.base.709612973" name="GCC C++ Linker" superClass="cdt.managedbuild.tool.gnu.cpp.linker.base">
  35                                                                 <inputType id="cdt.managedbuild.tool.gnu.cpp.linker.input.399338768" superClass="cdt.managedbuild.tool.gnu.cpp.linker.input">
  36                                                                         <additionalInput kind="additionalinputdependency" paths="$(USER_OBJS)"/>
  37                                                                         <additionalInput kind="additionalinput" paths="$(LIBS)"/>
  38                                                                 </inputType>
  39                                                         </tool>
  40                                                         <tool id="cdt.managedbuild.tool.gnu.assembler.base.1211277012" name="GCC Assembler" superClass="cdt.managedbuild.tool.gnu.assembler.base">
  41                                                                 <inputType id="cdt.managedbuild.tool.gnu.assembler.input.330956883" superClass="cdt.managedbuild.tool.gnu.assembler.input"/>
  42                                                         </tool>
  43                                                 </toolChain>
  44                                         </folderInfo>
  45                                         <sourceEntries>
  46                                                 <entry excluding="prop|parser|smt2" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name=""/>
  47                                         </sourceEntries>
  48                                 </configuration>
  49                         </storageModule>
  50                         <storageModule moduleId="org.eclipse.cdt.core.externalSettings"/>
  51                         <storageModule moduleId="org.eclipse.cdt.internal.ui.text.commentOwnerProjectMappings"/>
  52                         <storageModule moduleId="org.eclipse.cdt.core.language.mapping"/>
  53                 </cconfiguration>
  54         </storageModule>
  55         <storageModule moduleId="cdtBuildSystem" version="4.0.0">
  56                 <project id="cvc4.null.1129006228" name="cvc4"/>
  57         </storageModule>
  58         <storageModule moduleId="refreshScope" versionNumber="1">
  59                 <resource resourceType="PROJECT" workspacePath="/cvc4-trunk"/>
  60         </storageModule>
  61         <storageModule moduleId="scannerConfiguration">
  62                 <autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId=""/>
  63                 <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile">
  64                         <buildOutputProvider>
  65                                 <openAction enabled="true" filePath=""/>
  66                                 <parser enabled="true"/>
  67                         </buildOutputProvider>
  68                         <scannerInfoProvider id="specsFile">
  69                                 <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
  70                                 <parser enabled="true"/>
  71                         </scannerInfoProvider>
  72                 </profile>
  73                 <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile">
  74                         <buildOutputProvider>
  75                                 <openAction enabled="true" filePath=""/>
  76                                 <parser enabled="true"/>
  77                         </buildOutputProvider>
  78                         <scannerInfoProvider id="makefileGenerator">
  79                                 <runAction arguments="-f ${project_name}_scd.mk" command="make" useDefault="true"/>
  80                                 <parser enabled="true"/>
  81                         </scannerInfoProvider>
  82                 </profile>
  83                 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile">
  84                         <buildOutputProvider>
  85                                 <openAction enabled="true" filePath=""/>
  86                                 <parser enabled="true"/>
  87                         </buildOutputProvider>
  88                         <scannerInfoProvider id="specsFile">
  89                                 <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
  90                                 <parser enabled="true"/>
  91                         </scannerInfoProvider>
  92                 </profile>
  93                 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP">
  94                         <buildOutputProvider>
  95                                 <openAction enabled="true" filePath=""/>
  96                                 <parser enabled="true"/>
  97                         </buildOutputProvider>
  98                         <scannerInfoProvider id="specsFile">
  99                                 <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/>
 100                                 <parser enabled="true"/>
 101                         </scannerInfoProvider>
 102                 </profile>
 103                 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC">
 104                         <buildOutputProvider>
 105                                 <openAction enabled="true" filePath=""/>
 106                                 <parser enabled="true"/>
 107                         </buildOutputProvider>
 108                         <scannerInfoProvider id="specsFile">
 109                                 <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/>
 110                                 <parser enabled="true"/>
 111                         </scannerInfoProvider>
 112                 </profile>
 113                 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile">
 114                         <buildOutputProvider>
 115                                 <openAction enabled="true" filePath=""/>
 116                                 <parser enabled="true"/>
 117                         </buildOutputProvider>
 118                         <scannerInfoProvider id="specsFile">
 119                                 <runAction arguments="-c 'gcc -E -P -v -dD &quot;${plugin_state_location}/${specs_file}&quot;'" command="sh" useDefault="true"/>
 120                                 <parser enabled="true"/>
 121                         </scannerInfoProvider>
 122                 </profile>
 123                 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP">
 124                         <buildOutputProvider>
 125                                 <openAction enabled="true" filePath=""/>
 126                                 <parser enabled="true"/>
 127                         </buildOutputProvider>
 128                         <scannerInfoProvider id="specsFile">
 129                                 <runAction arguments="-c 'g++ -E -P -v -dD &quot;${plugin_state_location}/specs.cpp&quot;'" command="sh" useDefault="true"/>
 130                                 <parser enabled="true"/>
 131                         </scannerInfoProvider>
 132                 </profile>
 133                 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC">
 134                         <buildOutputProvider>
 135                                 <openAction enabled="true" filePath=""/>
 136                                 <parser enabled="true"/>
 137                         </buildOutputProvider>
 138                         <scannerInfoProvider id="specsFile">
 139                                 <runAction arguments="-c 'gcc -E -P -v -dD &quot;${plugin_state_location}/specs.c&quot;'" command="sh" useDefault="true"/>
 140                                 <parser enabled="true"/>
 141                         </scannerInfoProvider>
 142                 </profile>
 143                 <scannerConfigBuildInfo instanceId="cdt.managedbuild.toolchain.gnu.base.1461790692;cdt.managedbuild.toolchain.gnu.base.1461790692.1059214216;cdt.managedbuild.tool.gnu.cpp.compiler.base.1803857875;cdt.managedbuild.tool.gnu.cpp.compiler.input.1333398893">
 144                         <autodiscovery enabled="true" problemReportingEnabled="false" selectedProfileId="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP"/>
 145                         <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile">
 146                                 <buildOutputProvider>
 147                                         <openAction enabled="true" filePath=""/>
 148                                         <parser enabled="true"/>
 149                                 </buildOutputProvider>
 150                                 <scannerInfoProvider id="specsFile">
 151                                         <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
 152                                         <parser enabled="true"/>
 153                                 </scannerInfoProvider>
 154                         </profile>
 155                         <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile">
 156                                 <buildOutputProvider>
 157                                         <openAction enabled="true" filePath=""/>
 158                                         <parser enabled="true"/>
 159                                 </buildOutputProvider>
 160                                 <scannerInfoProvider id="makefileGenerator">
 161                                         <runAction arguments="-f ${project_name}_scd.mk" command="make" useDefault="true"/>
 162                                         <parser enabled="true"/>
 163                                 </scannerInfoProvider>
 164                         </profile>
 165                         <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile">
 166                                 <buildOutputProvider>
 167                                         <openAction enabled="true" filePath=""/>
 168                                         <parser enabled="true"/>
 169                                 </buildOutputProvider>
 170                                 <scannerInfoProvider id="specsFile">
 171                                         <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
 172                                         <parser enabled="true"/>
 173                                 </scannerInfoProvider>
 174                         </profile>
 175                         <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP">
 176                                 <buildOutputProvider>
 177                                         <openAction enabled="true" filePath=""/>
 178                                         <parser enabled="true"/>
 179                                 </buildOutputProvider>
 180                                 <scannerInfoProvider id="specsFile">
 181                                         <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/>
 182                                         <parser enabled="true"/>
 183                                 </scannerInfoProvider>
 184                         </profile>
 185                         <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC">
 186                                 <buildOutputProvider>
 187                                         <openAction enabled="true" filePath=""/>
 188                                         <parser enabled="true"/>
 189                                 </buildOutputProvider>
 190                                 <scannerInfoProvider id="specsFile">
 191                                         <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/>
 192                                         <parser enabled="true"/>
 193                                 </scannerInfoProvider>
 194                         </profile>
 195                         <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile">
 196                                 <buildOutputProvider>
 197                                         <openAction enabled="true" filePath=""/>
 198                                         <parser enabled="true"/>
 199                                 </buildOutputProvider>
 200                                 <scannerInfoProvider id="specsFile">
 201                                         <runAction arguments="-c 'gcc -E -P -v -dD &quot;${plugin_state_location}/${specs_file}&quot;'" command="sh" useDefault="true"/>
 202                                         <parser enabled="true"/>
 203                                 </scannerInfoProvider>
 204                         </profile>
 205                         <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP">
 206                                 <buildOutputProvider>
 207                                         <openAction enabled="true" filePath=""/>
 208                                         <parser enabled="true"/>
 209                                 </buildOutputProvider>
 210                                 <scannerInfoProvider id="specsFile">
 211                                         <runAction arguments="-c 'g++ -E -P -v -dD &quot;${plugin_state_location}/specs.cpp&quot;'" command="sh" useDefault="true"/>
 212                                         <parser enabled="true"/>
 213                                 </scannerInfoProvider>
 214                         </profile>
 215                         <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC">
 216                                 <buildOutputProvider>
 217                                         <openAction enabled="true" filePath=""/>
 218                                         <parser enabled="true"/>
 219                                 </buildOutputProvider>
 220                                 <scannerInfoProvider id="specsFile">
 221                                         <runAction arguments="-c 'gcc -E -P -v -dD &quot;${plugin_state_location}/specs.c&quot;'" command="sh" useDefault="true"/>
 222                                         <parser enabled="true"/>
 223                                 </scannerInfoProvider>
 224                         </profile>
 225                 </scannerConfigBuildInfo>
 226                 <scannerConfigBuildInfo instanceId="cdt.managedbuild.toolchain.gnu.base.1461790692;cdt.managedbuild.toolchain.gnu.base.1461790692.1059214216;cdt.managedbuild.tool.gnu.c.compiler.base.1860041504;cdt.managedbuild.tool.gnu.c.compiler.input.814325769">
 227                         <autodiscovery enabled="true" problemReportingEnabled="false" selectedProfileId="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC"/>
 228                         <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile">
 229                                 <buildOutputProvider>
 230                                         <openAction enabled="true" filePath=""/>
 231                                         <parser enabled="true"/>
 232                                 </buildOutputProvider>
 233                                 <scannerInfoProvider id="specsFile">
 234                                         <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
 235                                         <parser enabled="true"/>
 236                                 </scannerInfoProvider>
 237                         </profile>
 238                         <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile">
 239                                 <buildOutputProvider>
 240                                         <openAction enabled="true" filePath=""/>
 241                                         <parser enabled="true"/>
 242                                 </buildOutputProvider>
 243                                 <scannerInfoProvider id="makefileGenerator">
 244                                         <runAction arguments="-f ${project_name}_scd.mk" command="make" useDefault="true"/>
 245                                         <parser enabled="true"/>
 246                                 </scannerInfoProvider>
 247                         </profile>
 248                         <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile">
 249                                 <buildOutputProvider>
 250                                         <openAction enabled="true" filePath=""/>
 251                                         <parser enabled="true"/>
 252                                 </buildOutputProvider>
 253                                 <scannerInfoProvider id="specsFile">
 254                                         <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
 255                                         <parser enabled="true"/>
 256                                 </scannerInfoProvider>
 257                         </profile>
 258                         <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP">
 259                                 <buildOutputProvider>
 260                                         <openAction enabled="true" filePath=""/>
 261                                         <parser enabled="true"/>
 262                                 </buildOutputProvider>
 263                                 <scannerInfoProvider id="specsFile">
 264                                         <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/>
 265                                         <parser enabled="true"/>
 266                                 </scannerInfoProvider>
 267                         </profile>
 268                         <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC">
 269                                 <buildOutputProvider>
 270                                         <openAction enabled="true" filePath=""/>
 271                                         <parser enabled="true"/>
 272                                 </buildOutputProvider>
 273                                 <scannerInfoProvider id="specsFile">
 274                                         <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/>
 275                                         <parser enabled="true"/>
 276                                 </scannerInfoProvider>
 277                         </profile>
 278                         <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile">
 279                                 <buildOutputProvider>
 280                                         <openAction enabled="true" filePath=""/>
 281                                         <parser enabled="true"/>
 282                                 </buildOutputProvider>
 283                                 <scannerInfoProvider id="specsFile">
 284                                         <runAction arguments="-c 'gcc -E -P -v -dD &quot;${plugin_state_location}/${specs_file}&quot;'" command="sh" useDefault="true"/>
 285                                         <parser enabled="true"/>
 286                                 </scannerInfoProvider>
 287                         </profile>
 288                         <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP">
 289                                 <buildOutputProvider>
 290                                         <openAction enabled="true" filePath=""/>
 291                                         <parser enabled="true"/>
 292                                 </buildOutputProvider>
 293                                 <scannerInfoProvider id="specsFile">
 294                                         <runAction arguments="-c 'g++ -E -P -v -dD &quot;${plugin_state_location}/specs.cpp&quot;'" command="sh" useDefault="true"/>
 295                                         <parser enabled="true"/>
 296                                 </scannerInfoProvider>
 297                         </profile>
 298                         <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC">
 299                                 <buildOutputProvider>
 300                                         <openAction enabled="true" filePath=""/>
 301                                         <parser enabled="true"/>
 302                                 </buildOutputProvider>
 303                                 <scannerInfoProvider id="specsFile">
 304                                         <runAction arguments="-c 'gcc -E -P -v -dD &quot;${plugin_state_location}/specs.c&quot;'" command="sh" useDefault="true"/>
 305                                         <parser enabled="true"/>
 306                                 </scannerInfoProvider>
 307                         </profile>
 308                 </scannerConfigBuildInfo>
 309         </storageModule>
 310         <storageModule moduleId="org.eclipse.cdt.make.core.buildtargets">
 311                 <buildTargets>
 312                         <target name="check" path="" targetID="org.eclipse.cdt.build.MakeTargetBuilder">
 313                                 <buildCommand>make</buildCommand>
 314                                 <buildArguments>-j10</buildArguments>
 315                                 <buildTarget>check</buildTarget>
 316                                 <stopOnError>true</stopOnError>
 317                                 <useDefaultCommand>false</useDefaultCommand>
 318                                 <runAllBuilders>true</runAllBuilders>
 319                         </target>
 320                         <target name="all" path="examples" targetID="org.eclipse.cdt.build.MakeTargetBuilder">
 321                                 <buildCommand>make</buildCommand>
 322                                 <buildArguments>-j10</buildArguments>
 323                                 <buildTarget>all</buildTarget>
 324                                 <stopOnError>true</stopOnError>
 325                                 <useDefaultCommand>true</useDefaultCommand>
 326                                 <runAllBuilders>true</runAllBuilders>
 327                         </target>
 328                         <target name="uf" path="src/theory/uf" targetID="org.eclipse.cdt.build.MakeTargetBuilder">
 329                                 <buildCommand>make</buildCommand>
 330                                 <buildArguments>-j2</buildArguments>
 331                                 <stopOnError>true</stopOnError>
 332                                 <useDefaultCommand>true</useDefaultCommand>
 333                                 <runAllBuilders>true</runAllBuilders>
 334                         </target>
 335                         <target name="check" path="test/regress" targetID="org.eclipse.cdt.build.MakeTargetBuilder">
 336                                 <buildCommand>make</buildCommand>
 337                                 <buildArguments>-j10</buildArguments>
 338                                 <buildTarget>check</buildTarget>
 339                                 <stopOnError>true</stopOnError>
 340                                 <useDefaultCommand>true</useDefaultCommand>
 341                                 <runAllBuilders>true</runAllBuilders>
 342                         </target>
 343                         <target name="check" path="test/unit" targetID="org.eclipse.cdt.build.MakeTargetBuilder">
 344                                 <buildCommand>make</buildCommand>
 345                                 <buildArguments>-j10</buildArguments>
 346                                 <buildTarget>check</buildTarget>
 347                                 <stopOnError>true</stopOnError>
 348                                 <useDefaultCommand>true</useDefaultCommand>
 349                                 <runAllBuilders>true</runAllBuilders>
 350                         </target>
 351                 </buildTargets>
 352         </storageModule>
 353         <storageModule moduleId="org.eclipse.cdt.core.LanguageSettingsProviders"/>
 354 </cproject>