set ISE_EIFFEL=%~dp0eiffel_win64
set ISE_PLATFORM=win64
set ISE_C_COMPILER=msc_vc140

set PATH=%PATH%;%ISE_EIFFEL%\studio\spec\%ISE_PLATFORM%\bin
set PATH=%PATH%;%ISE_EIFFEL%\tools\spec\%ISE_PLATFORM%\bin
set PATH=%PATH%;%ISE_EIFFEL%\library\gobo\spec\%ISE_PLATFORM%\bin