updated delivery scripts.

This commit is contained in:
2019-03-07 19:24:28 +00:00
parent eec43c3fd7
commit 4801a49ed9
4 changed files with 33 additions and 6 deletions

View File

@@ -1,5 +1,7 @@
set ISE_EIFFEL=%CD%\eiffel_win64
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

View File

@@ -0,0 +1,5 @@
call %~dp0init.btm
cdd %INIT_DIR
call make_dotnet.btm
cdd %EIFFEL_SRC

View File

@@ -317,18 +317,18 @@ iff not defined NO_COMPILE then
remtrace ISE specific files
cdd %EIFFEL_SRC
if EXIST %INIT_DIR%\isesvn\library\keygen (
xcopy %INIT_DIR%\isesvn\library\keygen library\keygen /E /I
xcopy %INIT_DIR%\isesvn\library\keygen library\keygen /E /I /Y
) else (
co %DEFAULT_ISE_SVN%/Src/library/keygen library/keygen
)
cd tools
if EXIST %INIT_DIR%\isesvn\tools\activation (
xcopy %INIT_DIR%\isesvn\tools\activation activation /E /I
xcopy %INIT_DIR%\isesvn\tools\activation activation /E /I /Y
) else (
co %DEFAULT_ISE_SVN%/Src/tools/activation activation
)
if EXIST %INIT_DIR%\isesvn\tools\estudio_enterprise (
xcopy %INIT_DIR%\isesvn\tools\estudio_enterprise estudio_enterprise /E /I
xcopy %INIT_DIR%\isesvn\tools\estudio_enterprise estudio_enterprise /E /I /Y
) else (
co %DEFAULT_ISE_SVN%/Src/tools/estudio_enterprise estudio_enterprise
)

View File

@@ -14,10 +14,11 @@ echo EiffelStudio delivery:
@echo 7: GPL only
@echo -------------------
@echo i: display info
@echo x: extra menu
@echo -------------------
@echo q: quit
CHOICE /C 1234567iq /M " > selection:"
CHOICE /C 1234567ixq /M " > selection:"
if .%ERRORLEVEL%. == .1. GOTO make_delivery
if .%ERRORLEVEL%. == .2. GOTO make_exes
if .%ERRORLEVEL%. == .3. GOTO make_installations
@@ -26,7 +27,8 @@ if .%ERRORLEVEL%. == .5. GOTO bootstrap_env
if .%ERRORLEVEL%. == .6. GOTO display_logs
if .%ERRORLEVEL%. == .7. GOTO menu_gpl
if .%ERRORLEVEL%. == .8. GOTO display_info
if .%ERRORLEVEL%. == .9. goto end
if .%ERRORLEVEL%. == .9. GOTO menu_extra
if .%ERRORLEVEL%. == .10. goto end
goto end
:menu_gpl
@@ -35,6 +37,8 @@ echo EiffelStudio GPL delivery:
@echo 1: make_delivery
@echo 2: make_exes
@echo 3: make_installation
@echo -------------------
@echo q: quit
CHOICE /C 123q /M " > selection:"
if .%ERRORLEVEL%. == .1. GOTO make_delivery
if .%ERRORLEVEL%. == .2. GOTO make_exes
@@ -42,6 +46,16 @@ if .%ERRORLEVEL%. == .3. GOTO make_installations
if .%ERRORLEVEL%. == .4. goto end
goto end
:menu_extra
echo Extra menu
@echo 1: make_dotnet
@echo -------------------
@echo q: quit
CHOICE /C 1q /M " > selection:"
if .%ERRORLEVEL%. == .1. GOTO call_make_dotnet
if .%ERRORLEVEL%. == .2. goto end
goto end
:make_delivery
%TCCLECMD% /C make_delivery.btm
goto end
@@ -59,10 +73,16 @@ set NO_ENTERPRISE_BUILD="True"
goto end
:make_exes
set NO_ENTERPRISE_BUILD=
%TCCLECMD% /C make_exes.btm
goto end
:call_make_dotnet
%TCCLECMD% /C call_make_dotnet.btm
goto end
:make_installations
set NO_ENTERPRISE_BUILD=
%TCCLECMD% /C make_installations.btm
goto end