Commit graph

7 commits

Author SHA1 Message Date
Profpatsch
5e05faf619 fix(build.nix): use fetchurl instead of fetchzip
fetchurl does not unpack, but we need it to support MacOS prefetch,
because the `--unpack` option to `nix-prefetch-url` does not handle
zips with multiple directories in them, and some upstream tarballs
switched to that.
2020-12-01 23:41:09 +01:00
Profpatsch
e555e2201c test(*): automatically check all binaries, based on binNames
The test list would go out-of-date when new packages were added. This
does the same check as before, but uses the binaries we already
specify on the nix level (via a passthru).

The next step is to try to run the binaries (e.g. with --version),
which will give us a better test of whether they are actually
executable.
2020-11-06 11:59:44 +01:00
Profpatsch
f0270205ee feat(build): allow multiple binaries
I gave in because I wanted to use yaml-to-dhall, so this implements
copying multiple binaries.
2020-08-04 23:06:03 +02:00
Profpatsch
66da4ffe17 feat(build): check that we copied all binaries
Sometmmes a new binary is added to an output, like in the `dhall-yaml`
case, where yaml-to-dhall was added.

This uses `lr` because I can’t be bothered to figure out how to use
`find` to the same effect.
2020-08-04 23:06:03 +02:00
Profpatsch
3ec7f3f0de feat(dhall-*): add zsh and fish completions
Uses the new optparse-applicative support for fish and zsh,
and the nixpkgs `installShellCompletion` hook to automatically put the
completions in the right directories.
2020-08-04 21:47:05 +02:00
Profpatsch
5b7632cbc4 fix(dhall-to-yaml-ng): fix completion
The completion was pointing to an executable that did not exist in
that output, the suffix `-ng` was missing.
2020-08-04 21:30:56 +02:00
Profpatsch
e207b5c2c6 refactor(dhall-*): put common parts into build.nix
The files are very self-similar, and provided upstream doesn’t do
something completely crazy, they should stay that way.

dhall-json is more complicated, and it wasn’t worth it implemented
something more complicated in build.nix, so for now it stays the same.
2020-08-04 21:30:56 +02:00