fix(third_party/nixpkgs): always use easy-dhall-nix tools
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>
This commit is contained in:
parent
4d5459ef93
commit
723c21ddb6
3 changed files with 4 additions and 1 deletions
3
third_party/overlays/dhall/OWNERS
vendored
Normal file
3
third_party/overlays/dhall/OWNERS
vendored
Normal file
|
|
@ -0,0 +1,3 @@
|
|||
inherited: true
|
||||
owners:
|
||||
- Profpatsch
|
||||
27
third_party/overlays/dhall/default.nix
vendored
Normal file
27
third_party/overlays/dhall/default.nix
vendored
Normal file
|
|
@ -0,0 +1,27 @@
|
|||
{ ... }:
|
||||
|
||||
pkgs: _:
|
||||
|
||||
let
|
||||
# binary releases of dhall tools, since the build in nixpkgs is
|
||||
# broken most of the time. The binaries are also fully static
|
||||
# builds, instead of the half-static crap that nixpkgs produces.
|
||||
easy-dhall-nix =
|
||||
import
|
||||
(builtins.fetchTarball {
|
||||
url = "https://github.com/justinwoo/easy-dhall-nix/archive/eae7f64c4d6c70681e5a56c84198236930ba425e.tar.gz";
|
||||
sha256 = "1y2x15v8a679vlpxazjpibfwajp6zph60f8wjcm4xflbvazk0dx7";
|
||||
})
|
||||
{ inherit pkgs; };
|
||||
in
|
||||
{
|
||||
dhall = easy-dhall-nix.dhall-simple;
|
||||
dhall-bash = easy-dhall-nix.dhall-bash-simple;
|
||||
dhall-docs = easy-dhall-nix.dhall-docs-simple;
|
||||
dhall-json = easy-dhall-nix.dhall-json-simple;
|
||||
dhall-lsp-server = easy-dhall-nix.dhall-lsp-simple;
|
||||
dhall-nix = easy-dhall-nix.dhall-nix-simple;
|
||||
# not yet in dhall-simple
|
||||
# dhall-nixpkgs = easy-dhall-nix.dhall-nixpkgs-simple;
|
||||
dhall-yaml = easy-dhall-nix.dhall-yaml-simple;
|
||||
}
|
||||
Loading…
Add table
Add a link
Reference in a new issue