-- 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 "ise_runtime.esystem_string.e"
define KERNEL_DOTNET ""
define SUPPORT_DOTNET ""
define KERNEL_DOTNET_NO_EXCEPTION "exception.eexception_manager.eexception_manager.edotnet_exception_wapper.edotnet_exception.eoperating_system_failure.eoperating_system_signal_failure.evoid_target.e"
-- Dotnet specific options
define EWEASEL_DOTNET_SETTING ""
-- If you need to specify a runtime version:
-- define EWEASEL_DOTNET_SETTING ""