Use a palette (generated for example with palettegen ) to encode a GIF using ffmpeg :

ffmpeg -i input.mkv -i palette.png -lavfi paletteuse output.gif