{"action":"created","issue":{"url":"https://api.github.com/repos/angr/pyvex/issues/19","repository_url":"https://api.github.com/repos/angr/pyvex","labels_url":"https://api.github.com/repos/angr/pyvex/issues/19/labels{/name}","comments_url":"https://api.github.com/repos/angr/pyvex/issues/19/comments","events_url":"https://api.github.com/repos/angr/pyvex/issues/19/events","html_url":"https://github.com/angr/pyvex/issues/19","id":116926060,"number":19,"title":"How to install pyvex in Windows?","user":{"login":"vancaho","id":15372990,"avatar_url":"https://avatars.githubusercontent.com/u/15372990?v=3","gravatar_id":"","url":"https://api.github.com/users/vancaho","html_url":"https://github.com/vancaho","followers_url":"https://api.github.com/users/vancaho/followers","following_url":"https://api.github.com/users/vancaho/following{/other_user}","gists_url":"https://api.github.com/users/vancaho/gists{/gist_id}","starred_url":"https://api.github.com/users/vancaho/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/vancaho/subscriptions","organizations_url":"https://api.github.com/users/vancaho/orgs","repos_url":"https://api.github.com/users/vancaho/repos","events_url":"https://api.github.com/users/vancaho/events{/privacy}","received_events_url":"https://api.github.com/users/vancaho/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":14,"created_at":"2015-11-14T13:56:14Z","updated_at":"2016-02-06T03:27:37Z","closed_at":null,"body":"Hi, I want to use pyvex in Windows. However after I install pyvex by executing \"pip install pyvex\", and I find that the \"pyvex_static.so\" cannot be loaded on windows platform because it is an ELF file while windows requires a PE file. So How to compile the module in windows? Thanks"},"comment":{"url":"https://api.github.com/repos/angr/pyvex/issues/comments/180665286","html_url":"https://github.com/angr/pyvex/issues/19#issuecomment-180665286","issue_url":"https://api.github.com/repos/angr/pyvex/issues/19","id":180665286,"user":{"login":"rhelmot","id":2498805,"avatar_url":"https://avatars.githubusercontent.com/u/2498805?v=3","gravatar_id":"","url":"https://api.github.com/users/rhelmot","html_url":"https://github.com/rhelmot","followers_url":"https://api.github.com/users/rhelmot/followers","following_url":"https://api.github.com/users/rhelmot/following{/other_user}","gists_url":"https://api.github.com/users/rhelmot/gists{/gist_id}","starred_url":"https://api.github.com/users/rhelmot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rhelmot/subscriptions","organizations_url":"https://api.github.com/users/rhelmot/orgs","repos_url":"https://api.github.com/users/rhelmot/repos","events_url":"https://api.github.com/users/rhelmot/events{/privacy}","received_events_url":"https://api.github.com/users/rhelmot/received_events","type":"User","site_admin":false},"created_at":"2016-02-06T03:27:37Z","updated_at":"2016-02-06T03:27:37Z","body":"OH hang on there was a bug we had building z3 on windows where there was a special flag that had to be passed to the build to build with the right number of bits\r\n\r\n```python\r\nimport pyvex, archinfo\r\npyvex.IRSB('\\xc3', 0, archinfo.ArchAMD64()).pp()\r\n```\r\n\r\nPyvex depends on archinfo but if you have that this should work"}}