-- 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 ""
define KERNEL_DOTNET ""
define SUPPORT_DOTNET ""
define ENCODING_EXTERNALS ""
-- Dotnet specific options
define EWEASEL_DOTNET_SETTING ""
define KERNEL_DOTNET_NO_EXCEPTION ""