From 8cfd303203e9647ed7b1cec1cabd241834a81833 Mon Sep 17 00:00:00 2001
From: Florian Klink <flokli@flokli.de>
Date: Tue, 14 Mar 2023 21:45:43 +0100
Subject: [PATCH] chore(tvix/cli): don't set COREPKGS anymore

Since cl/8213, tvix bundles corepkgs.

Change-Id: I17fa4452a6a1d554ae67b4aed9d9b1e77cb495f5
Reviewed-on: https://cl.tvl.fyi/c/depot/+/8305
Autosubmit: flokli <flokli@flokli.de>
Reviewed-by: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
---
 tvix/cli/default.nix | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/tvix/cli/default.nix b/tvix/cli/default.nix
index 82e6c17c8..96a1b7366 100644
--- a/tvix/cli/default.nix
+++ b/tvix/cli/default.nix
@@ -9,10 +9,6 @@
       needsOutput = true;
 
       command = pkgs.writeShellScript "tvix-eval-stdenv" ''
-        # Ensure tvix can find <nix/fetchurl.nix>
-        COREPKGS=$(${pkgs.nix}/bin/nix-instantiate --eval -E '<nix>')
-        export NIX_PATH="nix=''${COREPKGS}:''${NIX_PATH}"
-
         TVIX_OUTPUT=$(result/bin/tvix -E '(import ${pkgs.path} {}).stdenv.drvPath')
         EXPECTED='${/* the verbatim expected Tvix output: */ "=> \"${pkgs.stdenv.drvPath}\" :: string"}'