-- 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 ""