iff not defined ISE_EIFFEL then
	echo ISE_EIFFEL not defined. Cannot continue
	CANCEL
endiff
iff not defined ISE_PLATFORM then
	echo ISE_PLATFORM not defined. Cannot continue
	CANCEL
endiff
iff not defined NO_COMPILE then
	iff not defined EIFFEL_SRC then
		echo TMP_EIFFEL_SRC not defined. Cannot continue
		CANCEL
	endiff
	iff not defined FINALIZATION_DIR then
		echo FINALIZED_DIR not defined. Cannot continue
		CANCEL
	endiff
	iff not exist %ISE_EIFFEL\BCC55\Bin\bcc32.exe then
		echo Cannot find a version of Borland under ISE_EIFFEL. Cannot continue
		CANCEL
	endiff
	iff "%@SEARCH[ec.exe]" == "" then
		echo Cannot find a version of ec. Cannot continue
		CANCEL
	endiff
	iff isdir %EIFFEL_SRC then
		echo Warning: %EIFFEL_SRC will be erased by the script!
	endiff
endiff
iff "%@SEARCH[tar]" == "" then
	echo Cannot find a version of tar. Cannot continue without cygwin
	CANCEL
endiff
iff not defined NO_DOCUMENTATION then
	iff not defined DOCUMENT_DIR then
		echo Error: No path specified for the documentation
		CANCEL
	endiff
	iff not isdir %DOCUMENT_DIR then
		echo Error: %DOCUMENT_DIR is not a directory
		CANCEL
	endiff
	iff "%@SEARCH[hhc.exe]" == "" then
		echo Cannot find the HTML help compiler
		CANCEL
	endiff
	iff exist %DOCUMENT_DIR\newdocs then
		echo Warning: %DOCUMENT_DIR\newdocs will be erased by this script!
	endiff
endiff	
iff "%@SEARCH[upx.exe]" == "" then
	echo Cannot find a version of upx packager. Cannot continue
	CANCEL
endiff
iff not defined INSTALL_LOG then
	echo Error: No file specified for the log
	CANCEL
endiff
iff not defined INSTALL_DIR then
	echo Error: No path specified for the generated delivery
	CANCEL
endiff
iff exist %INSTALL_DIR .or. isdir %INSTALL_DIR then
	echo Warning: %INSTALL_DIR will be replaced by the installation script, you will lose everything in it
endiff
echo Current configuration:
echo ISE_EIFFEL is %ISE_EIFFEL
echo ISE_PLATFORM is %ISE_PLATFORM
echo INSTALL_DIR is %INSTALL_DIR
echo DOCUMENT_DIR is %DOCUMENT_DIR
echo Log file is %INSTALL_LOG
echo ec version is:
ec -version
echo -----------------------------
iff defined NO_COMPILE then
	echo No compilation will be performed (including EiffelStudio's compilation)
endiff
iff defined NO_NEW_EC then
	echo No new version of EiffelStudio will be compiled
endiff
iff defined BUILD_ENTERPRISE_ONLY then
	echo Only EiffelStudio Enterprise will be build
endiff
iff defined NO_DOCUMENTATION then
	echo No documentation will be generated
endiff
iff defined NO_INSTALL then
	echo The delivery will be generated, but not the final installation executable
endiff
iff not defined NO_INSTALL .and. not defined NO_COMPILE .and. not defined NO_DOCUMENTATION then
	echo All components will be recompiled
endiff
echo Type a key to continue, Ctrl-C or Esc to abort
pause
echo Installation parameters are %ISE_EIFFEL, %ISE_PLATFORM, %INSTALL_DIR, %DOCUMENT_DIR >> %INSTALL_LOG
echo -------------------------------- >> %INSTALL_LOG