Skip to content
Snippets Groups Projects
flake.nix 3.32 KiB
Newer Older
    get-flake.url = "github:ursi/get-flake";
Daniel Firth's avatar
Daniel Firth committed
    lint-utils.url = "git+https://gitlab.homotopic.tech/nix/lint-utils";
    horizon-platform = {
      url = "git+https://gitlab.homotopic.tech/horizon/horizon-platform";
      flake = false;
    };
    nixpkgs.url = "github:nixos/nixpkgs/nixpkgs-unstable";
  };
Daniel Firth's avatar
Daniel Firth committed
  outputs =
    inputs@
    { self
    , get-flake
    , flake-utils
Daniel Firth's avatar
Daniel Firth committed
    , lint-utils
    , nixpkgs
    , ...
    }:
Daniel Firth's avatar
Daniel Firth committed
    flake-utils.lib.eachSystem [ "x86_64-linux" ]
      (system:
      let
        pkgs = nixpkgs.legacyPackages.${system};
      in
      with pkgs.lib;
      with pkgs.writers;
      with lint-utils.writers.${system};
      let

        horizon-platform-prev = get-flake horizon-platform;

        horizon-gen-nix = horizon-platform-prev.legacyPackages.${system}.horizon-gen-nix;

Daniel Firth's avatar
Daniel Firth committed
        haskellLib = pkgs.haskell.lib.compose;

        legacyPackages = pkgs.callPackage (nixpkgs + /pkgs/development/haskell-modules) {
          buildHaskellPackages = pkgs.haskell.packages.ghc942;
          compilerConfig = pkgs.callPackage ./configuration-ghc-9.4.x.nix { inherit haskellLib; };
          configurationCommon = import ./configuration.nix;
          configurationNix = { pkgs, haskellLib }: self: super: { };
          ghc = pkgs.haskell.compiler.ghc942;
          inherit haskellLib;
          initialPackages = import ./initial-packages.nix;
          nonHackagePackages = self: super: { };
        };
Daniel Firth's avatar
Daniel Firth committed
        packages = filterAttrs
          (n: v: v != null
Daniel Firth's avatar
Daniel Firth committed
            && builtins.typeOf v == "set"
            && pkgs.lib.hasAttr "type" v
            && v.type == "derivation"
            && v.meta.broken == false)
Daniel Firth's avatar
Daniel Firth committed
          legacyPackages;

        horizon-gen-gitlab-ci = writeBashBin "gen-gitlab-ci" "${pkgs.dhall-json}/bin/dhall-to-yaml --file .gitlab-ci.dhall";

        run-impure-tests = writePorcelainOrDieBin {
          name = "run-impure-tests";
          src = ./.;
          command = ''
            export PATH=$PATH:${pkgs.nix-prefetch-git}/bin:${pkgs.cabal-install}/bin
            cabal update
            rm pkgs -rf && nix run .#horizon-gen-nix;
            nixpkgs-fmt pkgs/*
          '';
          advice = "Try removing the offending packages from pkgs/ and running nix run .#horizon-gen-nix";
        };
Daniel Firth's avatar
Daniel Firth committed
        run-impure-tests-app = {
          type = "app";
          program = "${run-impure-tests}/bin/run-impure-tests";
        };
        procex = import ./shell/default.nix { haskellPackages = horizon-platform-prev.legacyPackages.${system}; inherit (pkgs) runCommand writeShellScriptBin; };
Daniel Firth's avatar
Daniel Firth committed
      in
      {
Daniel Firth's avatar
Daniel Firth committed

Daniel Firth's avatar
Daniel Firth committed
        apps = {
Daniel Firth's avatar
Daniel Firth committed

          horizon-gen-nix = {
            type = "app";
            program = "${horizon-gen-nix}/bin/horizon-gen-nix";
          };
Daniel Firth's avatar
Daniel Firth committed

Daniel Firth's avatar
Daniel Firth committed
          horizon-gen-gitlab-ci = {
            type = "app";
            program = "${horizon-gen-gitlab-ci}/bin/gen-gitlab-ci";
          };
          procex = {
            type = "app";
            program = "${procex}/bin/procex-shell";
          };

Daniel Firth's avatar
Daniel Firth committed
          run-impure-tests = run-impure-tests-app;
        };
Daniel Firth's avatar
Daniel Firth committed

        checks = with lint-utils.linters.${system}; {
          dhall-format = dhall-format { src = self; };
          nixpkgs-fmt = nixpkgs-fmt { src = self; };
          stylish-haskell = stylish-haskell { src = self; };
Daniel Firth's avatar
Daniel Firth committed
        };
Daniel Firth's avatar
Daniel Firth committed
        inherit legacyPackages;
Daniel Firth's avatar
Daniel Firth committed
        inherit packages;
Daniel Firth's avatar
Daniel Firth committed
      });