User Tools
eiffel:faq:ecf
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
|
eiffel:faq:ecf [2018/08/13 18:35] jonathan created |
eiffel:faq:ecf [2018/08/13 18:42] (current) jonathan |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== ECF (Eiffel Configuration File) ====== | ====== ECF (Eiffel Configuration File) ====== | ||
| - | It's safer to use EiffelStudio to edit project settings than to edit ECF by hand. In this particular case, the XML value corresponding to "Complete" is "all". | + | It's safer to use EiffelStudio to edit project settings than to edit ECF by hand. |
| The notion of capabilities was introduced in EiffelStudio 17.01: | The notion of capabilities was introduced in EiffelStudio 17.01: | ||
| Line 20: | Line 20: | ||
| (Alexander Kogtenkov) | (Alexander Kogtenkov) | ||
| + | |||
| + | Here is an example of an ECF file for Eiffel 18.07: | ||
| + | |||
| + | </code> | ||
| + | <?xml version="1.0" encoding="ISO-8859-1"?> | ||
| + | <system xmlns="http://www.eiffel.com/developers/xml/configuration-1-18-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-18-0 http://www.eiffel.com/developers/xml/configuration-1-18-0.xsd" name="project" uuid="FB44F480-6B75-42DC-B8F2-2738F8C3799E"> | ||
| + | <target name="project"> | ||
| + | <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> | ||
| + | </code> | ||
| + | |||
eiffel/faq/ecf.1534185355.txt.gz · Last modified: 2018/08/13 18:35 by jonathan
Page Tools
