On 2021年7月21日 at 15:12, Hugo Musso Gualandi <hgualandi@inf.puc-rio.br> wrote: > If you wouldn't mind, could you help me find the part of the source > code that is responsible for this? The one I could find is using > Linux-specific compilation flags, which is the same thing we're doing > for Pallene right now. > > https://github.com/dibyendumajumdar/ravi/blob/2eda81f17c920bc0762ab810b1f116965603d763/aot-examples/gaussian2_aot.lua > Sadly I too only have gcc/Linux at the moment - expanding this is in my TODO list. I will share here if I make progress on this. Regards