build.bat 1.4 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344
  1. @echo off
  2. set SDK_REMOTE=https://github.com/php/php-sdk-binary-tools.git
  3. set SDK_BRANCH=%PHP_BUILD_SDK_BRANCH%
  4. set SDK_RUNNER=%PHP_BUILD_CACHE_SDK_DIR%\phpsdk-%PHP_BUILD_CRT%-%PLATFORM%.bat
  5. if not exist "%PHP_BUILD_CACHE_BASE_DIR%" (
  6. echo Creating %PHP_BUILD_CACHE_BASE_DIR%
  7. mkdir "%PHP_BUILD_CACHE_BASE_DIR%"
  8. )
  9. if not exist "%PHP_BUILD_OBJ_DIR%" (
  10. echo Creating %PHP_BUILD_OBJ_DIR%
  11. mkdir "%PHP_BUILD_OBJ_DIR%"
  12. )
  13. if not exist "%SDK_RUNNER%" (
  14. if exist "%PHP_BUILD_CACHE_SDK_DIR%" rmdir /s /q "%PHP_BUILD_CACHE_SDK_DIR%"
  15. )
  16. if not exist "%PHP_BUILD_CACHE_SDK_DIR%" (
  17. echo Cloning remote SDK repository
  18. git clone --branch %SDK_BRANCH% %SDK_REMOTE% --depth 1 "%PHP_BUILD_CACHE_SDK_DIR%" 2>&1
  19. )
  20. for /f "tokens=*" %%a in ('type %PHP_BUILD_CACHE_SDK_DIR%\VERSION') do set GOT_SDK_VER=%%a
  21. echo Got SDK version %GOT_SDK_VER%
  22. if NOT "%GOT_SDK_VER%" == "%PHP_BUILD_SDK_BRANCH:~8%" (
  23. echo Switching to the configured SDK version %SDK_BRANCH:~8%
  24. echo Fetching remote SDK repository
  25. git --git-dir="%PHP_BUILD_CACHE_SDK_DIR%\.git" --work-tree="%PHP_BUILD_CACHE_SDK_DIR%" fetch --prune origin 2>&1
  26. echo Checkout SDK repository branch
  27. git --git-dir="%PHP_BUILD_CACHE_SDK_DIR%\.git" --work-tree="%PHP_BUILD_CACHE_SDK_DIR%" checkout --force %SDK_BRANCH%
  28. )
  29. if not exist "%SDK_RUNNER%" (
  30. echo "%SDK_RUNNER%" doesn't exist
  31. exit /b 3
  32. )
  33. cmd /c %SDK_RUNNER% -t %APPVEYOR_BUILD_FOLDER%\.github\scripts\windows\build_task.bat
  34. if %errorlevel% neq 0 exit /b 3
  35. exit /b 0