-
Notifications
You must be signed in to change notification settings - Fork 0
/
sorted-tree.ecf
30 lines (30 loc) · 1.59 KB
/
sorted-tree.ecf
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
<?xml version="1.0" encoding="ISO-8859-1"?>
<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-19-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-19-0 http://www.eiffel.com/developers/xml/configuration-1-18-0.xsd" name="sorted-tree" uuid="3D5D5730-EC73-41DE-B981-7E5440C06B08">
<target name="sorted-tree">
<root class="ROOT" feature="make"/>
<file_rule>
<exclude>/CVS$</exclude>
<exclude>/EIFGENs$</exclude>
<exclude>/\.git$</exclude>
<exclude>/\.svn$</exclude>
</file_rule>
<option warning="true" manifest_array_type="mismatch_warning">
<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
</option>
<setting name="console_application" value="true"/>
<capability>
<concurrency support="scoop" use="scoop"/>
<void_safety support="all" use="all"/>
</capability>
<precompile name="base_pre" location="$ISE_PRECOMP\base-scoop-safe.ecf"/>
<library name="base" location="$ISE_LIBRARY\library\base\base.ecf">
<renaming old_name="SET" new_name="EIFFEL_SET"/>
<renaming old_name="BAG" new_name="EIFFEL_BAG"/>
</library>
<library name="espec" location="$ISE_LIBRARY\contrib\library\testing\framework\espec\library\espec.ecf"/>
<library name="mathmodels" location="$MATHMODELS\library\mathmodels.ecf"/>
<cluster name="root" location=".\root\" recursive="true"/>
<cluster name="model" location=".\model\" recursive="true"/>
<cluster name="tests" location=".\tests\" recursive="true"/>
</target>
</system>