{"action":"closed","issue":{"url":"https://api.github.com/repos/Z3Prover/z3/issues/1752","repository_url":"https://api.github.com/repos/Z3Prover/z3","labels_url":"https://api.github.com/repos/Z3Prover/z3/issues/1752/labels{/name}","comments_url":"https://api.github.com/repos/Z3Prover/z3/issues/1752/comments","events_url":"https://api.github.com/repos/Z3Prover/z3/issues/1752/events","html_url":"https://github.com/Z3Prover/z3/issues/1752","id":340543579,"node_id":"MDU6SXNzdWUzNDA1NDM1Nzk=","number":1752,"title":"Z3 failed when build with permissive- + MSVC on windows","user":{"login":"QuellaZhang","id":36754348,"node_id":"MDQ6VXNlcjM2NzU0MzQ4","avatar_url":"https://avatars1.githubusercontent.com/u/36754348?v=4","gravatar_id":"","url":"https://api.github.com/users/QuellaZhang","html_url":"https://github.com/QuellaZhang","followers_url":"https://api.github.com/users/QuellaZhang/followers","following_url":"https://api.github.com/users/QuellaZhang/following{/other_user}","gists_url":"https://api.github.com/users/QuellaZhang/gists{/gist_id}","starred_url":"https://api.github.com/users/QuellaZhang/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/QuellaZhang/subscriptions","organizations_url":"https://api.github.com/users/QuellaZhang/orgs","repos_url":"https://api.github.com/users/QuellaZhang/repos","events_url":"https://api.github.com/users/QuellaZhang/events{/privacy}","received_events_url":"https://api.github.com/users/QuellaZhang/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":4,"created_at":"2018-07-12T08:45:33Z","updated_at":"2018-07-29T15:13:43Z","closed_at":"2018-07-29T15:13:43Z","author_association":"NONE","body":"Build Z3 with permissive- by msvc failed with error C2589, this issue can be reproduced from master revision 30a30e7. Could you please help take a look at this?\r\n \r\n**Repro:**\r\n 1.Open VS2017 x86 Native tools command tool\r\n 2.git clone https://github.com/Z3Prover/z3 D:\\Z3\\src\r\n 3.cd D:\\Z3\r\n 4.mkdir build_x86 && pushd build_x86\r\n 5.cmake -G \"Visual Studio 15 2017\" -DCMAKE_SYSTEM_VERSION=10.0.17134.0 ..\\src\r\n 6.msbuild build_x86\\Z3.sln /p:Configuration=Release;Platform=Win32 /t:Rebuild /m /p:BuildInParallel=true\r\n\r\n**Failures:**\r\nd:\\z3\\src\\src\\util\\mpz.h(156): error C2589: '(': illegal token on right side of '::'\r\nd:\\z3\\src\\src\\util\\mpz.h(693): note: see reference to class template instantiation 'mpz_manager<SYNCH>' being compiled"}}
{"actor":{"display_login":"NikolajBjorner"}}