diff options
Diffstat (limited to 'third_party/immer/shell.nix')
-rw-r--r-- | third_party/immer/shell.nix | 65 |
1 files changed, 0 insertions, 65 deletions
diff --git a/third_party/immer/shell.nix b/third_party/immer/shell.nix deleted file mode 100644 index 07629a197143..000000000000 --- a/third_party/immer/shell.nix +++ /dev/null @@ -1,65 +0,0 @@ -{ toolchain ? "", - nixpkgs ? (import <nixpkgs> {}).fetchFromGitHub { - owner = "NixOS"; - repo = "nixpkgs"; - rev = "053ad4e0db7241ae6a02394d62750fdc5d64aa9f"; - sha256 = "11l9sr8zg8j1n5p43zjkqwpj59gn8c84z1kf16icnsbnv2smzqdc"; - }}: - -with import nixpkgs {}; - -let - # For the documentation tools we use an older Nixpkgs since the - # newer versions seem to be not working great... - oldNixpkgsSrc = fetchFromGitHub { - owner = "NixOS"; - repo = "nixpkgs"; - rev = "d0d905668c010b65795b57afdf7f0360aac6245b"; - sha256 = "1kqxfmsik1s1jsmim20n5l4kq6wq8743h5h17igfxxbbwwqry88l"; - }; - oldNixpkgs = import oldNixpkgsSrc {}; - docs = import ./nix/docs.nix { nixpkgs = oldNixpkgsSrc; }; - benchmarks = import ./nix/benchmarks.nix { inherit nixpkgs; }; - tc = - if toolchain == "" then { stdenv = stdenv; cc = stdenv.cc; } else - if toolchain == "gnu-6" then { stdenv = gcc6Stdenv; cc = gcc6; } else - if toolchain == "gnu-7" then { stdenv = gcc7Stdenv; cc = gcc7; } else - if toolchain == "gnu-8" then { stdenv = gcc8Stdenv; cc = gcc8; } else - if toolchain == "gnu-9" then { stdenv = gcc9Stdenv; cc = gcc9; } else - if toolchain == "llvm-39" then { stdenv = llvmPackages_39.libcxxStdenv; cc = llvmPackages_39.libcxxClang; } else - if toolchain == "llvm-4" then { stdenv = llvmPackages_4.libcxxStdenv; cc = llvmPackages_4.libcxxClang; } else - if toolchain == "llvm-5" then { stdenv = llvmPackages_5.libcxxStdenv; cc = llvmPackages_5.libcxxClang; } else - if toolchain == "llvm-6" then { stdenv = llvmPackages_6.libcxxStdenv; cc = llvmPackages_6.libcxxClang; } else - if toolchain == "llvm-7" then { stdenv = llvmPackages_7.libcxxStdenv; cc = llvmPackages_7.libcxxClang; } else - if toolchain == "llvm-8" then { stdenv = llvmPackages_8.libcxxStdenv; cc = llvmPackages_8.libcxxClang; } else - if toolchain == "llvm-9" then { stdenv = llvmPackages_9.stdenv; cc = llvmPackages_9.clang; } else - abort "unknown toolchain"; - -in -tc.stdenv.mkDerivation rec { - name = "immer-env"; - buildInputs = [ - tc.cc - git - cmake - pkgconfig - ninja - gdb - lldb - ccache - boost - boehmgc - benchmarks.c_rrb - benchmarks.steady - benchmarks.chunkedseq - benchmarks.immutable_cpp - benchmarks.hash_trie - oldNixpkgs.doxygen - (oldNixpkgs.python.withPackages (ps: [ - ps.sphinx - docs.breathe - docs.recommonmark - ])) - ]; - hardeningDisable = [ "fortify" ]; -} |