···

       
22
       
 
       
      unwrapped = Agda;

     

       
23
       
 
       
      tests = { inherit (nixosTests) agda; };

     

       
24
       
 
       
    };

     

       
0
       
 
       

     

       
25
       
 
       
  } ''

     

       
26
       
 
       
    mkdir -p $out/bin

     

       
27
       
 
       
    makeWrapper ${Agda}/bin/agda $out/bin/agda \

     

       
28
       
 
       
      --add-flags "--with-compiler=${ghc}/bin/ghc" \

     

       
29
       
 
       
      --add-flags "--library-file=${library-file}" \

     

       
30
       
 
       
      --add-flags "--local-interfaces"

     

       
31
       
-
       
    makeWrapper ${Agda}/bin/agda-mode $out/bin/agda-mode

     

       
32
       
 
       
    ''; # Local interfaces has been added for now: See https://github.com/agda/agda/issues/4526

     

       
33
       
 
       


     

       
34
       
 
       
  withPackages = arg: if builtins.isAttrs arg then withPackages' arg else withPackages' { pkgs = arg; };

     

···

       
22
       
 
       
      unwrapped = Agda;

     

       
23
       
 
       
      tests = { inherit (nixosTests) agda; };

     

       
24
       
 
       
    };

     

       
25
       
+
       
    inherit (Agda) meta;

     

       
26
       
 
       
  } ''

     

       
27
       
 
       
    mkdir -p $out/bin

     

       
28
       
 
       
    makeWrapper ${Agda}/bin/agda $out/bin/agda \

     

       
29
       
 
       
      --add-flags "--with-compiler=${ghc}/bin/ghc" \

     

       
30
       
 
       
      --add-flags "--library-file=${library-file}" \

     

       
31
       
 
       
      --add-flags "--local-interfaces"

     

       
32
       
+
       
    ln -s ${Agda}/bin/agda-mode $out/bin/agda-mode

     

       
33
       
 
       
    ''; # Local interfaces has been added for now: See https://github.com/agda/agda/issues/4526

     

       
34
       
 
       


     

       
35
       
 
       
  withPackages = arg: if builtins.isAttrs arg then withPackages' arg else withPackages' { pkgs = arg; };