easy-dhall-nix/README.md

46 lines
999 B
Markdown
Raw Permalink Normal View History

2018-12-08 12:34:40 +01:00
# Easy Dhall Nix
2018-12-08 13:44:09 +01:00
Derivations for easily downloading Dhall binaries and putting them to use.
2018-12-08 12:34:40 +01:00
## Trial
2020-08-05 16:57:33 +02:00
You can get an appropriate nix-shell with the binaries installed by first testing this with:
2018-12-08 12:34:40 +01:00
```
2018-12-08 13:57:01 +01:00
nix-shell
2018-12-08 12:34:40 +01:00
```
## Installation
2018-12-08 13:43:05 +01:00
You might choose to simply copy the derivations from this repository, or you can fetch the git/Github repo using the various helpers:
2018-12-08 13:57:01 +01:00
```
2018-12-08 13:43:05 +01:00
> nix repl
nix-repl> pkgs = import ./nixpkgs.nix {}
2018-12-08 13:43:05 +01:00
nix-repl> drvs = import (pkgs.fetchFromGitHub {
owner = "justinwoo";
repo = "easy-dhall-nix";
2018-12-08 13:57:01 +01:00
rev = # some REV
sha256 = # some SHA
}) { inherit pkgs; }
2018-12-08 13:43:05 +01:00
nix-repl> drvs.dhall-simple
«derivation /nix/store/qz29jbplpmlvsbmq05084dh1fbs8sl0h-dhall-simple.drv»
```
2018-12-08 12:34:40 +01:00
## NixOS: Contributors needed
2018-12-09 13:14:07 +01:00
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.