From c164d5597b126654f683c0e0974d5ecf36e0d14e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Mon, 15 Aug 2022 15:15:47 +0200 Subject: nixos: move C develop to just devShells --- devShells/c.nix | 6 +++--- devShells/nuttx.nix | 2 ++ nixos/machine/gaspode.nix | 25 +++++++++++++++++++++++++ nixos/modules/develop.nix | 7 ------- 4 files changed, 30 insertions(+), 10 deletions(-) create mode 100644 nixos/machine/gaspode.nix diff --git a/devShells/c.nix b/devShells/c.nix index 76e653c..5d4278e 100644 --- a/devShells/c.nix +++ b/devShells/c.nix @@ -5,15 +5,15 @@ let in pkgs.mkShell { packages = (with pkgs; [ - clang-tools + clang-tools ctags gcc gdb pkg-config meson ninja bear cmake - cppcheck flawfinder - + valgrind lcov massif-visualizer + cppcheck flawfinder check curl diff --git a/devShells/nuttx.nix b/devShells/nuttx.nix index 612465f..34c1361 100644 --- a/devShells/nuttx.nix +++ b/devShells/nuttx.nix @@ -19,6 +19,8 @@ in pkgs.mkShell { gnumake kconfig-frontends genromfs xxd openocd + + meson ninja bear ]) ++ (with pkgs-cross.buildPackages; [ gcc gdb ]); diff --git a/nixos/machine/gaspode.nix b/nixos/machine/gaspode.nix new file mode 100644 index 0000000..82762f1 --- /dev/null +++ b/nixos/machine/gaspode.nix @@ -0,0 +1,25 @@ +{ config, lib, pkgs, ... }: + +with lib; + +{ + + config = { + + fileSystems = { + "/" = { + device = "/dev/mmcblk0p2"; + options = ["compress=lzo" "subvol=@nix"]; + }; + "/home" = { + device = "/dev/mmcblk0p2"; + options = ["compress=lzo" "subvol=@home"]; + }; + "/boot" = { + device = "/dev/mmcblk0p1"; + }; + }; + + }; + +} diff --git a/nixos/modules/develop.nix b/nixos/modules/develop.nix index 844081b..fab5733 100644 --- a/nixos/modules/develop.nix +++ b/nixos/modules/develop.nix @@ -29,13 +29,6 @@ in { nix-prefetch-git nix-prefetch-github nix-prefetch-scripts rnix-lsp - # C - clang-tools gcc bear ctags - cppcheck flawfinder - check valgrind - gdb - lcov massif-visualizer - # Shell dash # Posix shell bats -- cgit v1.2.3