{"action":"created","issue":{"url":"https://api.github.com/repos/Z3Prover/z3/issues/538","repository_url":"https://api.github.com/repos/Z3Prover/z3","labels_url":"https://api.github.com/repos/Z3Prover/z3/issues/538/labels{/name}","comments_url":"https://api.github.com/repos/Z3Prover/z3/issues/538/comments","events_url":"https://api.github.com/repos/Z3Prover/z3/issues/538/events","html_url":"https://github.com/Z3Prover/z3/issues/538","id":143395946,"number":538,"title":"Cannot build Z3 on Windows using Visual Studio Command Prompt","user":{"login":"plkumjorn","id":7281369,"avatar_url":"https://avatars.githubusercontent.com/u/7281369?v=3","gravatar_id":"","url":"https://api.github.com/users/plkumjorn","html_url":"https://github.com/plkumjorn","followers_url":"https://api.github.com/users/plkumjorn/followers","following_url":"https://api.github.com/users/plkumjorn/following{/other_user}","gists_url":"https://api.github.com/users/plkumjorn/gists{/gist_id}","starred_url":"https://api.github.com/users/plkumjorn/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/plkumjorn/subscriptions","organizations_url":"https://api.github.com/users/plkumjorn/orgs","repos_url":"https://api.github.com/users/plkumjorn/repos","events_url":"https://api.github.com/users/plkumjorn/events{/privacy}","received_events_url":"https://api.github.com/users/plkumjorn/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2016-03-25T00:41:57Z","updated_at":"2016-03-25T00:44:08Z","closed_at":null,"body":"I try to build Z3 by following the instruction in README. However, performing nmake in build directory fails. Could you please suggest me the solution for this issue?\r\n\r\n`C:\\Users\\Piyawat L Kumjorn\\Downloads\\z3-master\\build>nmake\r\n\r\nMicrosoft (R) Program Maintenance Utility Version 14.00.23506.0\r\nCopyright (C) Microsoft Corporation.  All rights reserved.\r\n\r\ndatalog_frontend.cpp\r\nC:\\Program Files (x86)\\Windows Kits\\8.1\\include\\um\\winbase.h(8848): error C3861: '_InterlockedIncrement64': identifier not found\r\nC:\\Program Files (x86)\\Windows Kits\\8.1\\include\\um\\winbase.h(8879): error C3861: '_InterlockedDecrement64': identifier not found\r\nC:\\Program Files (x86)\\Windows Kits\\8.1\\include\\um\\winbase.h(8915): error C3861: '_InterlockedExchange64': identifier not found\r\nC:\\Program Files (x86)\\Windows Kits\\8.1\\include\\um\\winbase.h(8969): error C3861: '_InterlockedExchangeAdd64': identifier not found\r\nC:\\Program Files (x86)\\Windows Kits\\8.1\\include\\um\\winbase.h(8979): error C3861: '_InterlockedExchangeAdd64': identifier not found\r\nC:\\Program Files (x86)\\Windows Kits\\8.1\\include\\um\\winbase.h(9026): error C3861: '_InterlockedAnd64': identifier not found\r\nC:\\Program Files (x86)\\Windows Kits\\8.1\\include\\um\\winbase.h(9036): error C3861: '_InterlockedOr64': identifier not found\r\nC:\\Program Files (x86)\\Windows Kits\\8.1\\include\\um\\winbase.h(9046): error C3861: '_InterlockedXor64': identifier not found\r\nNMAKE : fatal error U1077: '\"C:\\Program Files (x86)\\Microsoft Visual Studio 14.0\\VC\\BIN\\cl.EXE\"' : return code '0x2'\r\nStop.` \r\n\r\nNow, I'm using Windows 10 and Microsoft Visual Studio 14.0\r\n \r\nThank you so much."},"comment":{"url":"https://api.github.com/repos/Z3Prover/z3/issues/comments/201086552","html_url":"https://github.com/Z3Prover/z3/issues/538#issuecomment-201086552","issue_url":"https://api.github.com/repos/Z3Prover/z3/issues/538","id":201086552,"user":{"login":"NikolajBjorner","id":3085284,"avatar_url":"https://avatars.githubusercontent.com/u/3085284?v=3","gravatar_id":"","url":"https://api.github.com/users/NikolajBjorner","html_url":"https://github.com/NikolajBjorner","followers_url":"https://api.github.com/users/NikolajBjorner/followers","following_url":"https://api.github.com/users/NikolajBjorner/following{/other_user}","gists_url":"https://api.github.com/users/NikolajBjorner/gists{/gist_id}","starred_url":"https://api.github.com/users/NikolajBjorner/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/NikolajBjorner/subscriptions","organizations_url":"https://api.github.com/users/NikolajBjorner/orgs","repos_url":"https://api.github.com/users/NikolajBjorner/repos","events_url":"https://api.github.com/users/NikolajBjorner/events{/privacy}","received_events_url":"https://api.github.com/users/NikolajBjorner/received_events","type":"User","site_admin":false},"created_at":"2016-03-25T00:44:07Z","updated_at":"2016-03-25T00:44:07Z","body":"configure the build with --x64 for the x64 architecture or configure the build without this option if your compiler is for 32 bit. "}}