Updated script to install wizard in current EiffelStudio installation.

Author: jocelyn

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"/>

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%

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