1 files changed, 21 insertions, 0 deletions

diff --git a/bank-eiffel/bank.ecf b/bank-eiffel/bank.ecf
new file mode 100644
index 0000000..8164c31
--- /dev/null
+++ b/bank-eiffel/bank.ecf
@@ -0,0 +1,21 @@
+<?xml version="1.0" encoding="ISO-8859-1"?>
+<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">
+        <target name="bank">
+                <root feature="make" class="APPLICATION"/>
+                <option warning="true">
+                        <assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
+                </option>
+                <precompile name="base_pre" location="$ISE_PRECOMP/base.ecf"/>
+                <library name="base" location="$ISE_LIBRARY/library/base/base.ecf"/>
+                <cluster name="bank" location=".\" recursive="true">
+                        <file_rule>
+                                <exclude>/EIFGENs$</exclude>
+                                <exclude>/.svn$</exclude>
+                                <exclude>/CVS$</exclude>
+                        </file_rule>
+                </cluster>
+        </target>
+        <target name="bank_dotnet" extends="bank">
+                <setting name="msil_generation" value="true"/>
+        </target>
+</system>