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