From dd4e3f6c3654d8daa3a72cca1778a376c727b784 Mon Sep 17 00:00:00 2001 From: Profpatsch Date: Tue, 31 Mar 2020 00:13:04 +0200 Subject: [PATCH] dhall-json-simple: add json-to-dhall and dhall-yaml MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit There’s more stuff now. Maybe we should have a check that we don’t miss when they add binaries? --- dhall-json-simple.nix | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/dhall-json-simple.nix b/dhall-json-simple.nix index 0606859..fe473c5 100644 --- a/dhall-json-simple.nix +++ b/dhall-json-simple.nix @@ -20,9 +20,15 @@ pkgs.stdenv.mkDerivation rec { installPhase = '' mkdir -p $out/bin DHALL_TO_JSON=$out/bin/dhall-to-json + DHALL_TO_YAML=$out/bin/dhall-to-yaml + JSON_TO_DHALL=$out/bin/json-to-dhall install -D -m555 -T dhall-to-json $DHALL_TO_JSON + install -D -m555 -T dhall-to-yaml $DHALL_TO_YAML + install -D -m555 -T json-to-dhall $JSON_TO_DHALL mkdir -p $out/etc/bash_completion.d/ $DHALL_TO_JSON --bash-completion-script $DHALL_TO_JSON > $out/etc/bash_completion.d/dhall-to-json-completion.bash + $DHALL_TO_YAML --bash-completion-script $DHALL_TO_YAML > $out/etc/bash_completion.d/dhall-to-yaml-completion.bash + $JSON_TO_DHALL --bash-completion-script $JSON_TO_DHALL > $out/etc/bash_completion.d/json-to-dhall-completion.bash ''; }