Unverified Commit b1de421a authored by Naïm Camille Favier's avatar Naïm Camille Favier Committed by GitHub
Browse files

agda.withPackages: add libraryFile to passthru (#447924)

parents 114da121 1df3c7cb

pkgs/build-support/agda/default.nix

+6 −3
Original line number Diff line number Diff line
@@ -44,7 +44,7 @@ let 
      ghc ? ghcWithPackages (p: with p; [ ieee754 ]),

    }:

    let

      library-file = mkLibraryFile pkgs;

      libraryFile = mkLibraryFile pkgs;

      pname = "agdaWithPackages";

      version = Agda.version;

    in
@@ -54,7 +54,10 @@ let 
        nativeBuildInputs = [ makeWrapper ];

        passthru = {

          unwrapped = Agda;

          inherit withPackages;

          inherit

            withPackages

            libraryFile

            ;

          tests = {

            inherit (nixosTests) agda;

            allPackages = withPackages (filter self.lib.isUnbrokenAgdaPackage (attrValues self));
@@ -67,7 +70,7 @@ let 
        mkdir -p $out/bin

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

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

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

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

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

      '';