renderGhcOptions gives it if ghcOptNoLink. I get a messsage along the lines of:
on the commandline: Warning: -no-link is deprecated: Use -c instead
Curiously, it seems to have been undeprecated again starting with 7.0.1. Whatever solution we use should probably be something that will still be sensible after we drop support for 6.12.3 in June or July or whenever it is.