Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
configure should have an option to specify the assembler command and the host arch #4171
Original bug ID: 4171
On Linux / x86_64, it is possible to have both 32-bit and 64-bit applications. 32-bit applications may sometimes be preferable (less memory is used, as experienced with Astrée).
This simply requires building OCaml for a i686 target instead of an amd64 target. I've done it, and here are the issues I've noticed:
Of course, seasoned programmers can patch OCaml's source by hand, but still...