Tool gd32vflash is not available for your operating system.

[cculpepper]

I'm trying to add this to my arduino. I'm getting the following error:
Tool gd32vflash is not available for your operating system.

uname -a Linux ComputerName 5.2.11-arch1-1-ARCH #1 SMP PREEMPT Thu Aug 29 08:09:36 UTC 2019 x86_64 GNU/Linux
Arduino shows the following in the bottom error log:
Tool gd32vflash is not available for your operating system. java.lang.RuntimeException: java.lang.Exception: Tool gd32vflash is not available for your operating system. at cc.arduino.contributions.packages.ui.ContributionManagerUI.lambda$onInstallPressed$2(ContributionManagerUI.java:175) at java.lang.Thread.run(Thread.java:748) Caused by: java.lang.Exception: Tool gd32vflash is not available for your operating system. at cc.arduino.contributions.packages.ContributionInstaller.install(ContributionInstaller.java:85) at cc.arduino.contributions.packages.ui.ContributionManagerUI.lambda$onInstallPressed$2(ContributionManagerUI.java:172) ... 1 more Tool gd32vflash is not available for your operating system.

I'm going to try to install gd32vflash manually and see if that fixes it, but not every user would be willing to do that.

Let me know if you need any more information.