From eec43c3fd7aa36022a48cfd4a6353122f4e7b599 Mon Sep 17 00:00:00 2001
From: Jocelyn <git@djoce.net>
Date: Mon, 4 Mar 2019 20:45:11 +0000
Subject: [PATCH] added helper scripts

---
 windows_deliv/bin/install_from_7z.bat | 11 +++++++++++
 windows_deliv/bin/setup.bat           |  5 +++++
 2 files changed, 16 insertions(+)
 create mode 100644 windows_deliv/bin/install_from_7z.bat
 create mode 100644 windows_deliv/bin/setup.bat

diff --git a/windows_deliv/bin/install_from_7z.bat b/windows_deliv/bin/install_from_7z.bat
new file mode 100644
index 0000000..e5bf0e9
--- /dev/null
+++ b/windows_deliv/bin/install_from_7z.bat
@@ -0,0 +1,11 @@
+echo Remove Eiffel_*.*
+rd /q/s Eiffel_%1
+
+echo Extract archive
+%~dp07z x %2 
+
+echo remove junction eiffel_win64
+c:\apps\bin\junction -d eiffel_win64
+
+echo create new junction
+c:\apps\bin\junction eiffel_win64 Eiffel_%1
diff --git a/windows_deliv/bin/setup.bat b/windows_deliv/bin/setup.bat
new file mode 100644
index 0000000..08d1823
--- /dev/null
+++ b/windows_deliv/bin/setup.bat
@@ -0,0 +1,5 @@
+set ISE_EIFFEL=%CD%\eiffel_win64
+set ISE_PLATFORM=win64
+set ISE_C_COMPILER=msc_vc140
+
+set PATH=%PATH%;%ISE_EIFFEL%\studio\spec\%ISE_PLATFORM%\bin