Merge pull request #21 from Profpatsch/master

dhall-json-simple: add json-to-dhall and dhall-yaml
This commit is contained in:
Profpatsch 2020-03-31 02:07:12 +02:00 committed by GitHub
commit 45f165d127
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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
'';
}