https://github.com/justinwoo/easy-dhall-nix

Derivations for easily downloading Dhall binaries and putting them to use.
https://github.com/justinwoo/easy-dhall-nix

dhall nix

Last synced: 16 days ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/justinwoo/easy-dhall-nix
• Owner: justinwoo
• License: mit
• Created: 2018-12-08T12:36:06.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2023-04-19T22:29:45.000Z (over 1 year ago)
• Last Synced: 2024-10-11T23:44:40.127Z (about 1 month ago)
• Topics: dhall, nix
• Language: Nix
• Homepage:
• Size: 96.7 KB
• Stars: 25
• Watchers: 8
• Forks: 14
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Easy Dhall Nix

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

## Trial

You can 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 {}

nix-repl> drvs = import (pkgs.fetchFromGitHub {

  owner = "justinwoo";

  repo = "easy-dhall-nix";

  rev = # some REV

  sha256 = # some SHA

}) { inherit pkgs; }

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.