.project

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