On Monday, 7 September 2020 at 22:33:52 UTC, kinke wrote: > Seems like you're looking for `-mabi=eabi`, according to > https://github.com/ldc-developers/ldc/blob/032b492bcbc77625866e4a86b3cbc990a74bfb7a/driver/targetmachine.cpp#L106-L118. Is this option documented?