-- 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_EIFFEL\library\base\elks\kernel"><file_rule><exclude>ise_runtime.e</exclude><exclude>system_string.e</exclude></file_rule></cluster>"
define	KERNEL_DOTNET	"<override name="kernel_dotnet" location="$ISE_EIFFEL\library\base\ise\kernel\dotnet"/>"
define	SUPPORT_DOTNET	"<override name="support_dotnet" location="$ISE_EIFFEL\library\base\ise\support\dotnet"/>"

-- Dotnet specific options
define	EWEASEL_DOTNET_SETTING	"<setting name="msil_generation" value="True"/>"
-- If you need to specify a runtime version:
-- define	EWEASEL_DOTNET_SETTING	"<setting name="msil_generation" value="True"/><setting name="msil_clr_version" value="v2.0.50727"/>"