.project

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <projectDescription>
   3         <name>cvc4</name>
   4         <comment></comment>
   5         <projects>
   6         </projects>
   7         <buildSpec>
   8                 <buildCommand>
   9                         <name>org.eclipse.cdt.managedbuilder.core.genmakebuilder</name>
  10                         <triggers>clean,full,incremental,</triggers>
  11                         <arguments>
  12                                 <dictionary>
  13                                         <key>?children?</key>
  14                                         <value>?name?=outputEntries\|?children?=?name?=entry\\\\\\\|\\\|\||</value>
  15                                 </dictionary>
  16                                 <dictionary>
  17                                         <key>?name?</key>
  18                                         <value></value>
  19                                 </dictionary>
  20                                 <dictionary>
  21                                         <key>org.eclipse.cdt.make.core.append_environment</key>
  22                                         <value>true</value>
  23                                 </dictionary>
  24                                 <dictionary>
  25                                         <key>org.eclipse.cdt.make.core.autoBuildTarget</key>
  26                                         <value>all</value>
  27                                 </dictionary>
  28                                 <dictionary>
  29                                         <key>org.eclipse.cdt.make.core.buildArguments</key>
  30                                         <value></value>
  31                                 </dictionary>
  32                                 <dictionary>
  33                                         <key>org.eclipse.cdt.make.core.buildCommand</key>
  34                                         <value>make</value>
  35                                 </dictionary>
  36                                 <dictionary>
  37                                         <key>org.eclipse.cdt.make.core.buildLocation</key>
  38                                         <value>${workspace_loc/cvc4/}</value>
  39                                 </dictionary>
  40                                 <dictionary>
  41                                         <key>org.eclipse.cdt.make.core.cleanBuildTarget</key>
  42                                         <value>clean</value>
  43                                 </dictionary>
  44                                 <dictionary>
  45                                         <key>org.eclipse.cdt.make.core.contents</key>
  46                                         <value>org.eclipse.cdt.make.core.activeConfigSettings</value>
  47                                 </dictionary>
  48                                 <dictionary>
  49                                         <key>org.eclipse.cdt.make.core.enableAutoBuild</key>
  50                                         <value>false</value>
  51                                 </dictionary>
  52                                 <dictionary>
  53                                         <key>org.eclipse.cdt.make.core.enableCleanBuild</key>
  54                                         <value>true</value>
  55                                 </dictionary>
  56                                 <dictionary>
  57                                         <key>org.eclipse.cdt.make.core.enableFullBuild</key>
  58                                         <value>true</value>
  59                                 </dictionary>
  60                                 <dictionary>
  61                                         <key>org.eclipse.cdt.make.core.fullBuildTarget</key>
  62                                         <value>all</value>
  63                                 </dictionary>
  64                                 <dictionary>
  65                                         <key>org.eclipse.cdt.make.core.stopOnError</key>
  66                                         <value>true</value>
  67                                 </dictionary>
  68                                 <dictionary>
  69                                         <key>org.eclipse.cdt.make.core.useDefaultBuildCmd</key>
  70                                         <value>true</value>
  71                                 </dictionary>
  72                         </arguments>
  73                 </buildCommand>
  74                 <buildCommand>
  75                         <name>org.eclipse.cdt.managedbuilder.core.ScannerConfigBuilder</name>
  76                         <arguments>
  77                         </arguments>
  78                 </buildCommand>
  79         </buildSpec>
  80         <natures>
  81                 <nature>org.eclipse.cdt.core.cnature</nature>
  82                 <nature>org.eclipse.cdt.core.ccnature</nature>
  83                 <nature>org.eclipse.cdt.managedbuilder.core.managedBuildNature</nature>
  84                 <nature>org.eclipse.cdt.managedbuilder.core.ScannerConfigNature</nature>
  85         </natures>
  86 </projectDescription>