From 4eddad0bcba94eed80261d661801aee6a9cc159e Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <git@djoce.net>
Date: Thu, 5 Mar 2015 15:27:29 +0100
Subject: [PATCH] Updated script to install wizard in current EiffelStudio
 installation.

---
 tools/ise_wizard/ewf_ise_wizard-safe.ecf                        | 1 +
 tools/ise_wizard/install_ise_wizard.bat                         | 2 +-
 tools/ise_wizard/install_ise_wizard.sh                          | 2 +-
 .../{ => rootdir_custom}/install_ise_wizard_custom.bat          | 0
 .../{ => rootdir_custom}/install_ise_wizard_custom.sh           | 0
 5 files changed, 3 insertions(+), 2 deletions(-)
 rename tools/ise_wizard/{ => rootdir_custom}/install_ise_wizard_custom.bat (100%)
 rename tools/ise_wizard/{ => rootdir_custom}/install_ise_wizard_custom.sh (100%)

diff --git a/tools/ise_wizard/ewf_ise_wizard-safe.ecf b/tools/ise_wizard/ewf_ise_wizard-safe.ecf
index 537df69e..2c3cc9ae 100644
--- a/tools/ise_wizard/ewf_ise_wizard-safe.ecf
+++ b/tools/ise_wizard/ewf_ise_wizard-safe.ecf
@@ -30,6 +30,7 @@
 		</file_rule>
 		<option warning="true" full_class_checking="true" is_attached_by_default="true" void_safety="all" syntax="standard">
 		</option>
+		<setting name="console_application" value="false"/>
 		<setting name="concurrency" value="none"/>
 		<library name="base" location="$ISE_LIBRARY\library\base\base-safe.ecf"/>
 		<library name="gui_wizard" location="lib\wizard\estudio_gui_wizard-safe.ecf" readonly="false"/>
diff --git a/tools/ise_wizard/install_ise_wizard.bat b/tools/ise_wizard/install_ise_wizard.bat
index 1172efde..ca06d95a 100644
--- a/tools/ise_wizard/install_ise_wizard.bat
+++ b/tools/ise_wizard/install_ise_wizard.bat
@@ -1,7 +1,7 @@
 setlocal
 
 set TMP_ROOTDIR=%~dp0rootdir
-set TMP_TARGETNAME=wizard
+set TMP_TARGETNAME=gui_wizard
 
 set WIZ_TARGET=%ISE_EIFFEL%\studio\wizards\new_projects\ewf
 rd /q/s %WIZ_TARGET%
diff --git a/tools/ise_wizard/install_ise_wizard.sh b/tools/ise_wizard/install_ise_wizard.sh
index 9b5496ea..ab64d020 100644
--- a/tools/ise_wizard/install_ise_wizard.sh
+++ b/tools/ise_wizard/install_ise_wizard.sh
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 mkdir tmp
-ecb -config ewf_ise_wizard-safe.ecf -target wizard -finalize -c_compile -project_path tmp
+ecb -config ewf_ise_wizard-safe.ecf -target gui_wizard -finalize -c_compile -project_path tmp
 mkdir -p spec/$ISE_PLATFORM
 mv tmp/EIFGENs/wizard/F_code/wizard spec/$ISE_PLATFORM/wizard
 rm -rf tmp
diff --git a/tools/ise_wizard/install_ise_wizard_custom.bat b/tools/ise_wizard/rootdir_custom/install_ise_wizard_custom.bat
similarity index 100%
rename from tools/ise_wizard/install_ise_wizard_custom.bat
rename to tools/ise_wizard/rootdir_custom/install_ise_wizard_custom.bat
diff --git a/tools/ise_wizard/install_ise_wizard_custom.sh b/tools/ise_wizard/rootdir_custom/install_ise_wizard_custom.sh
similarity index 100%
rename from tools/ise_wizard/install_ise_wizard_custom.sh
rename to tools/ise_wizard/rootdir_custom/install_ise_wizard_custom.sh