What’s the best way to take an ordered set of pictures and turn them into a one–a-second video?

(I’m on Apple devices, if that matters.)

Edit: answer appears to be FFMPEG.