Merge pull request #8 from justinwoo/dhall-json

add dhall json
This commit is contained in:
Justin Woo 2019-08-19 11:20:09 +03:00 committed by GitHub
commit 14f7e92921
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 27 additions and 1 deletions

1
.envrc
View file

@ -1 +0,0 @@
eval "$(lorri direnv)"

View file

@ -3,5 +3,7 @@
{
dhall-simple = import ./dhall-simple.nix { inherit pkgs; };
dhall-json-simple = import ./dhall-json-simple.nix { inherit pkgs; };
dhall-bash-simple = import ./dhall-bash-simple.nix { inherit pkgs; };
}

24
dhall-json-simple.nix Normal file
View file

@ -0,0 +1,24 @@
{ pkgs ? import <nixpkgs> {} }:
pkgs.stdenv.mkDerivation rec {
name = "dhall-json-simple";
src = if pkgs.stdenv.isDarwin
then pkgs.fetchurl {
url = "https://github.com/dhall-lang/dhall-haskell/releases/download/1.25.0/dhall-json-1.4.0-x86_64-macos.tar.bz2";
sha256 = "0427xy59mzyrz978l36x0ha610bpckg14m3svkvg8hipvblgh19r";
}
else pkgs.fetchurl {
url = "https://github.com/dhall-lang/dhall-haskell/releases/download/1.25.0/dhall-json-1.4.0-x86_64-linux.tar.bz2";
sha256 = "14apqq0dj3lmm8yccygf8bb27scxjfkjkmr8zgnwb98znr51gfwn";
};
installPhase = ''
mkdir -p $out/bin
DHALL_TO_JSON=$out/bin/dhall-to-json
install -D -m555 -T dhall-to-json $DHALL_TO_JSON
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
'';
}

View file

@ -15,6 +15,7 @@ function test_exe () {
}
test_exe dhall;
test_exe dhall-to-json;
test_exe dhall-to-bash;
exit $ERRORS;