mirror of
https://github.com/Z3Prover/z3
synced 2025-04-28 19:35:50 +00:00
try paths to vsvars
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
a7e0f18482
commit
b82214ef0d
1 changed files with 2 additions and 0 deletions
2
vsts.cmd
2
vsts.cmd
|
@ -1,5 +1,7 @@
|
|||
md build
|
||||
cd build
|
||||
set
|
||||
"C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars64.bat"
|
||||
%VS140COMNTOOLS%\vcvars64.bat
|
||||
cmake -G "NMake Makefiles" ../
|
||||
nmake
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue