Modelsim beacause its nature(!) is better run in linux. You can use make files, tcl scripts easier.
For synthesis tools, you should notice that an operating system with more stability and better memory management is more suitible. So I prefer linux for synthesis too!