1 <?xml version="1.0" encoding="UTF-8"?>
9 <name>org.eclipse.dltk.core.scriptbuilder</name>
14 <name>org.eclipse.cdt.managedbuilder.core.genmakebuilder</name>
15 <triggers>clean,full,incremental,</triggers>
19 <value>?name?=outputEntries\|?children?=?name?=entry\\\\\\\|\\\|\||</value>
26 <key>org.eclipse.cdt.make.core.append_environment</key>
30 <key>org.eclipse.cdt.make.core.autoBuildTarget</key>
34 <key>org.eclipse.cdt.make.core.buildArguments</key>
38 <key>org.eclipse.cdt.make.core.buildCommand</key>
42 <key>org.eclipse.cdt.make.core.buildLocation</key>
43 <value>${workspace_loc/cvc4/}</value>
46 <key>org.eclipse.cdt.make.core.cleanBuildTarget</key>
50 <key>org.eclipse.cdt.make.core.contents</key>
51 <value>org.eclipse.cdt.make.core.activeConfigSettings</value>
54 <key>org.eclipse.cdt.make.core.enableAutoBuild</key>
58 <key>org.eclipse.cdt.make.core.enableCleanBuild</key>
62 <key>org.eclipse.cdt.make.core.enableFullBuild</key>
66 <key>org.eclipse.cdt.make.core.fullBuildTarget</key>
70 <key>org.eclipse.cdt.make.core.stopOnError</key>
74 <key>org.eclipse.cdt.make.core.useDefaultBuildCmd</key>
80 <name>org.eclipse.cdt.managedbuilder.core.ScannerConfigBuilder</name>
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>