adding bank example app (not fully implemented yet)

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 @@
 <?xml version="1.0" encoding="ISO-8859-1"?>
 <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">
         <target name="bank">
-                <description>FOOP Exercise #3</description>
-                <root class="APPLICATION" feature="make"/>
+                <description>Bank of FOOP</description>
+                <root class="BANK" feature="run"/>
                 <version major="0" minor="1" release="0" build="0" product="bank"/>
                 <option warning="true" is_attached_by_default="true" void_safety="all">
                         <assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
                 </option>
-                <setting name="executable_name" value="bank"/>
-                <precompile name="base_pre" location="$ISE_PRECOMP\base.ecf"/>
+                <setting name="console_application" value="true"/>
+                <precompile name="precompile" location="$ISE_PRECOMP\base.ecf"/>
                 <library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/>
                 <library name="testing" location="$ISE_LIBRARY\library\testing\testing.ecf"/>
                 <cluster name="bank" location=".\" recursive="true">
+                        <class_option class="BANK" void_safety="none">
+                        </class_option>
                         <file_rule>
                                 <exclude>/EIFGENs$</exclude>
                                 <exclude>/CVS$</exclude>
                                 <exclude>/.svn$</exclude>
                         </file_rule>
-                        <tests name="tests" location="\home\manuel\uni\foop\bank-eiffel\tests\"/>
                 </cluster>
         </target>
-        <target name="bank_dotnet" extends="bank">
-                <setting name="msil_generation" value="true"/>
-        </target>
 </system>