diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-10-05 22:07:16 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-10-05 22:07:16 +0000 |
commit | 4c87c0794b7e954afd090cfbf441caa0b09c3ef5 (patch) | |
tree | d0cfcf60cbf9600c52dcb728744802ad27a5c3e1 /.cproject | |
parent | 7a9899f394476e53b7f759e698c7e10c8388fd57 (diff) |
BoolExpr removed and replaced with Expr
Diffstat (limited to '.cproject')
-rw-r--r-- | .cproject | 13 |
1 files changed, 10 insertions, 3 deletions
@@ -1,7 +1,5 @@ <?xml version="1.0" encoding="UTF-8" standalone="no"?> -<?fileVersion 4.0.0?> - -<cproject storage_type_id="org.eclipse.cdt.core.XmlProjectDescriptionStorage"> +<?fileVersion 4.0.0?><cproject storage_type_id="org.eclipse.cdt.core.XmlProjectDescriptionStorage"> <storageModule moduleId="org.eclipse.cdt.core.settings"> <cconfiguration id="cdt.managedbuild.toolchain.gnu.base.1461790692"> <storageModule buildSystemId="org.eclipse.cdt.managedbuilder.core.configurationDataProvider" id="cdt.managedbuild.toolchain.gnu.base.1461790692" moduleId="org.eclipse.cdt.core.settings" name="Default"> @@ -319,6 +317,14 @@ <useDefaultCommand>false</useDefaultCommand> <runAllBuilders>true</runAllBuilders> </target> + <target name="all" path="examples" targetID="org.eclipse.cdt.build.MakeTargetBuilder"> + <buildCommand>make</buildCommand> + <buildArguments>-j10</buildArguments> + <buildTarget>all</buildTarget> + <stopOnError>true</stopOnError> + <useDefaultCommand>true</useDefaultCommand> + <runAllBuilders>true</runAllBuilders> + </target> <target name="uf" path="src/theory/uf" targetID="org.eclipse.cdt.build.MakeTargetBuilder"> <buildCommand>make</buildCommand> <buildArguments>-j2</buildArguments> @@ -344,4 +350,5 @@ </target> </buildTargets> </storageModule> + <storageModule moduleId="org.eclipse.cdt.core.LanguageSettingsProviders"/> </cproject> |