FYI: I share Marcus' concerns about using non-standard installers for your system. That said, I tested the pip install approach; and it works.
In the end however, on my 16.04 system, I went with installing CMake by hand via the script that Kitware provides.
-- M
On Mon, Mar 11, 2019 at 1:02 AM Marcus Müller <mmueller@gnuradio.org> wrote:
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 <mmueller@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
No comments:
Post a Comment