idris2Packages.buildIdris: propagate idris libraries

, ... }@attrs:

let

  propagate = libs: lib.unique (lib.concatMap (nextLib: [nextLib] ++ nextLib.propagatedIdrisLibraries) libs);

  ipkgFileName = ipkgName + ".ipkg";

  idrName = "idris2-${idris2.version}";

  libSuffix = "lib/${idrName}";

  propagatedIdrisLibraries = propagate idrisLibraries;

  libDirs =

    (lib.makeSearchPath libSuffix idrisLibraries) +

    (lib.makeSearchPath libSuffix propagatedIdrisLibraries) +

    ":${idris2}/${idrName}";

  supportDir = "${idris2}/${idrName}/lib";

  drvAttrs = builtins.removeAttrs attrs [

    inherit version;

    src = src;

    nativeBuildInputs = [ idris2 makeWrapper ] ++ attrs.nativeBuildInputs or [];

    buildInputs = idrisLibraries ++ attrs.buildInputs or [];

    buildInputs = propagatedIdrisLibraries ++ attrs.buildInputs or [];

    IDRIS2_PACKAGE_PATH = libDirs;

      idris2 --build ${ipkgFileName}

      runHook postBuild

    '';

    passthru = {

      inherit propagatedIdrisLibraries;

    };

  };

in {