treewide: stdenv.lib.platforms.gnu -> ... gnu ++ linux

Include all linux platforms.
2018-04-30 18:12:10 -05:00
parent 855e0463ab
commit 4b7b083bcb
44 changed files with 44 additions and 44 deletions
@@ -9,7 +9,7 @@ let
    homepage = http://torch.ch;
    license = stdenv.lib.licenses.bsd3;
    maintainers = with stdenv.lib.maintainers; [ smironov ];
-    platforms = stdenv.lib.platforms.gnu;
+    platforms = stdenv.lib.platforms.gnu ++ stdenv.lib.platforms.linux;
  };

  distro_src = src;