mirror of
https://github.com/Z3Prover/z3
synced 2025-04-28 19:35:50 +00:00
vsts cmd
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
af96e42724
commit
a7e0f18482
1 changed files with 5 additions and 0 deletions
5
vsts.cmd
Normal file
5
vsts.cmd
Normal file
|
@ -0,0 +1,5 @@
|
|||
md build
|
||||
cd build
|
||||
set
|
||||
cmake -G "NMake Makefiles" ../
|
||||
nmake
|
Loading…
Add table
Add a link
Reference in a new issue