Yehowshua/RiscV-Formal
2
0
Fork 1
Code Issues 8 Pull requests Actions Packages Projects Releases Wiki Activity

Add flake #4

Merged
Yehowshua merged 10 commits from Artturin/RiscV-Formal:addnix into main 2025-03-14 15:55:41 +00:00
Conversation 0 Commits 10 Files changed 7 +1 -3
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit 2b9895f1cc - Show all commits

4
flake.nix
View file

@ -24,9 +24,7 @@
qemu, qemu,
}: }:
haskell-nix.hix.project { haskell-nix.hix.project {
compiler-nix-name = "ghc948"; compiler-nix-name = "ghc966";
# This works
#compiler-nix-name = "ghc966";
src = builtins.path { src = builtins.path {
path = ./.; path = ./.;
name = "riscv-formal-source"; name = "riscv-formal-source";