From 778cf793397ee908885d7a52be6ea93a65b147c6 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Thu, 11 Oct 2012 15:09:18 +0100 Subject: [PATCH] updated build.cmd for Microsoft.Z3 Signed-off-by: Christoph M. Wintersteiger --- Microsoft.Z3/test_mapi/build-external.cmd | 4 ---- Microsoft.Z3/test_mapi/build.cmd | 6 +++--- 2 files changed, 3 insertions(+), 7 deletions(-) delete mode 100644 Microsoft.Z3/test_mapi/build-external.cmd diff --git a/Microsoft.Z3/test_mapi/build-external.cmd b/Microsoft.Z3/test_mapi/build-external.cmd deleted file mode 100644 index c493f0d41..000000000 --- a/Microsoft.Z3/test_mapi/build-external.cmd +++ /dev/null @@ -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 \ No newline at end of file diff --git a/Microsoft.Z3/test_mapi/build.cmd b/Microsoft.Z3/test_mapi/build.cmd index bdcf0f15c..bfc0870aa 100644 --- a/Microsoft.Z3/test_mapi/build.cmd +++ b/Microsoft.Z3/test_mapi/build.cmd @@ -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 \ No newline at end of file +csc /reference:..\..\external\Microsoft.Z3.dll /platform:anycpu /reference:System.Numerics.dll Program.cs \ No newline at end of file