diff options
Diffstat (limited to 'bank-eiffel/bank.ecf')
| -rw-r--r-- | bank-eiffel/bank.ecf | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/bank-eiffel/bank.ecf b/bank-eiffel/bank.ecf index 1eef831..404ab84 100644 --- a/bank-eiffel/bank.ecf +++ b/bank-eiffel/bank.ecf | |||
| @@ -1,26 +1,24 @@ | |||
| 1 | <?xml version="1.0" encoding="ISO-8859-1"?> | 1 | <?xml version="1.0" encoding="ISO-8859-1"?> |
| 2 | <system xmlns="http://www.eiffel.com/developers/xml/configuration-1-7-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-7-0 http://www.eiffel.com/developers/xml/configuration-1-7-0.xsd" name="bank" uuid="ABD750A4-A528-4FEE-A7EA-37791A0D0F37"> | 2 | <system xmlns="http://www.eiffel.com/developers/xml/configuration-1-7-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-7-0 http://www.eiffel.com/developers/xml/configuration-1-7-0.xsd" name="bank" uuid="ABD750A4-A528-4FEE-A7EA-37791A0D0F37"> |
| 3 | <target name="bank"> | 3 | <target name="bank"> |
| 4 | <description>FOOP Exercise #3</description> | 4 | <description>Bank of FOOP</description> |
| 5 | <root class="APPLICATION" feature="make"/> | 5 | <root class="BANK" feature="run"/> |
| 6 | <version major="0" minor="1" release="0" build="0" product="bank"/> | 6 | <version major="0" minor="1" release="0" build="0" product="bank"/> |
| 7 | <option warning="true" is_attached_by_default="true" void_safety="all"> | 7 | <option warning="true" is_attached_by_default="true" void_safety="all"> |
| 8 | <assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/> | 8 | <assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/> |
| 9 | </option> | 9 | </option> |
| 10 | <setting name="executable_name" value="bank"/> | 10 | <setting name="console_application" value="true"/> |
| 11 | <precompile name="base_pre" location="$ISE_PRECOMP\base.ecf"/> | 11 | <precompile name="precompile" location="$ISE_PRECOMP\base.ecf"/> |
| 12 | <library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/> | 12 | <library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/> |
| 13 | <library name="testing" location="$ISE_LIBRARY\library\testing\testing.ecf"/> | 13 | <library name="testing" location="$ISE_LIBRARY\library\testing\testing.ecf"/> |
| 14 | <cluster name="bank" location=".\" recursive="true"> | 14 | <cluster name="bank" location=".\" recursive="true"> |
| 15 | <class_option class="BANK" void_safety="none"> | ||
| 16 | </class_option> | ||
| 15 | <file_rule> | 17 | <file_rule> |
| 16 | <exclude>/EIFGENs$</exclude> | 18 | <exclude>/EIFGENs$</exclude> |
| 17 | <exclude>/CVS$</exclude> | 19 | <exclude>/CVS$</exclude> |
| 18 | <exclude>/.svn$</exclude> | 20 | <exclude>/.svn$</exclude> |
| 19 | </file_rule> | 21 | </file_rule> |
| 20 | <tests name="tests" location="\home\manuel\uni\foop\bank-eiffel\tests\"/> | ||
| 21 | </cluster> | 22 | </cluster> |
| 22 | </target> | 23 | </target> |
| 23 | <target name="bank_dotnet" extends="bank"> | ||
| 24 | <setting name="msil_generation" value="true"/> | ||
| 25 | </target> | ||
| 26 | </system> | 24 | </system> |
