···

       
7
       
 
       


     

       
8
       
 
       
  efi = config.boot.loader.efi;

     

       
9
       
 
       


     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
10
       
 
       
  systemdBootBuilder = pkgs.substituteAll rec {

     

       
11
       
-
       
    src = ./systemd-boot-builder.py;

     

       
12
       
 
       


     

       
13
       
 
       
    isExecutable = true;

     

       
14
       
 
       


     
···

       
66
       
 
       
    '';

     

       
67
       
 
       
  };

     

       
68
       
 
       


     

       
69
       
-
       
  checkedSystemdBootBuilder = pkgs.runCommand "systemd-boot" { } ''

     

       
70
       
-
       
    mkdir -p $out/bin

     

       
71
       
-
       
    install -m755 ${systemdBootBuilder} $out/bin/systemd-boot-builder

     

       
72
       
-
       
    ${lib.getExe pkgs.buildPackages.mypy} \

     

       
73
       
-
       
      --no-implicit-optional \

     

       
74
       
-
       
      --disallow-untyped-calls \

     

       
75
       
-
       
      --disallow-untyped-defs \

     

       
76
       
-
       
      $out/bin/systemd-boot-builder

     

       
77
       
-
       
  '';

     

       
78
       
-
       


     

       
79
       
 
       
  finalSystemdBootBuilder = pkgs.writeScript "install-systemd-boot.sh" ''

     

       
80
       
 
       
    #!${pkgs.runtimeShell}

     

       
81
       
-
       
    ${checkedSystemdBootBuilder}/bin/systemd-boot-builder "$@"

     

       
82
       
 
       
    ${cfg.extraInstallCommands}

     

       
83
       
 
       
  '';

     

       
84
       
 
       
in {

     

···

       
7
       
 
       


     

       
8
       
 
       
  efi = config.boot.loader.efi;

     

       
9
       
 
       


     

       
10
       
+
       
  # We check the source code in a derivation that does not depend on the

     

       
11
       
+
       
  # system configuration so that most users don't have to redo the check and require

     

       
12
       
+
       
  # the necessary dependencies.

     

       
13
       
+
       
  checkedSource = pkgs.runCommand "systemd-boot" { } ''

     

       
14
       
+
       
    install -m755 -D ${./systemd-boot-builder.py} $out

     

       
15
       
+
       
    ${lib.getExe pkgs.buildPackages.mypy} \

     

       
16
       
+
       
      --no-implicit-optional \

     

       
17
       
+
       
      --disallow-untyped-calls \

     

       
18
       
+
       
      --disallow-untyped-defs \

     

       
19
       
+
       
      $out

     

       
20
       
+
       
  '';

     

       
21
       
+
       


     

       
22
       
 
       
  systemdBootBuilder = pkgs.substituteAll rec {

     

       
23
       
+
       
    src = checkedSource;

     

       
24
       
 
       


     

       
25
       
 
       
    isExecutable = true;

     

       
26
       
 
       


     
···

       
78
       
 
       
    '';

     

       
79
       
 
       
  };

     

       
80
       
 
       


     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
81
       
 
       
  finalSystemdBootBuilder = pkgs.writeScript "install-systemd-boot.sh" ''

     

       
82
       
 
       
    #!${pkgs.runtimeShell}

     

       
83
       
+
       
    ${systemdBootBuilder} "$@"

     

       
84
       
 
       
    ${cfg.extraInstallCommands}

     

       
85
       
 
       
  '';

     

       
86
       
 
       
in {