···

       
44
       
44
       
 
       
      ghc ? ghcWithPackages (p: with p; [ ieee754 ]),

     

       
45
       
45
       
 
       
    }:

     

       
46
       
46
       
 
       
    let

     

       
47
       
47
       
-
       
      library-file = mkLibraryFile pkgs;

     

       
47
       
47
       
+
       
      libraryFile = mkLibraryFile pkgs;

     

       
48
       
48
       
 
       
      pname = "agdaWithPackages";

     

       
49
       
49
       
 
       
      version = Agda.version;

     

       
50
       
50
       
 
       
    in

     
···

       
54
       
54
       
 
       
        nativeBuildInputs = [ makeWrapper ];

     

       
55
       
55
       
 
       
        passthru = {

     

       
56
       
56
       
 
       
          unwrapped = Agda;

     

       
57
       
57
       
-
       
          inherit withPackages;

     

       
57
       
57
       
+
       
          inherit

     

       
58
       
58
       
+
       
            withPackages

     

       
59
       
59
       
+
       
            libraryFile

     

       
60
       
60
       
+
       
            ;

     

       
58
       
61
       
 
       
          tests = {

     

       
59
       
62
       
 
       
            inherit (nixosTests) agda;

     

       
60
       
63
       
 
       
            allPackages = withPackages (filter self.lib.isUnbrokenAgdaPackage (attrValues self));

     
···

       
67
       
70
       
 
       
        mkdir -p $out/bin

     

       
68
       
71
       
 
       
        makeWrapper ${lib.getExe Agda} $out/bin/agda \

     

       
69
       
72
       
 
       
          ${lib.optionalString (ghc != null) ''--add-flags "--with-compiler=${ghc}/bin/ghc"''} \

     

       
70
       
70
       
-
       
          --add-flags "--library-file=${library-file}"

     

       
73
       
73
       
+
       
          --add-flags "--library-file=${libraryFile}"

     

       
71
       
74
       
 
       
        ln -s ${lib.getExe' Agda "agda-mode"} $out/bin/agda-mode

     

       
72
       
75
       
 
       
      '';

     

       
73
       
76