idris - 如何在另一个 nixpkg 中使用与 nixpkg 一起安装的 idris 包？

Question

目前，我在使用依赖于它的另一个 Idris 包中与 nixpkg 一起安装的 Idris 包时遇到了一些问题。这两个包都在 Debian 系统上进行了测试，所以问题不在于 Idris 代码本身，而在于它们在 NixOS 系统上的安装方式。我相信我可以通过调用 nix-env -f math.nix -i idris_math 成功安装第一个包，其中 math.nix 定义为:

with import <nixpkgs> { };

stdenv.mkDerivation rec {
  name = "idris_math";
  idris = haskellPackages.idris;
  buildDepends = [ idris ];
  src = ./.;

  preHook = ''
    ln -sv ${idris}/share/x86_64-linux-ghc-8.0.1/${idris.name}/libs $PWD/libs
    export IDRIS_LIBRARY_PATH=$PWD/libs
  '';

  configurePhase = ''
    export TARGET=$out/lib/${idris.name}
  '';

  buildPhase = ''
      ${idris}/bin/idris --build *.ipkg
  '';

  installPhase = ''
    ${idris}/bin/idris --install *.ipkg
    ${idris}/bin/idris --clean *.ipkg
  '';

  }

然后我可以运行 nix-env -q 并看到 idris_math 已经安装。第二个 nixpkg 看起来与 math.nix 相同，只是名称已更改且 buildDepends 行现在为 buildDepends = [ idris idris_math ]。但是，当我尝试构建或安装此包时，我遇到了 error: undefined variable 'idris_math'。有谁知道我做错了什么，或者知道解决这个问题的方法吗？

Answer 1

当你写 with import <nixpkgs> {} ，Nixpkgs 集中定义的每个属性本质上都被制成局部变量。这意味着，当你写 haskellPackages ，例如，您实际上指的是 haskellPackages Nixpkgs 定义的属性。您可以通过查看文件 top-level/all-packages.nix 来查看以这种方式定义的所有包在您的 Nixpkgs 结帐中。

请注意 idris在你的buildDepends指的是 idris 的定义上一行的属性。你的新idris_math package 没有在此文件中以类似方式定义，也没有添加到任何地方的 Nixpkgs 集，因此您无法通过查找局部变量或 (import <nixpkgs> {}).idris_math 来获取对它的引用。 ，这基本上就是您编写 idris_math 时正在尝试的内容在你的第二个推导中。

根据您想要对您的包裹做什么，您有几个选择。如果你只想使用 idris_math作为附近另一个包(或几个)的依赖，你可以只写 buildDepends = [ idris (import /path/to/math.nix) ] .这是一种非常简单的方法来做你想做的事，如果你想在开发 Idris 包时使用这个库，这很可能是一个不错的选择。

如果你想制作idris_math您从 import <nixpkgs> {} 获得的集合的一部分在您机器上的任何地方，并使其易于nix-env -i ，您可以尝试将其添加到叠加层。这需要创建一个类似 ~/.config/nixpkgs/overlays/<my overlay name>/default.nix 的文件内容类似于:

self: super:

with super;

{
  idris_math = callPackage /path/to/idris_math.nix {};
}

在这种情况下，您可能还想更改您的 idris_math.nix标题为 { stdenv, haskellPackages }: ，因为 callPackage寻找这种定义，它在打结以将所有叠加层组合在一起时很有用。