diff options
Diffstat (limited to 'users/glittershark/xanthous/hie.nix')
-rw-r--r-- | users/glittershark/xanthous/hie.nix | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/users/glittershark/xanthous/hie.nix b/users/glittershark/xanthous/hie.nix deleted file mode 100644 index c8b1d2b5f538..000000000000 --- a/users/glittershark/xanthous/hie.nix +++ /dev/null @@ -1,16 +0,0 @@ -{ 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 |