[angr] angr-z3 build problem

Fish Wang fish at cs.ucsb.edu
Fri Jan 15 15:47:38 PST 2016


Christoph:

 

Thanks! We’ll handle it as soon as possible.

 

@Yan: one more reason for you to run a Windows VM!

 

Best,

Fish

 

From: angr [mailto:angr-bounces at lists.cs.ucsb.edu] On Behalf Of Christoph Wintersteiger
Sent: Friday, January 15, 2016 7:39 AM
To: Yan <zardus at gmail.com>
Cc: angr at lists.cs.ucsb.edu
Subject: [angr] angr-z3 build problem

 

64-bit angr seems to suffer from a configuration problem:

http://stackoverflow.com/questions/34810202/why-cant-i-install-angr-z3-using-pip-on-windows-when-python-is-64-bit 

 

Cheers,

Christoph

 

 

Christoph M. Wintersteiger | Researcher | Tel: +44 1223 479724 | Fax: +44 1223 479999 | research.microsoft.com/people/cwinter <http://research.microsoft.com/people/cwinter> 

 



Microsoft Research Limited (company number 03369488) is a company registered in England and Wales whose registered office is at 21 Station Road, Cambridge, CB1 2FB 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cs.ucsb.edu/pipermail/angr/attachments/20160115/0b76178a/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image001.jpg
Type: image/jpeg
Size: 1168 bytes
Desc: not available
URL: <http://lists.cs.ucsb.edu/pipermail/angr/attachments/20160115/0b76178a/attachment-0001.jpg>


More information about the angr mailing list