make/devkit/createWindowsDevkit2017.sh
changeset 58559 06bd38a9bc5a
parent 53992 cf4c3a118d2b
equal deleted inserted replaced
58558:67daaa6c8d2b 58559:06bd38a9bc5a
    30 
    30 
    31 VS_VERSION="2017"
    31 VS_VERSION="2017"
    32 VS_VERSION_NUM_NODOT="150"
    32 VS_VERSION_NUM_NODOT="150"
    33 VS_DLL_VERSION="140"
    33 VS_DLL_VERSION="140"
    34 SDK_VERSION="10"
    34 SDK_VERSION="10"
    35 SDK_FULL_VERSION="10.0.16299.0"
       
    36 MSVC_DIR="Microsoft.VC141.CRT"
    35 MSVC_DIR="Microsoft.VC141.CRT"
    37 MSVC_FULL_VERSION="14.12.25827"
       
    38 REDIST_FULL_VERSION="14.12.25810"
       
    39 
    36 
    40 SCRIPT_DIR="$(cd "$(dirname $0)" > /dev/null && pwd)"
    37 SCRIPT_DIR="$(cd "$(dirname $0)" > /dev/null && pwd)"
    41 BUILD_DIR="${SCRIPT_DIR}/../../build/devkit"
    38 BUILD_DIR="${SCRIPT_DIR}/../../build/devkit"
    42 
    39 
    43 ################################################################################
    40 ################################################################################