From eb676bd14b54c98cd49d84d5eab1ae6ab8b84c42 Mon Sep 17 00:00:00 2001
From: Olivier Ligot <oligot@gmail.com>
Date: Tue, 4 Dec 2012 14:42:09 +0100
Subject: [PATCH] ise_wizard Unix shell scripts

---
 tools/ise_wizard/install_ise_wizard.sh        | 15 +++++++++++++++
 tools/ise_wizard/install_ise_wizard_custom.sh | 16 ++++++++++++++++
 2 files changed, 31 insertions(+)
 create mode 100755 tools/ise_wizard/install_ise_wizard.sh
 create mode 100755 tools/ise_wizard/install_ise_wizard_custom.sh

diff --git a/tools/ise_wizard/install_ise_wizard.sh b/tools/ise_wizard/install_ise_wizard.sh
new file mode 100755
index 00000000..9b5496ea
--- /dev/null
+++ b/tools/ise_wizard/install_ise_wizard.sh
@@ -0,0 +1,15 @@
+#!/bin/sh
+
+mkdir tmp
+ecb -config ewf_ise_wizard-safe.ecf -target 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
+
+WIZ_TARGET=$ISE_EIFFEL/studio/wizards/new_projects/ewf
+rm -rf $WIZ_TARGET
+mkdir $WIZ_TARGET
+cp -r resources $WIZ_TARGET/resources
+cp -r spec $WIZ_TARGET/spec
+cp ewf.dsc $WIZ_TARGET/../ewf.dsc
+rm -rf spec
diff --git a/tools/ise_wizard/install_ise_wizard_custom.sh b/tools/ise_wizard/install_ise_wizard_custom.sh
new file mode 100755
index 00000000..308e7d84
--- /dev/null
+++ b/tools/ise_wizard/install_ise_wizard_custom.sh
@@ -0,0 +1,16 @@
+#!/bin/sh
+
+mkdir tmp
+ecb -config ewf_ise_wizard-safe.ecf -target custom_wizard -finalize -c_compile -project_path tmp
+mkdir -p custom/spec/$ISE_PLATFORM
+mv tmp/EIFGENs/custom_wizard/F_code/wizard custom/spec/$ISE_PLATFORM/wizard
+rm -rf tmp
+
+WIZ_TARGET=$ISE_EIFFEL/studio/wizards/new_projects/ewf_custom
+rm -rf $WIZ_TARGET
+mkdir $WIZ_TARGET
+cp -r resources $WIZ_TARGET/resources
+cp -f custom/resources/* $WIZ_TARGET/resources
+cp -r custom/spec $WIZ_TARGET/spec
+cp custom/ewf.dsc $WIZ_TARGET/../ewf_custom.dsc
+rm -rf custom/spec