mirror of
https://github.com/Z3Prover/z3
synced 2026-02-17 14:21:45 +00:00
30 lines
546 B
Batchfile
30 lines
546 B
Batchfile
@echo off
|
|
REM Z3 Build Script
|
|
|
|
echo Checking for build directory...
|
|
if not exist C:\z3\build (
|
|
echo Creating build directory...
|
|
mkdir C:\z3\build
|
|
) else (
|
|
echo Build directory already exists
|
|
)
|
|
|
|
echo Changing to build directory...
|
|
cd /d C:\z3\build
|
|
|
|
echo Running CMake configuration...
|
|
cmake ..
|
|
if errorlevel 1 (
|
|
echo CMake configuration failed!
|
|
exit /b 1
|
|
)
|
|
|
|
echo Building Z3 with parallel 8...
|
|
cmake --build . --parallel 8
|
|
if errorlevel 1 (
|
|
echo Build failed!
|
|
exit /b 1
|
|
)
|
|
|
|
echo Build completed successfully!
|
|
exit /b 0
|