Commit graph

5 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
6db1fe885f fix(fetch.py): when fetch is run, first update unstable channel
This way we won’t forget to do it for months at a time.

You’d hope that stuff like this would be possible without jumping
through hoops, but this is nix after all. Flakes our salvation or
something.
2020-11-30 23:33:52 +01:00
Profpatsch
805358c8ec .github: remove nix channel, is fetched explicitly 2020-11-30 22:53:17 +01:00
aszlig
65a30e2c0c
Switch to using fetchzip instead of fetchurl
GitHub's source tarballs are created in a non-deterministic way and the
order the entries are added is not stable.

In nixpkgs, there is fetchFromGitHub which works around this issue by
being a wrapper around fetchzip and since we're already using the full
URL to the corresponding GitHub archives, I switched to fetchzip instead
to keep the changes minimal.

Signed-off-by: aszlig <aszlig@nix.build>
2020-07-12 20:42:28 +02:00
Profpatsch
fd60026375 Add fetch.py, for auto-updating to the newest version
A small python script, which nix-prefetch-url’s the latest
dhall-haskell release and puts it in a json file.
2020-03-29 22:29:08 +02:00