how to build the 32-bit version of symcc
liushengahn opened this issue · comments
hi, I built 32-bit versions of SymCC based on your tips, but I ran into some problems. I have built the 32-bit version of Z3, but I am not sure how to build the 32-bit version of LLVM. It looks simple in the document, but I don't know how to do it. https://github.com/eurecom-s3/symcc/blob/master/docs/32-bit.txt
Thank you very much for your help.
Originally posted by @liushengahn in #95 (comment)
I choose to use a 32-bit OS to avoid cross-compiling