From bbfa380264ff07397a0947a2f04dc5cbf0a84946 Mon Sep 17 00:00:00 2001 From: Nathan Vegdahl Date: Thu, 2 Jun 2022 12:58:15 -0700 Subject: [PATCH] Remove unnecessary bits from shell.nix. --- shell.nix | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/shell.nix b/shell.nix index 0012f19..7b7a3fb 100644 --- a/shell.nix +++ b/shell.nix @@ -14,13 +14,7 @@ in pkgs.stdenv.mkDerivation { ]; shellHook = with pkgs; '' - export PYTHON_LIBRARY="${pypkgs.python.libPrefix}" - export PYTHON_LIBPATH="${pypkgs.python}/lib" - export PYTHON_INCLUDE_DIR="${pypkgs.python}/include/${pypkgs.python.libPrefix}" - export PYTHON_VERSION="${pypkgs.python.pythonVersion}" - export PYTHON_NUMPY_PATH="${pypkgs.numpy}/${pypkgs.python.sitePackages}" - export PYTHON_NUMPY_INCLUDE_DIRS="${pypkgs.numpy}/${pypkgs.python.sitePackages}/numpy/core/include" export PYTHONPATH="$PYTHONPATH:$HOME/.local/lib/python3.10/site-packages" - export PROTOCOL_BUFFERS_PYTHON_IMPLEMENTATION=python + export PROTOCOL_BUFFERS_PYTHON_IMPLEMENTATION=python ''; }