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