-- Platform specific tools
define_file		EWEASEL_COMPILE	$ISE_EIFFEL studio spec $ISE_PLATFORM bin ec.exe
define_file		EWEASEL_FREEZE	$ISE_EIFFEL studio spec $ISE_PLATFORM bin finish_freezing.exe
define_file		EWEASEL_EXECUTE $EWEASEL bin eiffel_execute.bat

-- EiffelBase platform specific directories
define	KERNEL_CLASSIC	"<cluster name="kernel" location="$ISE_LIBRARY\library\base\elks\kernel"/><cluster name="exceptions" location="$ISE_LIBRARY\library\base\ise\kernel\exceptions"/><cluster name="elks_exceptions" location="$ISE_LIBRARY\library\base\elks\kernel\exceptions"/><cluster name="string" location="$ISE_LIBRARY\library\base\elks\kernel\string"/>"
define	KERNEL_DOTNET	""
define	SUPPORT_DOTNET	""
define	ENCODING_EXTERNALS	""

-- Dotnet specific options
define	EWEASEL_DOTNET_SETTING	""
define	KERNEL_DOTNET_NO_EXCEPTION ""