diff options
| author | Griffin Smith <grfn@gws.fyi> | 2020-06-29T13·38-0400 |
|---|---|---|
| committer | glittershark <grfn@gws.fyi> | 2020-07-03T14·41+0000 |
| commit | 6f808dfe189bef874702e04f3d44b038a8fcb382 (patch) | |
| tree | cdd8ace7c64c2bd560187e1cd5327fd86de4bdd3 /users/glittershark/xanthous/hie.nix | |
| parent | c0922e49064b1789e3415fbef91ba680ed887882 (diff) | |
refactor(xan): Simplify build infrastructure r/1189
Simplify the build infrastructure for creating shells etc. for xanthous, including relying more heavily on stuff exposed in Depot anyway, using shellFor in the shell.nix, and using the haskell.nix branch of all-hies for a significantly simpler build. At some point the all-hies stuff will likely want to be promoted up to //third_party, but for now it's experimental enough that I don't want to bother other people with it. Change-Id: I43830de73830fdc07d48af9b87d7930f59599532 Reviewed-on: https://cl.tvl.fyi/c/depot/+/890 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: BuildkiteCI
Diffstat (limited to 'users/glittershark/xanthous/hie.nix')
| -rw-r--r-- | users/glittershark/xanthous/hie.nix | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/users/glittershark/xanthous/hie.nix b/users/glittershark/xanthous/hie.nix new file mode 100644 index 000000000000..c8b1d2b5f538 --- /dev/null +++ b/users/glittershark/xanthous/hie.nix @@ -0,0 +1,16 @@ +{ pkgs ? (import ../../../. {}).third_party }: + +let + all-hies = (fetchTarball { + url = "https://github.com/infinisil/all-hies/archive/eff5d9a5e1a84150014095494331cf63e59923af.tar.gz"; + sha256 = "19bws9fyjhgiikig86cri05fxz1wrz60n69zrigq5wzbyn4hwv9h"; + }); + + sources = import "${all-hies}/sources.nix"; + build = import "${all-hies}/build.nix"; + +in (build { + glibcName = pkgs.glibc.name; + inherit sources; + ghcVersion = "8.8.3"; +}).combined |