-- Platform specific tools
define_file EWEASEL_COMPILE $ISE_EIFFEL studio spec $ISE_PLATFORM bin ec
define_file EWEASEL_FREEZE $EWEASEL bin eiffel_freeze
define_file EWEASEL_EXECUTE $EWEASEL bin eiffel_execute
-- 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 ""