diff options
| author | Profpatsch <mail@profpatsch.de> | 2021-04-18T08·29+0200 |
|---|---|---|
| committer | Profpatsch <mail@profpatsch.de> | 2022-02-27T17·21+0000 |
| commit | 723c21ddb671aa4648559109c2d7ea3c23d9a9c9 (patch) | |
| tree | bc2f743ad2c56ec0dcfa19832e3f9e4226c6d096 /third_party | |
| parent | 4d5459ef9344d277198fa3c14a04206ff4c417d9 (diff) | |
fix(third_party/nixpkgs): always use easy-dhall-nix tools r/3873
Using the dhall executables from nixpkgs is basically always a mistake, they have to be built and are regularly broken. We don’t want to care about that, but just use the official statically built binary releases. Change-Id: Ia6d9254076ca21f55e020ae81548e80d6be8281d Reviewed-on: https://cl.tvl.fyi/c/depot/+/3041 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su> Reviewed-by: zseri <zseri.devel@ytrizja.de>
Diffstat (limited to 'third_party')
| -rw-r--r-- | third_party/nixpkgs/default.nix | 1 | ||||
| -rw-r--r-- | third_party/overlays/dhall/OWNERS (renamed from third_party/dhall/OWNERS) | 0 | ||||
| -rw-r--r-- | third_party/overlays/dhall/default.nix (renamed from third_party/dhall/default.nix) | 4 |
3 files changed, 4 insertions, 1 deletions
diff --git a/third_party/nixpkgs/default.nix b/third_party/nixpkgs/default.nix index 74643cf70f..635082e27b 100644 --- a/third_party/nixpkgs/default.nix +++ b/third_party/nixpkgs/default.nix @@ -53,5 +53,6 @@ import nixpkgsSrc { depot.third_party.overlays.emacs depot.third_party.overlays.tvl depot.third_party.overlays.ecl-static + depot.third_party.overlays.dhall ] else [ ]); } diff --git a/third_party/dhall/OWNERS b/third_party/overlays/dhall/OWNERS index a742d0d22b..a742d0d22b 100644 --- a/third_party/dhall/OWNERS +++ b/third_party/overlays/dhall/OWNERS diff --git a/third_party/dhall/default.nix b/third_party/overlays/dhall/default.nix index b4de613125..74d2a999b9 100644 --- a/third_party/dhall/default.nix +++ b/third_party/overlays/dhall/default.nix @@ -1,4 +1,6 @@ -{ pkgs, ... }: +{ ... }: + +pkgs: _: let # binary releases of dhall tools, since the build in nixpkgs is |