12 Mar
2018
12 Mar
'18
5:29 p.m.
Great! Thanks a lot! 2018-03-09 19:15 GMT+02:00 Ben Gamari <ben@well-typed.com>:
Vassil Ognyanov Keremidchiev <varosi@gmail.com> writes:
I saw there is ARM Aarch64 build, which is pretty cool! But will there be a ARMv7 (32bit build) as well?
I do hope so. There have been a number of false-starts but hopefully the build that is currently running will finish. Unfortunately getting a working ARMv7 build is rather tricky due to a number of linker bugs that bite under various circumstances.
Cheers,
- Ben