mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

updated build.cmd for Microsoft.Z3

Browse source 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
Christoph M. Wintersteiger 2012-10-11 15:09:18 +01:00
parent e0c746e382
commit 778cf79339
2 changed files with 3 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Microsoft.Z3/test_mapi/build-external.cmd
View file

@ -1,4 +0,0 @@
copy ..\..\bin\Microsoft.Z3.dll .
copy ..\..\bin\Z3.dll .
csc /reference:Microsoft.Z3.dll /debug:full /platform:x86 /reference:System.Numerics.dll Program.cs

6
Microsoft.Z3/test_mapi/build.cmd
View file

@ -1,4 +1,4 @@
copy ..\..\x64\release\Microsoft.Z3.dll .
copy ..\..\x64\release\Z3.dll .
copy ..\..\external\Microsoft.Z3.dll .
copy ..\..\external\Z3.dll .
csc /reference:..\..\x64\release\Microsoft.Z3.dll /debug:full /platform:x64 /reference:System.Numerics.dll Program.cs
csc /reference:..\..\external\Microsoft.Z3.dll /platform:anycpu /reference:System.Numerics.dll Program.cs