From 441f8a84c07741e4f76b5517378f7e94992c0295 Mon Sep 17 00:00:00 2001 From: Franz Pletz Date: Tue, 22 Mar 2016 01:16:53 +0100 Subject: [PATCH] gnuradio: 3.7.8.1 -> 3.7.9.1 --- pkgs/applications/misc/gnuradio/default.nix | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/pkgs/applications/misc/gnuradio/default.nix b/pkgs/applications/misc/gnuradio/default.nix index ab02238606a..734ffee51e2 100644 --- a/pkgs/applications/misc/gnuradio/default.nix +++ b/pkgs/applications/misc/gnuradio/default.nix @@ -23,11 +23,11 @@ stdenv.mkDerivation rec { name = "gnuradio-${version}"; - version = "3.7.8.1"; + version = "3.7.9.1"; src = fetchurl { url = "http://gnuradio.org/releases/gnuradio/${name}.tar.gz"; - sha256 = "1ap5gbgisnbny3jbnm2i5wm2sy6qkbhz747av3sjxp2z12fz81l4"; + sha256 = "0zlnxyqq3dyrg0nz2hpydlhyzv26vlkdavs8w01k448lxkqz01lw"; }; buildInputs = [ @@ -39,6 +39,8 @@ stdenv.mkDerivation rec { cheetahTemplate numpy scipy matplotlib pyqt4 pygtk wxPython pyopengl ]; + enableParallelBuilding = true; + preConfigure = '' export NIX_CFLAGS_COMPILE="$NIX_CFLAGS_COMPILE -Wno-unused-variable" ''; @@ -72,6 +74,6 @@ stdenv.mkDerivation rec { homepage = http://www.gnuradio.org; license = licenses.gpl3; platforms = platforms.linux; - maintainers = [ maintainers.bjornfor ]; + maintainers = with maintainers; [ bjornfor fpletz ]; }; }