Depends if you want it to be played in the browser It has to be a HTML but if otherwise it can be exe or something else
(Edit) exporting HTML can vary from platform to platform
