From 4c7743e63274a67136d849dea75262262221a570 Mon Sep 17 00:00:00 2001
From: manuel <manuel@mausz.at>
Date: Tue, 24 May 2011 18:04:21 +0200
Subject: adding bank example app (not fully implemented yet)

---
 bank-eiffel/bank.ecf | 14 ++++++--------
 1 file changed, 6 insertions(+), 8 deletions(-)

(limited to 'bank-eiffel/bank.ecf')

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>
-- 
cgit v1.2.3