{"action":"created","issue":{"url":"https://api.github.com/repos/Z3Prover/z3/issues/1275","repository_url":"https://api.github.com/repos/Z3Prover/z3","labels_url":"https://api.github.com/repos/Z3Prover/z3/issues/1275/labels{/name}","comments_url":"https://api.github.com/repos/Z3Prover/z3/issues/1275/comments","events_url":"https://api.github.com/repos/Z3Prover/z3/issues/1275/events","html_url":"https://github.com/Z3Prover/z3/issues/1275","id":261474375,"number":1275,"title":"Java Build: nmake error","user":{"login":"OisinMcArdle","id":15650545,"avatar_url":"https://avatars0.githubusercontent.com/u/15650545?v=4","gravatar_id":"","url":"https://api.github.com/users/OisinMcArdle","html_url":"https://github.com/OisinMcArdle","followers_url":"https://api.github.com/users/OisinMcArdle/followers","following_url":"https://api.github.com/users/OisinMcArdle/following{/other_user}","gists_url":"https://api.github.com/users/OisinMcArdle/gists{/gist_id}","starred_url":"https://api.github.com/users/OisinMcArdle/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/OisinMcArdle/subscriptions","organizations_url":"https://api.github.com/users/OisinMcArdle/orgs","repos_url":"https://api.github.com/users/OisinMcArdle/repos","events_url":"https://api.github.com/users/OisinMcArdle/events{/privacy}","received_events_url":"https://api.github.com/users/OisinMcArdle/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":3,"created_at":"2017-09-28T22:00:35Z","updated_at":"2017-09-28T22:06:06Z","closed_at":null,"author_association":"NONE","body":"Hi I'm trying to build this for java.\r\nHere's the commands I ran in Developer Command Prompt for VS 2017 and their output\r\n[DeveloperCMDandOutput.txt](https://github.com/Z3Prover/z3/files/1342478/DeveloperCMDandOutput.txt)\r\n\r\n\r\nEverything seems to work until I use 'nmake'. Googling the error isn't helping. I found a previous issue with this in here but it was closed without an answer.\r\n\r\nHere's the errors when I run 'nmake' in the build directory:\r\n\r\nC:\\Z3Prover\\z3\\build>nmake\r\n\r\nMicrosoft (R) Program Maintenance Utility Version 14.11.25508.2\r\nCopyright (C) Microsoft Corporation.  All rights reserved.\r\n\r\ndatalog_frontend.cpp\r\nC:\\Program Files (x86)\\Windows Kits\\10\\include\\10.0.15063.0\\um\\winnt.h(21436): error C3861: '__readfsdword': identifier not found\r\nC:\\Program Files (x86)\\Windows Kits\\10\\include\\10.0.15063.0\\um\\winbase.h(9044): error C2065: 'InterlockedIncrement64': undeclared identifier\r\nC:\\Program Files (x86)\\Windows Kits\\10\\include\\10.0.15063.0\\um\\winbase.h(9076): error C2065: 'InterlockedDecrement64': undeclared identifier\r\nC:\\Program Files (x86)\\Windows Kits\\10\\include\\10.0.15063.0\\um\\winbase.h(9112): error C3861: 'InterlockedExchange64': identifier not found\r\nC:\\Program Files (x86)\\Windows Kits\\10\\include\\10.0.15063.0\\um\\winbase.h(9166): error C3861: 'InterlockedExchangeAdd64': identifier not found\r\nC:\\Program Files (x86)\\Windows Kits\\10\\include\\10.0.15063.0\\um\\winbase.h(9176): error C3861: 'InterlockedExchangeAdd64': identifier not found\r\nC:\\Program Files (x86)\\Windows Kits\\10\\include\\10.0.15063.0\\um\\winbase.h(9223): error C3861: 'InterlockedAnd64': identifier not found\r\nC:\\Program Files (x86)\\Windows Kits\\10\\include\\10.0.15063.0\\um\\winbase.h(9233): error C3861: 'InterlockedOr64': identifier not found\r\nC:\\Program Files (x86)\\Windows Kits\\10\\include\\10.0.15063.0\\um\\winbase.h(9243): error C3861: 'InterlockedXor64': identifier not found\r\nNMAKE : fatal error U1077: '\"C:\\Program Files (x86)\\Microsoft Visual Studio\\2017\\Community\\VC\\Tools\\MSVC\\14.11.25503\\bin\\HostX86\\x86\\cl.EXE\"' : return code '0x2'\r\nStop.\r\n\r\nC:\\Z3Prover\\z3\\build>"},"comment":{"url":"https://api.github.com/repos/Z3Prover/z3/issues/comments/332977160","html_url":"https://github.com/Z3Prover/z3/issues/1275#issuecomment-332977160","issue_url":"https://api.github.com/repos/Z3Prover/z3/issues/1275","id":332977160,"user":{"login":"OisinMcArdle","id":15650545,"avatar_url":"https://avatars0.githubusercontent.com/u/15650545?v=4","gravatar_id":"","url":"https://api.github.com/users/OisinMcArdle","html_url":"https://github.com/OisinMcArdle","followers_url":"https://api.github.com/users/OisinMcArdle/followers","following_url":"https://api.github.com/users/OisinMcArdle/following{/other_user}","gists_url":"https://api.github.com/users/OisinMcArdle/gists{/gist_id}","starred_url":"https://api.github.com/users/OisinMcArdle/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/OisinMcArdle/subscriptions","organizations_url":"https://api.github.com/users/OisinMcArdle/orgs","repos_url":"https://api.github.com/users/OisinMcArdle/repos","events_url":"https://api.github.com/users/OisinMcArdle/events{/privacy}","received_events_url":"https://api.github.com/users/OisinMcArdle/received_events","type":"User","site_admin":false},"created_at":"2017-09-28T22:06:06Z","updated_at":"2017-09-28T22:06:06Z","author_association":"NONE","body":"@NikolajBjorner Thanks for your response. I'm sorry but can you explain how do I check that?\r\n@delcypher Thanks for your response too. I'll start looking at this now\r\n"}}
{"actor":{"display_login":"OisinMcArdle"}}