sets-warp/sets_warp.bat at main · raman78/sets-warp · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
@echo off
:: sets_warp.bat — Windows entry point for SETS-WARP

cd /d "%~dp0"
if errorlevel 1 (
    echo [Error] Cannot change to script directory: %~dp0
    exit /b 1
)

set SETS_DIR=%~dp0
set PYTHON=

py -3.13 --version >nul 2>&1
if not errorlevel 1 ( set PYTHON=py -3.13 & goto :found )

py -3.14 --version >nul 2>&1
if not errorlevel 1 ( set PYTHON=py -3.14 & goto :found )

py -3.12 --version >nul 2>&1
if not errorlevel 1 ( set PYTHON=py -3.12 & goto :found )

py --version >nul 2>&1
if not errorlevel 1 ( set PYTHON=py & goto :found )

python3.13 --version >nul 2>&1
if not errorlevel 1 ( set PYTHON=python3.13 & goto :found )

python3 --version >nul 2>&1
if not errorlevel 1 ( set PYTHON=python3 & goto :found )

python --version >nul 2>&1
if not errorlevel 1 (
    python -c "import sys; sys.exit(0 if sys.version_info.major==3 else 1)" >nul 2>&1
    if not errorlevel 1 ( set PYTHON=python & goto :found )
)

echo [Error] No Python 3 installation found.
echo         Please install Python 3.13 or later: https://www.python.org/downloads/
echo         Make sure to check "Add Python to PATH" during installation.
pause
exit /b 1

:found
%PYTHON% bootstrap.py %*