This commit is contained in:
Artturin 2024-10-01 22:46:35 +03:00
parent d9fc1f2062
commit 4336994571
3 changed files with 45 additions and 0 deletions

View file

@ -49,6 +49,20 @@
default = self.packages.${system}.smi;
};
checks = {
simple =
pkgs.runCommand "test"
{
# Goes up to 7
NIX_DEBUG = 0;
}
''
mkdir -p $out
${self.packages.${system}.tt-gcc}/bin/riscv32-unknown-elf-gcc ${./tests/test.c} -o $out/test
${self.packages.${system}.tt-gcc}/bin/riscv32-unknown-elf-gcc -mblackhole ${./tests/test.c} -o $out/test-wormhole
'';
};
formatter = pkgs.nixfmt-rfc-style;
}
);