papi/flake.nix at rivos/main · picostove/papi · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
{
  description = "papi";

  inputs.nixpkgs.url = "nixpkgs/nixos-23.11";

  outputs = {
    self,
    nixpkgs,
  }: let
    version = "7.1.0-g${self.shortRev or "dirty"}";
    # System types to support.
    supportedSystems = [
      "riscv64-linux"
      "x86_64-linux"
    ];

    # Helper function to generate an attrset '{ x86_64-linux = f "x86_64-linux"; ... }'.
    forAllSystems = nixpkgs.lib.genAttrs supportedSystems;

    # Nixpkgs instantiated for supported system types.
    nixpkgsFor = forAllSystems (system:
      import nixpkgs {
        inherit system;

        overlays = [
          self.overlays.default
        ];
      });
  in rec {
    overlays.default = final: prev: {
      papi = prev.papi.overrideAttrs (oldAttrs: {
        inherit version;
        src = self;
        configureFlags = (oldAttrs.configureFlags or []) ++ [
          "--with-ffsll"
          "--with-walltimer=clock_realtime"
          "--with-tls=__thread"
          "--with-virtualtimer=clock_thread_cputime_id"
        ];
      });
    };

    packages = forAllSystems (system: let
      papi = (nixpkgsFor.${system}).papi;
    in {
      inherit papi;
      default = papi;
    });
  };
}