如何在Android上使用FFMPEG将GIF转换为优化的mp4视频？

Question

我成功地将FFMPEG集成为android上的库，我正在使用JNI将我的JAVA类与C和C ++类进行通信。

背景和我的问题 一个可以发送GIF的聊天应用程序，问题是一个GIF可能重达2MB，经过大量研究后我发现最好的解决方案是将这些GIF转换为mp4（Facebook信使，whatsapp和电报做的事情）。

我的问题是，如何将gif转换为mp4以减小其大小，使用ffmpeg（不在命令行中，在android中），因为Telegram提到here？

我的尝试

• 从电报中理解和实施gifvdeo.cpp（这非常复杂，我完全无法理解）
• 将gif转换为位图帧，并压缩每个位图然后将这些位图转换为mp4（由于“致命信号11（SIGSEGV），代码1，故障，我无法通过JNI将位图对象传递给C”在tid 26952中的addr 0x31f“这是另一个问题”

我做过的研究

• using ffmpeg to convert gif to mp4 , output doesn't play on android
• How to convert GIF to Mp4 is it possible?
• Convert GIF to Video in Android
• https://unix.stackexchange.com/questions/40638/how-to-do-i-convert-an-animated-gif-to-an-mp4-or-mv4-on-the-command-line

上述问题的问题是他们使用命令行FFMPEG，这不是我正在做的事情，我正在使用JNI并直接访问c类提到的库。