diff options
Diffstat (limited to 'bank-eiffel/bank.ecf')
| -rw-r--r-- | bank-eiffel/bank.ecf | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/bank-eiffel/bank.ecf b/bank-eiffel/bank.ecf index 8164c31..b3bf92c 100644 --- a/bank-eiffel/bank.ecf +++ b/bank-eiffel/bank.ecf | |||
| @@ -1,18 +1,23 @@ | |||
| 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-5-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-5-0 http://www.eiffel.com/developers/xml/configuration-1-5-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 | <root feature="make" class="APPLICATION"/> | 4 | <description>FOOP Exercise #3</description> |
| 5 | <option warning="true"> | 5 | <root class="APPLICATION" feature="make"/> |
| 6 | <version major="0" minor="1" release="0" build="0" product="bank"/> | ||
| 7 | <option warning="true" void_safety="none"> | ||
| 6 | <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"/> |
| 7 | </option> | 9 | </option> |
| 8 | <precompile name="base_pre" location="$ISE_PRECOMP/base.ecf"/> | 10 | <setting name="executable_name" value="bank"/> |
| 9 | <library name="base" location="$ISE_LIBRARY/library/base/base.ecf"/> | 11 | <precompile name="base_pre" location="$ISE_PRECOMP\base.ecf"/> |
| 12 | <library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/> | ||
| 13 | <library name="testing" location="$ISE_LIBRARY\library\testing\testing.ecf"/> | ||
| 10 | <cluster name="bank" location=".\" recursive="true"> | 14 | <cluster name="bank" location=".\" recursive="true"> |
| 11 | <file_rule> | 15 | <file_rule> |
| 12 | <exclude>/EIFGENs$</exclude> | 16 | <exclude>/EIFGENs$</exclude> |
| 13 | <exclude>/.svn$</exclude> | ||
| 14 | <exclude>/CVS$</exclude> | 17 | <exclude>/CVS$</exclude> |
| 18 | <exclude>/.svn$</exclude> | ||
| 15 | </file_rule> | 19 | </file_rule> |
| 20 | <tests name="tests" location="\home\manuel\uni\foop\bank-eiffel\tests\"/> | ||
| 16 | </cluster> | 21 | </cluster> |
| 17 | </target> | 22 | </target> |
| 18 | <target name="bank_dotnet" extends="bank"> | 23 | <target name="bank_dotnet" extends="bank"> |