> Is there a way to pass gcc options to Assemble phase via bin/mlton or > via another method. Does -cc-opt work in your situation?