Add flake #4

Merged
Yehowshua merged 10 commits from Artturin/RiscV-Formal:addnix into main 2025-03-14 15:55:41 +00:00
Showing only changes of commit ad34d49f3d - Show all commits

View file

@ -1,10 +1,10 @@
{ pkgs ? import <nixpkgs> {} }:
let
riscv64-linux = pkgs.pkgsCross.riscv64;
riscv64-linux = pkgs.pkgsCross.riscv64.__splicedPackages;
in
pkgs.mkShell {
buildInputs = [
nativeBuildInputs = [
riscv64-linux.gcc
riscv64-linux.binutils
riscv64-linux.glibc