.cproject

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