mirror of https://github.com/justinwoo/easy-dhall-nix.git synced 2024-11-26 21:19:42 +01:00

Profpatsch b8267b1988 update 1.31

Use the `fetch.py` script to update to dhall 1.31 and add some
instructions on how to do it.

2020-03-29 22:29:08 +02:00

979 B

Raw Blame History

Easy Dhall Nix

Derivations for easily downloading Dhall binaries and putting them to use.

Trial

You cn get an appropriate nix-shell with the binaries installed by first testing this with:

nix-shell

Installation

You might choose to simply copy the derivations from this repository, or you can fetch the git/Github repo using the various helpers:

> nix repl
nix-repl> pkgs = import <nixpkgs> {}

nix-repl> drvs = import (pkgs.fetchFromGitHub {
  owner = "justinwoo";
  repo = "easy-dhall-nix";
  rev = # some REV
  sha256 = # some SHA
}) {}

nix-repl> drvs.dhall-simple
«derivation /nix/store/qz29jbplpmlvsbmq05084dh1fbs8sl0h-dhall-simple.drv»

NixOS: Contributors needed

The derivations here have been tested by others to work on NixOS. If you have problems, open an issue.

Update this repository

To update, run

./fetch.py

from the root of this repository. It will prefetch the binaries from the latest dhall release on Github.