diff --git a/modules/dev/default.nix b/modules/dev/default.nix index 986d8e1..ccb7afe 100644 --- a/modules/dev/default.nix +++ b/modules/dev/default.nix @@ -8,6 +8,7 @@ ./rust.nix ./racket.nix ./elm.nix + ./dhall.nix ./haskell ]; } diff --git a/modules/dev/dhall.nix b/modules/dev/dhall.nix new file mode 100644 index 0000000..959091e --- /dev/null +++ b/modules/dev/dhall.nix @@ -0,0 +1,10 @@ +{ pkgs, ... }: { + home-manager.users.adrielus.home.packages = with pkgs.easy-dhall-nix; [ + dhall-simple + dhall-json-simple + dhall-bash-simple + dhall-nix-simple + dhall-yaml-simple + dhall-lsp-simple + ]; +} diff --git a/modules/overlay.nix b/modules/overlay.nix index 321c6f7..abaec84 100644 --- a/modules/overlay.nix +++ b/modules/overlay.nix @@ -17,6 +17,7 @@ in { cached-nix-shell = callPackage imports.cached-nix-shell { }; easy-purescript-nix = callPackage imports.easy-purescript-nix { }; + easy-dhall-nix = callPackage imports.easy-dhall-nix { }; # This is a derivation I made myself for edopro edopro = callPackage edoproPackage { }; diff --git a/nix/sources.json b/nix/sources.json index 3d741ec..1a9bed5 100644 --- a/nix/sources.json +++ b/nix/sources.json @@ -47,6 +47,18 @@ "url": "https://github.com/xzfc/cached-nix-shell/archive/48dbef37bec653e23c1801cea3979f053e10654b.tar.gz", "url_template": "https://github.com///archive/.tar.gz" }, + "easy-dhall-nix": { + "branch": "master", + "description": "Derivations for easily downloading Dhall binaries and putting them to use.", + "homepage": "", + "owner": "justinwoo", + "repo": "easy-dhall-nix", + "rev": "3e9101c5dfd69a9fc28fe4998aff378f91bfcb64", + "sha256": "1nsn1n4sx4za6jipcid1293rdw8lqgj9097s0khiij3fz0bzhrg9", + "type": "tarball", + "url": "https://github.com/justinwoo/easy-dhall-nix/archive/3e9101c5dfd69a9fc28fe4998aff378f91bfcb64.tar.gz", + "url_template": "https://github.com///archive/.tar.gz" + }, "easy-purescript-nix": { "branch": "master", "description": "Easy PureScript (and other tools) with Nix",