The new Release 20.03 is out! You can download binaries for Windows and many major Linux distros here .
depends how you build them. Did you do a "make install"? If not you can simply delete it....
sudo make install
If you've not used a separate prefix for all of them, but you've used the default of /usr/local, your doomed. They cannot be removed.
QuoteIf you've not used a separate prefix for all of them, but you've used the default of /usr/local, your doomed. They cannot be removed.Is there no uninstall rule? That's a shame... [EDIT:] this might help https://stackoverflow.com/questions/1506462/what-files-did-make-install-copy-and-where
The uninstall rule uses the current build folder config to do the uninstall.So if you're at version x, but you've installed version y. You might be out-of-luck if you want reliable uninstall.