mirror of
https://github.com/justinwoo/easy-dhall-nix.git
synced 2024-11-23 11:39:42 +01:00
b8267b1988
Use the `fetch.py` script to update to dhall 1.31 and add some instructions on how to do it.
45 lines
979 B
Markdown
45 lines
979 B
Markdown
# 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.
|