make {ghci,push,reload}