2024-03-04 03:59:50 +00:00
|
|
|
{
|
|
|
|
inputs = {
|
|
|
|
nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
|
2024-04-05 02:23:28 +00:00
|
|
|
nixpkgs-circt162.url = "github:NixOS/nixpkgs/7995cae3ad60e3d6931283d650d7f43d31aaa5c7";
|
2024-03-04 03:59:50 +00:00
|
|
|
flake-utils.url = "github:numtide/flake-utils";
|
2024-04-05 02:23:28 +00:00
|
|
|
pre-commit-hooks = {
|
|
|
|
url = "github:cachix/pre-commit-hooks.nix";
|
|
|
|
inputs.nixpkgs.follows = "nixpkgs";
|
|
|
|
};
|
|
|
|
nur-xin = {
|
|
|
|
url = "git+https://git.xinyang.life/xin/nur.git";
|
|
|
|
inputs.nixpkgs.follows = "nixpkgs";
|
|
|
|
};
|
2024-03-04 03:59:50 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
outputs = { self, ... }@inputs: with inputs;
|
|
|
|
flake-utils.lib.eachDefaultSystem (system:
|
|
|
|
let
|
2024-04-05 02:23:28 +00:00
|
|
|
pkgs = import nixpkgs {
|
|
|
|
inherit system;
|
|
|
|
config.allowUnfree = true;
|
|
|
|
overlays = [
|
|
|
|
(self: super: {
|
|
|
|
nvboard = nur-xin.legacyPackages.${system}.nvboard;
|
|
|
|
})
|
|
|
|
];
|
|
|
|
};
|
2024-03-04 03:59:50 +00:00
|
|
|
crossPkgs = import nixpkgs {
|
|
|
|
localSystem = system;
|
|
|
|
crossSystem = {
|
|
|
|
config = "riscv32-none-elf";
|
2024-03-25 09:29:46 +00:00
|
|
|
gcc = {
|
|
|
|
abi = "ilp32";
|
|
|
|
arch = "rv32if";
|
|
|
|
};
|
2024-03-04 03:59:50 +00:00
|
|
|
};
|
|
|
|
};
|
|
|
|
in
|
|
|
|
{
|
2024-04-05 02:23:28 +00:00
|
|
|
checks = {
|
|
|
|
pre-commit-check = pre-commit-hooks.lib.${system}.run {
|
|
|
|
src = ./.;
|
|
|
|
hooks = {
|
|
|
|
trim-trailing-whitespace.enable = true;
|
2024-04-13 13:15:56 +00:00
|
|
|
end-of-file-fixer.enable = true;
|
|
|
|
cmake-format.enable = true;
|
2024-04-05 02:23:28 +00:00
|
|
|
clang-format = {
|
|
|
|
enable = true;
|
|
|
|
types_or = pkgs.lib.mkForce [ "c" "c++" ];
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
2024-04-05 03:30:52 +00:00
|
|
|
|
2024-03-25 12:46:13 +00:00
|
|
|
packages.nemu = pkgs.callPackage ./nemu { am-kernels = self.packages.${system}.am-kernels; };
|
2024-04-05 03:30:52 +00:00
|
|
|
packages.nemu-lib = pkgs.callPackage ./nemu { am-kernels = self.packages.${system}.am-kernels; defconfig = "riscv32-lib_defconfig"; };
|
2024-04-13 13:15:56 +00:00
|
|
|
packages.abstract-machine = crossPkgs.callPackage ./abstract-machine { isa = "riscv"; platform = [ "nemu" "npc" ]; };
|
|
|
|
packages.abstract-machine-native = pkgs.callPackage ./abstract-machine { isa = "native"; };
|
2024-03-04 03:59:50 +00:00
|
|
|
|
2024-03-25 12:46:13 +00:00
|
|
|
packages.am-kernels = crossPkgs.stdenv.mkDerivation rec {
|
2024-03-25 09:29:46 +00:00
|
|
|
pname = "am-kernels-cmake";
|
2024-03-04 03:59:50 +00:00
|
|
|
version = "2024.02.18";
|
|
|
|
|
2024-04-05 02:23:28 +00:00
|
|
|
src = ./am-kernels;
|
2024-03-04 03:59:50 +00:00
|
|
|
|
2024-03-25 09:29:46 +00:00
|
|
|
nativeBuildInputs = [
|
|
|
|
pkgs.cmake
|
|
|
|
];
|
2024-03-04 03:59:50 +00:00
|
|
|
|
2024-03-25 09:29:46 +00:00
|
|
|
cmakeFlags = [
|
|
|
|
(pkgs.lib.cmakeFeature "ISA" "riscv")
|
|
|
|
(pkgs.lib.cmakeFeature "PLATFORM" "nemu")
|
|
|
|
];
|
2024-03-04 03:59:50 +00:00
|
|
|
|
2024-03-25 09:29:46 +00:00
|
|
|
buildInputs = [
|
|
|
|
# SDL2
|
|
|
|
self.packages.${system}.abstract-machine
|
|
|
|
];
|
2024-03-04 03:59:50 +00:00
|
|
|
};
|
2024-04-05 02:23:28 +00:00
|
|
|
|
2024-03-07 05:19:12 +00:00
|
|
|
devShells.nemu = pkgs.mkShell {
|
|
|
|
packages = with pkgs; [
|
|
|
|
clang-tools
|
2024-03-20 11:46:54 +00:00
|
|
|
gdb
|
2024-03-07 05:19:12 +00:00
|
|
|
];
|
|
|
|
inputsFrom = [
|
|
|
|
self.packages.${system}.nemu
|
|
|
|
];
|
2024-04-05 03:30:52 +00:00
|
|
|
IMAGES_PATH = "${self.packages.${system}.am-kernels}/share/binary";
|
2024-03-07 05:19:12 +00:00
|
|
|
};
|
2024-04-05 02:23:28 +00:00
|
|
|
|
2024-04-13 13:15:56 +00:00
|
|
|
devShells.npc = with pkgs; mkShell.override { stdenv = ccacheStdenv; } {
|
2024-04-05 02:23:28 +00:00
|
|
|
inherit (self.checks.${system}.pre-commit-check) shellHook;
|
|
|
|
CHISEL_FIRTOOL_PATH = "${nixpkgs-circt162.legacyPackages.${system}.circt}/bin";
|
|
|
|
packages = [
|
|
|
|
clang-tools
|
|
|
|
cmake
|
|
|
|
coursier
|
|
|
|
espresso
|
|
|
|
bloop
|
|
|
|
|
|
|
|
gdb
|
|
|
|
jre
|
|
|
|
|
|
|
|
gtkwave
|
|
|
|
];
|
|
|
|
|
|
|
|
nativeBuildInputs = [
|
|
|
|
cmake
|
|
|
|
sbt
|
|
|
|
nvboard
|
|
|
|
nixpkgs-circt162.legacyPackages.${system}.circt
|
|
|
|
yosys
|
|
|
|
cli11
|
2024-04-09 09:03:21 +00:00
|
|
|
flex
|
|
|
|
bison
|
|
|
|
verilator
|
2024-04-05 02:23:28 +00:00
|
|
|
];
|
|
|
|
|
|
|
|
buildInputs = [
|
|
|
|
nvboard
|
2024-04-05 03:30:52 +00:00
|
|
|
openssl
|
2024-04-09 09:03:21 +00:00
|
|
|
libllvm
|
|
|
|
libxml2
|
|
|
|
readline
|
2024-04-05 02:23:28 +00:00
|
|
|
] ++ self.checks.${system}.pre-commit-check.enabledPackages;
|
2024-04-05 03:30:52 +00:00
|
|
|
|
|
|
|
cmakeFlags = [
|
|
|
|
"-DDIFFTEST_LIB:string=${self.packages.${system}.nemu-lib}/lib/riscv32-nemu-interpreter-so"
|
|
|
|
];
|
2024-04-05 02:23:28 +00:00
|
|
|
};
|
2024-03-04 03:59:50 +00:00
|
|
|
}
|
|
|
|
);
|
|
|
|
}
|