1. 通常
convert -delay 25 -loop 0 ( 01.jpg 02.jpg 03.jpg 04.jpg ) out_1.gif
2. 50%にリサイズ
convert -delay 25 -loop 0 ( 01.jpg 02.jpg 03.jpg 04.jpg ) ( -resize 50% ) out_2.gif
3. 50%にリサイズ＆32色
convert -delay 25 -loop 0 ( 01.jpg 02.jpg 03.jpg 04.jpg ) ( -resize 50% -colors 32 ) out_3.gif
( )を使うことでグルーピングが可能。最後の例では 01.jpg～04.jpg に対して リサイズ＆色数変更 を行ったあとでgifに変換。
以下、PHP使って簡単なベンチマーク取った。高画質のjpeg画像からgifアニメーション作るコストは結構高い。一見余計なリサイズ＆画質変換処理を加えたほうが短時間で済む。