>> I know our cmake is in need of an upgrade

I submitted a patchset for updating cmake a couple of weeks ago.

https://debbugs.gnu.org/cgi/bugreport.cgi?bug=30390

Reply via email to