RiscV-Formal/flake.nix

{
  inputs = {
    nixpkgs = {
      url = "github:NixOS/nixpkgs/nixpkgs-unstable";
    };
    utils.url = "github:numtide/flake-utils";
    haskellNix.url = "github:input-output-hk/haskell.nix";

  };

  outputs =
    inputs:
    inputs.utils.lib.eachDefaultSystem (
      system:
      let
        pkgs = import inputs.nixpkgs {
          localSystem = system;
          overlays = [
            inputs.haskellNix.overlay
            (_: prev: {
              riscv-formal = prev.callPackage (
                {
                  haskell-nix,
                  qemu,
                }:
                haskell-nix.hix.project {
                  compiler-nix-name = "ghc966";
                  src = builtins.path {
                    path = ./.;
                    name = "riscv-formal-source";
                  };
                  shell =
                    let
                      riscv64-linux = prev.pkgsCross.riscv64-embedded.__splicedPackages;
                    in
                    {
                      tools = {
                        cabal = { };
                        hlint = { };
                      };
                      nativeBuildInputs = [
                        qemu
                        riscv64-linux.gcc
                        riscv64-linux.binutils
                        riscv64-linux.glibc
                      ];
                    };
                }
              ) { };
            })
          ];
        };
        flake = pkgs.riscv-formal.flake { };
      in
      flake
    );

  nixConfig = {
    # https://input-output-hk.github.io/haskell.nix/tutorials/getting-started-flakes.html#setting-up-the-binary-cache
    extra-substituters = [ "https://cache.iog.io" ];
    extra-trusted-public-keys = [ "hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=" ];
    allow-import-from-derivation = true;
  };
}