.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="3" 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="2">
  59                 <configuration configurationName="Default">
  60                         <resource resourceType="PROJECT" workspacePath="/cvc4-trunk"/>
  61                 </configuration>
  62         </storageModule>
  63         <storageModule moduleId="scannerConfiguration">
  64                 <autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId=""/>
  65                 <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile">
  66                         <buildOutputProvider>
  67                                 <openAction enabled="true" filePath=""/>
  68                                 <parser enabled="true"/>
  69                         </buildOutputProvider>
  70                         <scannerInfoProvider id="specsFile">
  71                                 <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
  72                                 <parser enabled="true"/>
  73                         </scannerInfoProvider>
  74                 </profile>
  75                 <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile">
  76                         <buildOutputProvider>
  77                                 <openAction enabled="true" filePath=""/>
  78                                 <parser enabled="true"/>
  79                         </buildOutputProvider>
  80                         <scannerInfoProvider id="makefileGenerator">
  81                                 <runAction arguments="-f ${project_name}_scd.mk" command="make" useDefault="true"/>
  82                                 <parser enabled="true"/>
  83                         </scannerInfoProvider>
  84                 </profile>
  85                 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile">
  86                         <buildOutputProvider>
  87                                 <openAction enabled="true" filePath=""/>
  88                                 <parser enabled="true"/>
  89                         </buildOutputProvider>
  90                         <scannerInfoProvider id="specsFile">
  91                                 <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
  92                                 <parser enabled="true"/>
  93                         </scannerInfoProvider>
  94                 </profile>
  95                 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP">
  96                         <buildOutputProvider>
  97                                 <openAction enabled="true" filePath=""/>
  98                                 <parser enabled="true"/>
  99                         </buildOutputProvider>
 100                         <scannerInfoProvider id="specsFile">
 101                                 <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/>
 102                                 <parser enabled="true"/>
 103                         </scannerInfoProvider>
 104                 </profile>
 105                 <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC">
 106                         <buildOutputProvider>
 107                                 <openAction enabled="true" filePath=""/>
 108                                 <parser enabled="true"/>
 109                         </buildOutputProvider>
 110                         <scannerInfoProvider id="specsFile">
 111                                 <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/>
 112                                 <parser enabled="true"/>
 113                         </scannerInfoProvider>
 114                 </profile>
 115                 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile">
 116                         <buildOutputProvider>
 117                                 <openAction enabled="true" filePath=""/>
 118                                 <parser enabled="true"/>
 119                         </buildOutputProvider>
 120                         <scannerInfoProvider id="specsFile">
 121                                 <runAction arguments="-c 'gcc -E -P -v -dD &quot;${plugin_state_location}/${specs_file}&quot;'" command="sh" useDefault="true"/>
 122                                 <parser enabled="true"/>
 123                         </scannerInfoProvider>
 124                 </profile>
 125                 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP">
 126                         <buildOutputProvider>
 127                                 <openAction enabled="true" filePath=""/>
 128                                 <parser enabled="true"/>
 129                         </buildOutputProvider>
 130                         <scannerInfoProvider id="specsFile">
 131                                 <runAction arguments="-c 'g++ -E -P -v -dD &quot;${plugin_state_location}/specs.cpp&quot;'" command="sh" useDefault="true"/>
 132                                 <parser enabled="true"/>
 133                         </scannerInfoProvider>
 134                 </profile>
 135                 <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC">
 136                         <buildOutputProvider>
 137                                 <openAction enabled="true" filePath=""/>
 138                                 <parser enabled="true"/>
 139                         </buildOutputProvider>
 140                         <scannerInfoProvider id="specsFile">
 141                                 <runAction arguments="-c 'gcc -E -P -v -dD &quot;${plugin_state_location}/specs.c&quot;'" command="sh" useDefault="true"/>
 142                                 <parser enabled="true"/>
 143                         </scannerInfoProvider>
 144                 </profile>
 145                 <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">
 146                         <autodiscovery enabled="true" problemReportingEnabled="false" selectedProfileId="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP"/>
 147                         <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile">
 148                                 <buildOutputProvider>
 149                                         <openAction enabled="true" filePath=""/>
 150                                         <parser enabled="true"/>
 151                                 </buildOutputProvider>
 152                                 <scannerInfoProvider id="specsFile">
 153                                         <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
 154                                         <parser enabled="true"/>
 155                                 </scannerInfoProvider>
 156                         </profile>
 157                         <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile">
 158                                 <buildOutputProvider>
 159                                         <openAction enabled="true" filePath=""/>
 160                                         <parser enabled="true"/>
 161                                 </buildOutputProvider>
 162                                 <scannerInfoProvider id="makefileGenerator">
 163                                         <runAction arguments="-f ${project_name}_scd.mk" command="make" useDefault="true"/>
 164                                         <parser enabled="true"/>
 165                                 </scannerInfoProvider>
 166                         </profile>
 167                         <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile">
 168                                 <buildOutputProvider>
 169                                         <openAction enabled="true" filePath=""/>
 170                                         <parser enabled="true"/>
 171                                 </buildOutputProvider>
 172                                 <scannerInfoProvider id="specsFile">
 173                                         <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
 174                                         <parser enabled="true"/>
 175                                 </scannerInfoProvider>
 176                         </profile>
 177                         <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP">
 178                                 <buildOutputProvider>
 179                                         <openAction enabled="true" filePath=""/>
 180                                         <parser enabled="true"/>
 181                                 </buildOutputProvider>
 182                                 <scannerInfoProvider id="specsFile">
 183                                         <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/>
 184                                         <parser enabled="true"/>
 185                                 </scannerInfoProvider>
 186                         </profile>
 187                         <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC">
 188                                 <buildOutputProvider>
 189                                         <openAction enabled="true" filePath=""/>
 190                                         <parser enabled="true"/>
 191                                 </buildOutputProvider>
 192                                 <scannerInfoProvider id="specsFile">
 193                                         <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/>
 194                                         <parser enabled="true"/>
 195                                 </scannerInfoProvider>
 196                         </profile>
 197                         <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile">
 198                                 <buildOutputProvider>
 199                                         <openAction enabled="true" filePath=""/>
 200                                         <parser enabled="true"/>
 201                                 </buildOutputProvider>
 202                                 <scannerInfoProvider id="specsFile">
 203                                         <runAction arguments="-c 'gcc -E -P -v -dD &quot;${plugin_state_location}/${specs_file}&quot;'" command="sh" useDefault="true"/>
 204                                         <parser enabled="true"/>
 205                                 </scannerInfoProvider>
 206                         </profile>
 207                         <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP">
 208                                 <buildOutputProvider>
 209                                         <openAction enabled="true" filePath=""/>
 210                                         <parser enabled="true"/>
 211                                 </buildOutputProvider>
 212                                 <scannerInfoProvider id="specsFile">
 213                                         <runAction arguments="-c 'g++ -E -P -v -dD &quot;${plugin_state_location}/specs.cpp&quot;'" command="sh" useDefault="true"/>
 214                                         <parser enabled="true"/>
 215                                 </scannerInfoProvider>
 216                         </profile>
 217                         <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC">
 218                                 <buildOutputProvider>
 219                                         <openAction enabled="true" filePath=""/>
 220                                         <parser enabled="true"/>
 221                                 </buildOutputProvider>
 222                                 <scannerInfoProvider id="specsFile">
 223                                         <runAction arguments="-c 'gcc -E -P -v -dD &quot;${plugin_state_location}/specs.c&quot;'" command="sh" useDefault="true"/>
 224                                         <parser enabled="true"/>
 225                                 </scannerInfoProvider>
 226                         </profile>
 227                 </scannerConfigBuildInfo>
 228                 <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">
 229                         <autodiscovery enabled="true" problemReportingEnabled="false" selectedProfileId="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC"/>
 230                         <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerProjectProfile">
 231                                 <buildOutputProvider>
 232                                         <openAction enabled="true" filePath=""/>
 233                                         <parser enabled="true"/>
 234                                 </buildOutputProvider>
 235                                 <scannerInfoProvider id="specsFile">
 236                                         <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
 237                                         <parser enabled="true"/>
 238                                 </scannerInfoProvider>
 239                         </profile>
 240                         <profile id="org.eclipse.cdt.make.core.GCCStandardMakePerFileProfile">
 241                                 <buildOutputProvider>
 242                                         <openAction enabled="true" filePath=""/>
 243                                         <parser enabled="true"/>
 244                                 </buildOutputProvider>
 245                                 <scannerInfoProvider id="makefileGenerator">
 246                                         <runAction arguments="-f ${project_name}_scd.mk" command="make" useDefault="true"/>
 247                                         <parser enabled="true"/>
 248                                 </scannerInfoProvider>
 249                         </profile>
 250                         <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfile">
 251                                 <buildOutputProvider>
 252                                         <openAction enabled="true" filePath=""/>
 253                                         <parser enabled="true"/>
 254                                 </buildOutputProvider>
 255                                 <scannerInfoProvider id="specsFile">
 256                                         <runAction arguments="-E -P -v -dD ${plugin_state_location}/${specs_file}" command="gcc" useDefault="true"/>
 257                                         <parser enabled="true"/>
 258                                 </scannerInfoProvider>
 259                         </profile>
 260                         <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileCPP">
 261                                 <buildOutputProvider>
 262                                         <openAction enabled="true" filePath=""/>
 263                                         <parser enabled="true"/>
 264                                 </buildOutputProvider>
 265                                 <scannerInfoProvider id="specsFile">
 266                                         <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.cpp" command="g++" useDefault="true"/>
 267                                         <parser enabled="true"/>
 268                                 </scannerInfoProvider>
 269                         </profile>
 270                         <profile id="org.eclipse.cdt.managedbuilder.core.GCCManagedMakePerProjectProfileC">
 271                                 <buildOutputProvider>
 272                                         <openAction enabled="true" filePath=""/>
 273                                         <parser enabled="true"/>
 274                                 </buildOutputProvider>
 275                                 <scannerInfoProvider id="specsFile">
 276                                         <runAction arguments="-E -P -v -dD ${plugin_state_location}/specs.c" command="gcc" useDefault="true"/>
 277                                         <parser enabled="true"/>
 278                                 </scannerInfoProvider>
 279                         </profile>
 280                         <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfile">
 281                                 <buildOutputProvider>
 282                                         <openAction enabled="true" filePath=""/>
 283                                         <parser enabled="true"/>
 284                                 </buildOutputProvider>
 285                                 <scannerInfoProvider id="specsFile">
 286                                         <runAction arguments="-c 'gcc -E -P -v -dD &quot;${plugin_state_location}/${specs_file}&quot;'" command="sh" useDefault="true"/>
 287                                         <parser enabled="true"/>
 288                                 </scannerInfoProvider>
 289                         </profile>
 290                         <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileCPP">
 291                                 <buildOutputProvider>
 292                                         <openAction enabled="true" filePath=""/>
 293                                         <parser enabled="true"/>
 294                                 </buildOutputProvider>
 295                                 <scannerInfoProvider id="specsFile">
 296                                         <runAction arguments="-c 'g++ -E -P -v -dD &quot;${plugin_state_location}/specs.cpp&quot;'" command="sh" useDefault="true"/>
 297                                         <parser enabled="true"/>
 298                                 </scannerInfoProvider>
 299                         </profile>
 300                         <profile id="org.eclipse.cdt.managedbuilder.core.GCCWinManagedMakePerProjectProfileC">
 301                                 <buildOutputProvider>
 302                                         <openAction enabled="true" filePath=""/>
 303                                         <parser enabled="true"/>
 304                                 </buildOutputProvider>
 305                                 <scannerInfoProvider id="specsFile">
 306                                         <runAction arguments="-c 'gcc -E -P -v -dD &quot;${plugin_state_location}/specs.c&quot;'" command="sh" useDefault="true"/>
 307                                         <parser enabled="true"/>
 308                                 </scannerInfoProvider>
 309                         </profile>
 310                 </scannerConfigBuildInfo>
 311         </storageModule>
 312         <storageModule moduleId="org.eclipse.cdt.make.core.buildtargets">
 313                 <buildTargets>
 314                         <target name="check" path="" targetID="org.eclipse.cdt.build.MakeTargetBuilder">
 315                                 <buildCommand>make</buildCommand>
 316                                 <buildArguments>-j10</buildArguments>
 317                                 <buildTarget>check</buildTarget>
 318                                 <stopOnError>true</stopOnError>
 319                                 <useDefaultCommand>false</useDefaultCommand>
 320                                 <runAllBuilders>true</runAllBuilders>
 321                         </target>
 322                         <target name="all" path="examples" targetID="org.eclipse.cdt.build.MakeTargetBuilder">
 323                                 <buildCommand>make</buildCommand>
 324                                 <buildArguments>-j10</buildArguments>
 325                                 <buildTarget>all</buildTarget>
 326                                 <stopOnError>true</stopOnError>
 327                                 <useDefaultCommand>true</useDefaultCommand>
 328                                 <runAllBuilders>true</runAllBuilders>
 329                         </target>
 330                         <target name="uf" path="src/theory/uf" targetID="org.eclipse.cdt.build.MakeTargetBuilder">
 331                                 <buildCommand>make</buildCommand>
 332                                 <buildArguments>-j2</buildArguments>
 333                                 <stopOnError>true</stopOnError>
 334                                 <useDefaultCommand>true</useDefaultCommand>
 335                                 <runAllBuilders>true</runAllBuilders>
 336                         </target>
 337                         <target name="check" path="test/regress" targetID="org.eclipse.cdt.build.MakeTargetBuilder">
 338                                 <buildCommand>make</buildCommand>
 339                                 <buildArguments>-j10</buildArguments>
 340                                 <buildTarget>check</buildTarget>
 341                                 <stopOnError>true</stopOnError>
 342                                 <useDefaultCommand>true</useDefaultCommand>
 343                                 <runAllBuilders>true</runAllBuilders>
 344                         </target>
 345                         <target name="check" path="test/unit" targetID="org.eclipse.cdt.build.MakeTargetBuilder">
 346                                 <buildCommand>make</buildCommand>
 347                                 <buildArguments>-j10</buildArguments>
 348                                 <buildTarget>check</buildTarget>
 349                                 <stopOnError>true</stopOnError>
 350                                 <useDefaultCommand>true</useDefaultCommand>
 351                                 <runAllBuilders>true</runAllBuilders>
 352                         </target>
 353                 </buildTargets>
 354         </storageModule>
 355         <storageModule moduleId="org.eclipse.cdt.core.LanguageSettingsProviders"/>
 356 </cproject>