Cheers Martin, honest point is that I haven't tested that, and I also don't know whether our install scripts install our own CMake files in the right directory when you mix apt-get/dpkg and pip. (Nota bene: I'm not a great fan of installing system software through third party tools globally, but you know that ;) ). From a usability point of view, finding an official PPA from the CMake folks that contains a backport that properly conflicts with the CMake Ubuntu ships would be desirable.
Fight the competing-installation problems! Let's make this work, Marcus On Sun, 2019-03-10 at 15:38 -0700, Martin Braun wrote: > FYI, Ubuntu 16.04 lets you `pip install cmake` for the > latest version. > > On Sat, Mar 9, 2019 at 2:03 PM Marcus Müller <mmuel...@gnuradio.org> > wrote: > > In order to proliferate a bit of knowledge about what is currently > > changing while we're progressing on our development branch towards > > a > > GNU Radio 3.8.0.0 release: > > > > CMake req. version -> CMake 3.8 (Ubuntu 16.04 deprecation) > > ========================================================== > > > > We (mostly: Andrej!) managed to rework GNU Radio's CMake > > infrastructure. This comes to our great advantage, because it de- > > crufts > > not only the main GNU Radio build system, but also OOTs, and we can > > now > > actually build out of tree modules with far, far fewer CMake files > > distributed with the module. > > > > But that means we need a somewhat recent CMake (3.8). Ubuntu 16.04 > > only > > ships CMake 3.5.1. > > > > Best regards, > > Marcus > > > > > > > > > > _______________________________________________ > > Discuss-gnuradio mailing list > > Discuss-gnuradio@gnu.org > > https://lists.gnu.org/mailman/listinfo/discuss-gnuradio > > _______________________________________________ > Discuss-gnuradio mailing list > Discuss-gnuradio@gnu.org > https://lists.gnu.org/mailman/listinfo/discuss-gnuradio _______________________________________________ Discuss-gnuradio mailing list Discuss-gnuradio@gnu.org https://lists.gnu.org/mailman/listinfo/discuss-gnuradio
