There's nothing there to irrigate (Mars) with

http://spacebombardment.blogspot.com...-watering.html

That's the general issue with irrigation, so we move the water. Dyson
considered moving small amounts from Enceladus, I'd prefer adjusting
comet's orbits for impact, to get large amounts of heat and water
quickly.