default.nix

{ system ? builtins.currentSystem, crossSystem ? null
  # allows to cutomize haskellNix (profiling, see ./nix/ouroboros-network.nix)
, config ? { }
  # allows to override dependencies of the project without modifications,
  # eg. to test build against local checkout of nixpkgs and iohk-nix:
  # nix build -f default.nix cardano-ledger-byron --arg sourcesOverride '{
  #   iohk-nix = ../iohk-nix;
  # }'
, sourcesOverride ? { }
  # pinned version of nixpkgs augmented with overlays (iohk-nix and our packages).
, pkgs ? import ./nix { inherit system crossSystem config sourcesOverride; }
, gitrev ? pkgs.iohkNix.commitIdFromGitRepoOrZero ./.git }:
with pkgs;
with commonLib;
let
  haskellPackages = recRecurseIntoAttrs
    # the Haskell.nix package set, reduced to local packages.
    (selectProjectPackages ouroborosNetworkHaskellPackages);

  validate-mainnet = import ./nix/validate-mainnet.nix {
    inherit pkgs;
    byron-db-converter =
      haskellPackages.ouroboros-consensus-byron.components.exes.db-converter;
    db-analyser =
      haskellPackages.ouroboros-consensus-cardano.components.exes.db-analyser;
    onlyImmutableDB = false;
  };

  self = {
    inherit haskellPackages network-docs consensus-docs;

    inherit (haskellPackages.ouroboros-network.identifier) version;

    # `tests` are the test suites which have been built.
    tests = collectComponents' "tests" haskellPackages;
    # `benchmarks` (only built, not run).
    benchmarks = collectComponents' "benchmarks" haskellPackages;

    libs = collectComponents' "library" haskellPackages;

    exes = collectComponents' "exes" haskellPackages;

    checks = recurseIntoAttrs {
      # `checks.tests` collect results of executing the tests:
      tests = collectChecks' haskellPackages;
      styles = recurseIntoAttrs {
        check-nixfmt = callPackage ./nix/check-nixfmt.nix { };
        check-stylish = callPackage ./nix/check-stylish.nix { };
        check-stylish-network = callPackage ./nix/check-stylish-network.nix { };
      };
    };

    # These are not run on hydra, but will be built separately in a nightly
    # build job.
    nightly-checks = {
      inherit validate-mainnet;
      gnuparallel = pkgs.parallel;
      glibcLocales = pkgs.glibcLocales;

      Cardano =
        haskellPackages.ouroboros-consensus-cardano-test.components.tests.test;
      Shelley =
        haskellPackages.ouroboros-consensus-shelley-test.components.tests.test;
    };

    shell = import ./shell.nix {
      inherit pkgs;
      withHoogle = true;
    };
  };
in self