Как правильно ссылаться на локальный выходной каталог зависимого деривации

Question

У меня есть вывод (default.nix) определяется как:

with import <nixpkgs> {};
let
  version = "7.5.1";
in  
stdenv.mkDerivation {
  name = "gurobi-${version}";
  src = fetchurl {
    url = http://packages.gurobi.com/7.5/gurobi7.5.1_linux64.tar.gz;
    sha256 = "7f5c8b0c3d3600ab7a1898f43e238a9d9a32ac1206f2917fb60be9bbb76111b6";
  };
  installPhase = ''
    cp -R linux64 $out
    patchelf --set-interpreter \
      ${stdenv.glibc}/lib/ld-linux-x86-64.so.2 $out/bin/*
    patchelf --set-rpath ${stdenv.glibc}/lib $out/bin/*
  '';
  GUROBI_HOME = "$out";
}

В сторону: даже когда у меня есть cp -R linux64 $out/Вроде содержание linux64 копируются в $out, скорее, чем linux64 сам копируется в $out... который кажется нестандартным, я думаю.

Второй файл (gurobi-shell.nix) является:

with import <nixpkgs> {};
let
  myGurobi = (import ./default.nix);
in stdenv.mkDerivation  {
  name = "gurobi-shell";
  buildInputs = [ myGurobi ];
  shellHook = ''
   export GUROBI_HOME="${myGurobi.GUROBI_HOME}"
   export GUROBI_PATH="${myGurobi.GUROBI_HOME}"
  '';
}  

Когда я бегу nix-shell gurobi-shell.nix а потом echo $GUROBI_HOME, Я получил:/nix/store/jsy0q02hyprz6mllblfb0gim3l8077d8-gurobi-shell

Тем не менее, я ожидаю и хочу, чтобы это было:/nix/store/s2kj78cnpnnbwr6q8qylg0n02m0sm32a-gurobi-7.5.1

РЕДАКТИРОВАТЬ: Я думаю, что это может иметь какое-то отношение к ленивой оценке, но я не уверен. В любом случае я нашел обходной путь, который должен использовать myGurobi.out вместо myGurobi.GUROBI_HOME,

Answer 1

Для начала, как ответ на ваш вопрос: когда installPhase $out еще не создан. Если пункт назначения не существует, cp скопирует каталог linux64 создать каталог с именем со значением $outи так содержимое $out будет таким же, как содержимое linux64, Вы можете захотеть mkdir -p $out в начале вашего installPhase если вы ожидаете $out существовать как каталог.

Для основной части вашего вопроса: "$out" в вашем GUROBI_HOME настройка есть настройка GUROBI_HOME к буквальному значению $out, а не расширенный выходной путь вывода. Когда вы ссылаетесь ${myGurobi.GUROBI_HOME} в вашем shellHook, это расширяется до export GUROBI_HOME="$out", Поскольку ожидается, что nix-shell воссоздает среду, используемую при создании деривации, $out устанавливается в выходной каталог gurobi-shell деривация, поэтому вы получаете его неправильное значение.