Smoking is only permitted outside the terminal buildings.
It is reported that smoking is available in the VIP lounge in Terminal 1 however only certain ticket holders are able to purchase access to the lounge.
Where you can smoke in the worlds airports