mirror of
https://github.com/php/php-src.git
synced 2026-04-21 23:18:13 +02:00
Anatol Belski
34 lines
1.0 KiB
Batchfile
34 lines
1.0 KiB
Batchfile
@echo off
|
|
|
|
set SDK_REMOTE=https://github.com/OSTC/php-sdk-binary-tools.git
|
|
set SDK_BRANCH=%PHP_BUILD_SDK_BRANCH%
|
|
|
|
if not exist "%PHP_BUILD_CACHE_BASE_DIR%" (
|
|
echo Creating %PHP_BUILD_CACHE_BASE_DIR%
|
|
mkdir "%PHP_BUILD_CACHE_BASE_DIR%"
|
|
)
|
|
|
|
if not exist "%PHP_BUILD_OBJ_DIR%" (
|
|
echo Creating %PHP_BUILD_OBJ_DIR%
|
|
mkdir "%PHP_BUILD_OBJ_DIR%"
|
|
)
|
|
|
|
if not exist "%PHP_BUILD_CACHE_SDK_DIR%" (
|
|
echo Cloning remote SDK repository
|
|
git clone --branch %SDK_BRANCH% %SDK_REMOTE% "%PHP_BUILD_CACHE_SDK_DIR%" 2>&1
|
|
) else (
|
|
echo Fetching remote SDK repository
|
|
git --git-dir="%PHP_BUILD_CACHE_SDK_DIR%\.git" --work-tree="%PHP_BUILD_CACHE_SDK_DIR%" fetch --prune origin 2>&1
|
|
echo Checkout SDK repository branch
|
|
git --git-dir="%PHP_BUILD_CACHE_SDK_DIR%\.git" --work-tree="%PHP_BUILD_CACHE_SDK_DIR%" checkout --force %SDK_BRANCH%
|
|
)
|
|
|
|
set SDK_RUNNER=%PHP_BUILD_CACHE_SDK_DIR%\phpsdk-vc14-%PLATFORM%.bat
|
|
if not exist "%SDK_RUNNER%" (
|
|
echo "%SDK_RUNNER%" doesn't exist
|
|
exit /b 3
|
|
)
|
|
|
|
call %SDK_RUNNER% -t %APPVEYOR_BUILD_FOLDER%\appveyor\build_task.bat
|
|
|