iff not defined WORK_DIR then
	set WORK_DIR=M:\work
endiff
iff not defined DEFAULT_PUBLIC_SVN then
	set DEFAULT_PUBLIC_SVN=https://svn.eiffel.com/eiffelstudio/trunk
	set DEFAULT_PUBLIC_SVN=file:///B:/ise/repos/mirrors/svn/eiffelstudio/trunk
endiff
iff not defined DEFAULT_ISE_SVN then
	set DEFAULT_ISE_SVN=svn://jfiat@svn.ise:3691/ise_svn/trunk
	set DEFAULT_ISE_SVN=file:///B:/ise/repos/mirrors/svn/ise/trunk
endiff
iff not defined PUBLIC_SVN_REVISION then
	set PUBLIC_SVN_REVISION=HEAD
endiff
iff not defined ISE_C_COMPILER_VER then
	set ISE_C_COMPILER_VER=WSDK71
	set ISE_C_COMPILER_VER=VC140
endiff