From 50cf77cecd6ed2c98fab1651e54f7a8dcc162db6 Mon Sep 17 00:00:00 2001 From: Eelco Dolstra Date: Tue, 18 Feb 2020 22:58:12 +0100 Subject: Remove outdated shell.nix Looks like this got accidentally revived after 204291f0598c43b10cf20a89b49fc63624d78c7c. --- shell.nix | 25 ------------------------- 1 file changed, 25 deletions(-) delete mode 100644 shell.nix (limited to 'shell.nix') diff --git a/shell.nix b/shell.nix deleted file mode 100644 index e5a2b2c91..000000000 --- a/shell.nix +++ /dev/null @@ -1,25 +0,0 @@ -{ useClang ? false }: - -with import (builtins.fetchTarball https://github.com/NixOS/nixpkgs/archive/nixos-19.09.tar.gz) {}; - -with import ./release-common.nix { inherit pkgs; }; - -(if useClang then clangStdenv else stdenv).mkDerivation { - name = "nix"; - - buildInputs = buildDeps ++ tarballDeps ++ perlDeps ++ [ pkgs.rustfmt ]; - - inherit configureFlags; - - enableParallelBuilding = true; - - installFlags = "sysconfdir=$(out)/etc"; - - shellHook = - '' - export prefix=$(pwd)/inst - configureFlags+=" --prefix=$prefix" - PKG_CONFIG_PATH=$prefix/lib/pkgconfig:$PKG_CONFIG_PATH - PATH=$prefix/bin:$PATH - ''; -} -- cgit v1.2.3