nixpkgs 中的 Hare 语言支持深度解析 hareHook 构建钩子【免费下载链接】nixpkgsNix Packages collection NixOS项目地址: https://gitcode.com/GitHub_Trending/ni/nixpkgs本文基于 nixpkgs 官方手册的 Hare 语言章节doc/languages-frameworks/hare.section.md展开讲解如何在 Nix 中构建 Hare 程序hareHook这个构建钩子包如何替你做环境准备、hareBuildType等属性如何生效、如何写出可直接复制的示例 derivation以及交叉编译时-a目标架构标志和hare-native包装脚本的底层机制。读完本文你将能够独立打包 Hare 程序包括使用 Hare 标准库与第三方模块并理解 nixpkgs 中 Hare 工具链的完整实现。1. hareHook 是什么一个包而不是函数在 nixpkgs 中Hare 语言的构建支持由hareHook提供。与 Go、Rust 等语言不同hareHook不是一个函数不能像pkgs.callPackage那样调用它生成工具链而是一个应当直接加入nativeBuildInputs的包——本质上是一个makeSetupHook构建钩子。hareHook在构建环境准备阶段setup phase自动完成三件事设置三个环境变量HARECACHEHare 编译器的缓存目录通常指向构建沙箱内的临时目录避免缓存污染 Nix storeHAREPATHHare 模块搜索路径使标准库和第三方 Hare 库可被解析NIX_HAREFLAGS注入给hare命令的额外编译参数包括目标架构-a和构建类型标志。传播harecHare 编译器和qbe后端汇编器到buildInputs环境中。传播两个包装脚本一个替换hare命令行为的包装脚本以及一个名为hare-native的原始hare包装器。源码级证据setup hook 的实现hareHook的实现位于 hook.nix。从源码结构看它通过makeSetupHook声明了两个substitutions即 setup 脚本中会被填充的占位符substitutions { hare_unconditional_flags -q -a${arch}; hare_stdlib ${hare}/src/hare/stdlib; };其中arch取自stdenv.targetPlatform.uname.processor见 hook.nix。这两处占位符由配套的 setup-hook.sh 展开为实际的HAREPATH、NIX_HAREFLAGS等环境变量赋值。也就是说每个 Hare derivation 的构建环境中无条件带上-q -a目标架构静默输出 目标架构HAREPATH默认包含 Hare 标准库源码目录${hare}/src/hare/stdlib第三方库可通过追加HAREPATH扩展。propagatedBuildInputs同样值得注意hook.nixpropagatedBuildInputs [ hareWrapper ] harePropagationInputs;源码中的注释解释了原因qbe与harec必须传播是因为haredoHare 的项目构建框架这类工具会把HAREC和QBE环境变量直接设为harec与qbe只有让这两个二进制在构建环境中可见整个工具链才自洽。同时传播的是与hare包同一个 derivation产出的harec/qbe以保证hareHook与hare包行为一致。2. hare 命令包装脚本NIX_HAREFLAGS 的注入时机hareHook传播的第一个包装脚本非常关键。它由writeShellApplication生成hook.nix脚本name必须是hare——因为它的职责就是替换构建环境中的hare可执行文件readonly cmd$1 shift case $cmd in test|run|build) exec hare $cmd $NIX_HAREFLAGS $ ;; *) exec hare ${cmd:$cmd} $ esac可以拆解出三条设计意图只向test、run、build三个子命令注入$NIX_HAREFLAGS目标架构-a与构建类型标志其余子命令如doc、fmt原样透传避免对不接受编译参数的命令注入无效参数注释中特意说明${cmd:$cmd}的写法是为了保持与原生hare命令相同的边界行为若第一个参数为空原生hare会将其视为无法识别的命令包装脚本不能帮忙吞掉这个行为excludeShellChecks [ SC2086 ]是有意为之——$NIX_HAREFLAGS需要按空格分词展开不能加引号。3. 可配置属性hareBuildTypehareHook目前接受的属性只有一个属性取值默认值作用hareBuildTyperelease或debugrelease控制是否在NIX_HAREFLAGS中追加-R标志release 构建-R即 Hare 编译器的 release 模式标志启用优化。由于NIX_HAREFLAGS只会被注入到hare build/hare run/hare test三个子命令见上一节的包装脚本hareBuildType实际影响的就是这三类操作的优化级别。4. 完整示例用 hareHook 打包一个 Hare 程序官方文档给出的最小可运行示例如下已按仓库实际内容整理注释{ hareHook, # nixpkgs 提供的 Hare 构建钩子包 lib, stdenv, }: stdenv.mkDerivation { pname name; version version; src src; # 关键一行hareHook 作为包加入 nativeBuildInputs # 而非像 Go/Rust 那样作为函数调用 nativeBuildInputs [ hareHook ]; meta { description description; # 平台支持直接从 hareHook 继承保持与 hare 工具链一致 inherit (hareHook) badPlatforms platforms; }; }要点说明nativeBuildInputs而非buildInputshareHook是构建期钩子属于nativeBuildInputsharec、qbe等由钩子自动传播无需手工列出。inherit (hareHook) badPlatforms platformshareHook的meta.platforms直接继承自hare包的meta见 hook.nix 中inherit (hare.meta) badPlatforms platforms;因此你的包的平台声明与 Hare 工具链的实际支持范围严格一致避免工具链不支持的平台也能求值出你的包这类问题。若使用haredo作为项目构建框架nixpkgs 中同样有配套的 haredo setup hook前文提到的HAREC/QBE环境变量约定正是为了让hareHook与haredo协作无缝。配套的第三方库生态除了语言工具链nixpkgs 还通过一个独立的 scope 维护了一批 Hare 第三方库pkgs/top-level/hare-third-party.nix 中定义lib.makeScope包含hare-http、hare-json、hare-toml、hare-xml、hare-ssh、hare-ev、hare-png、hare-compress等包源码位于 pkgs/development/hare-third-party/。这些库通常以把库放入HAREPATH的方式参与编译——这正是hareHook设置HAREPATH的意义所在你既依赖标准库也能扩展搜索路径以引用这些第三方模块。5. 交叉编译-a 标志与 hare-nativeHare 的编译目标架构是显式的hare build -a arch决定生成哪个平台的二进制。hareHook的目标是让交叉编译开箱即用其机制正是NIX_HAREFLAGS的核心用途在 setup 阶段-a hostPlatform 架构取自stdenv.targetPlatform.uname.processor连同-q被写入hare_unconditional_flagshook.nix最终进入NIX_HAREFLAGS由于hare包装脚本向build/run/test注入该变量你在buildPhase/checkPhase里直接调用hare build ...时目标架构自动对齐hostPlatform不需要自己写-a。何时需要手动干预hare-native官方文档指出一种例外当构建过程本身需要运行刚编译出来的二进制时——典型场景是用 Hare 标准库的hare模块做代码生成codegen。此时运行的是hostPlatform架构的程序但构建环境里 PATH 上的hare已被替换为注入-a hostPlatform的包装版本直接用会带着错误的目标架构参数。hareHook为此提供hare-native脚本它是绕开 Nix 交叉编译变量的原始hare包装器使用buildPlatform即构建机工具链。其实现见 hook.nixhareWrapper runCommand hare-wrapper { nativeBuildInputs [ makeWrapper ]; } mkdir -p $out/bin install ${lib.getExe hareWrappedScript} $out/bin/hare makeWrapper ${lib.getExe hare} $out/bin/hare-native \ --inherit-argv0 \ --unset AR \ --unset LD \ --unset CC ;细节解读install ... $out/bin/hare把注入NIX_HAREFLAGS的包装脚本装为haremakeWrapper ... --inherit-argv0 --unset AR --unset LD --unset CChare-native指向原始hare二进制并清除交叉编译环境下由 Nix 设置的本机工具链变量AR/LD/CC确保 codegen 之类的构建期自举步骤在构建机原生环境下执行。交叉编译如何被验证仓库中自带交叉编译测试 cross-compilation-tests.nix其思路与hareHook的机制一一对应从hare.meta.platforms中筛出所有*-linux架构对每个架构执行hare build -o bin-$a -q -R -a $a main.ha最后用file检查每个产物的 ELF 架构是否符合预期。这从测试层面印证了显式-a标志 hostPlatform架构正是 nixpkgs 中 Hare 交叉编译的权威做法hareHook只是把这套做法自动化了。6. 实践清单把以上内容浓缩为打包 Hare 程序时的检查清单nativeBuildInputs [ hareHook ];——不要自己写harec/qbe也不要调用函数形式的钩子需要 release 优化保持默认hareBuildType release自动带-R需要调试符号时设为debugmeta中inherit (hareHook) badPlatforms platforms;与工具链平台声明保持一致使用第三方 Hare 库时确认库已放入HAREPATH可参考 hare-third-party.nix 中的包列表交叉编译场景下直接依赖NIX_HAREFLAGS的自动-a注入若构建期需要运行 Hare 二进制做 codegen改用hare-native使用haredo框架的项目hareHook对HAREC/QBE环境变量的传播保证了兼容无需额外配置。7. 相关文件索引文件说明doc/languages-frameworks/hare.section.md本文档依据的官方手册章节pkgs/by-name/ha/hare/hook.nixhareHook的 setup hook 实现substitutions、包装脚本、hare-nativepkgs/by-name/ha/hare/setup-hook.shsetup 阶段脚本展开为HARECACHE/HAREPATH/NIX_HAREFLAGS赋值pkgs/by-name/ha/hare/package.nixhare工具链包本身含补丁与平台声明pkgs/by-name/ha/hare/cross-compilation-tests.nix多目标架构交叉编译测试pkgs/by-name/ha/haredo/setup-hook.shharedo框架的配套钩子pkgs/top-level/hare-third-party.nixHare 第三方库 scope 定义【免费下载链接】nixpkgsNix Packages collection NixOS项目地址: https://gitcode.com/GitHub_Trending/ni/nixpkgs创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考 nixpkgs 中的 Hare 语言支持：深度解析 hareHook 构建钩子
nixpkgs 中的 Hare 语言支持深度解析 hareHook 构建钩子【免费下载链接】nixpkgsNix Packages collection NixOS项目地址: https://gitcode.com/GitHub_Trending/ni/nixpkgs本文基于 nixpkgs 官方手册的 Hare 语言章节doc/languages-frameworks/hare.section.md展开讲解如何在 Nix 中构建 Hare 程序hareHook这个构建钩子包如何替你做环境准备、hareBuildType等属性如何生效、如何写出可直接复制的示例 derivation以及交叉编译时-a目标架构标志和hare-native包装脚本的底层机制。读完本文你将能够独立打包 Hare 程序包括使用 Hare 标准库与第三方模块并理解 nixpkgs 中 Hare 工具链的完整实现。1. hareHook 是什么一个包而不是函数在 nixpkgs 中Hare 语言的构建支持由hareHook提供。与 Go、Rust 等语言不同hareHook不是一个函数不能像pkgs.callPackage那样调用它生成工具链而是一个应当直接加入nativeBuildInputs的包——本质上是一个makeSetupHook构建钩子。hareHook在构建环境准备阶段setup phase自动完成三件事设置三个环境变量HARECACHEHare 编译器的缓存目录通常指向构建沙箱内的临时目录避免缓存污染 Nix storeHAREPATHHare 模块搜索路径使标准库和第三方 Hare 库可被解析NIX_HAREFLAGS注入给hare命令的额外编译参数包括目标架构-a和构建类型标志。传播harecHare 编译器和qbe后端汇编器到buildInputs环境中。传播两个包装脚本一个替换hare命令行为的包装脚本以及一个名为hare-native的原始hare包装器。源码级证据setup hook 的实现hareHook的实现位于 hook.nix。从源码结构看它通过makeSetupHook声明了两个substitutions即 setup 脚本中会被填充的占位符substitutions { hare_unconditional_flags -q -a${arch}; hare_stdlib ${hare}/src/hare/stdlib; };其中arch取自stdenv.targetPlatform.uname.processor见 hook.nix。这两处占位符由配套的 setup-hook.sh 展开为实际的HAREPATH、NIX_HAREFLAGS等环境变量赋值。也就是说每个 Hare derivation 的构建环境中无条件带上-q -a目标架构静默输出 目标架构HAREPATH默认包含 Hare 标准库源码目录${hare}/src/hare/stdlib第三方库可通过追加HAREPATH扩展。propagatedBuildInputs同样值得注意hook.nixpropagatedBuildInputs [ hareWrapper ] harePropagationInputs;源码中的注释解释了原因qbe与harec必须传播是因为haredoHare 的项目构建框架这类工具会把HAREC和QBE环境变量直接设为harec与qbe只有让这两个二进制在构建环境中可见整个工具链才自洽。同时传播的是与hare包同一个 derivation产出的harec/qbe以保证hareHook与hare包行为一致。2. hare 命令包装脚本NIX_HAREFLAGS 的注入时机hareHook传播的第一个包装脚本非常关键。它由writeShellApplication生成hook.nix脚本name必须是hare——因为它的职责就是替换构建环境中的hare可执行文件readonly cmd$1 shift case $cmd in test|run|build) exec hare $cmd $NIX_HAREFLAGS $ ;; *) exec hare ${cmd:$cmd} $ esac可以拆解出三条设计意图只向test、run、build三个子命令注入$NIX_HAREFLAGS目标架构-a与构建类型标志其余子命令如doc、fmt原样透传避免对不接受编译参数的命令注入无效参数注释中特意说明${cmd:$cmd}的写法是为了保持与原生hare命令相同的边界行为若第一个参数为空原生hare会将其视为无法识别的命令包装脚本不能帮忙吞掉这个行为excludeShellChecks [ SC2086 ]是有意为之——$NIX_HAREFLAGS需要按空格分词展开不能加引号。3. 可配置属性hareBuildTypehareHook目前接受的属性只有一个属性取值默认值作用hareBuildTyperelease或debugrelease控制是否在NIX_HAREFLAGS中追加-R标志release 构建-R即 Hare 编译器的 release 模式标志启用优化。由于NIX_HAREFLAGS只会被注入到hare build/hare run/hare test三个子命令见上一节的包装脚本hareBuildType实际影响的就是这三类操作的优化级别。4. 完整示例用 hareHook 打包一个 Hare 程序官方文档给出的最小可运行示例如下已按仓库实际内容整理注释{ hareHook, # nixpkgs 提供的 Hare 构建钩子包 lib, stdenv, }: stdenv.mkDerivation { pname name; version version; src src; # 关键一行hareHook 作为包加入 nativeBuildInputs # 而非像 Go/Rust 那样作为函数调用 nativeBuildInputs [ hareHook ]; meta { description description; # 平台支持直接从 hareHook 继承保持与 hare 工具链一致 inherit (hareHook) badPlatforms platforms; }; }要点说明nativeBuildInputs而非buildInputshareHook是构建期钩子属于nativeBuildInputsharec、qbe等由钩子自动传播无需手工列出。inherit (hareHook) badPlatforms platformshareHook的meta.platforms直接继承自hare包的meta见 hook.nix 中inherit (hare.meta) badPlatforms platforms;因此你的包的平台声明与 Hare 工具链的实际支持范围严格一致避免工具链不支持的平台也能求值出你的包这类问题。若使用haredo作为项目构建框架nixpkgs 中同样有配套的 haredo setup hook前文提到的HAREC/QBE环境变量约定正是为了让hareHook与haredo协作无缝。配套的第三方库生态除了语言工具链nixpkgs 还通过一个独立的 scope 维护了一批 Hare 第三方库pkgs/top-level/hare-third-party.nix 中定义lib.makeScope包含hare-http、hare-json、hare-toml、hare-xml、hare-ssh、hare-ev、hare-png、hare-compress等包源码位于 pkgs/development/hare-third-party/。这些库通常以把库放入HAREPATH的方式参与编译——这正是hareHook设置HAREPATH的意义所在你既依赖标准库也能扩展搜索路径以引用这些第三方模块。5. 交叉编译-a 标志与 hare-nativeHare 的编译目标架构是显式的hare build -a arch决定生成哪个平台的二进制。hareHook的目标是让交叉编译开箱即用其机制正是NIX_HAREFLAGS的核心用途在 setup 阶段-a hostPlatform 架构取自stdenv.targetPlatform.uname.processor连同-q被写入hare_unconditional_flagshook.nix最终进入NIX_HAREFLAGS由于hare包装脚本向build/run/test注入该变量你在buildPhase/checkPhase里直接调用hare build ...时目标架构自动对齐hostPlatform不需要自己写-a。何时需要手动干预hare-native官方文档指出一种例外当构建过程本身需要运行刚编译出来的二进制时——典型场景是用 Hare 标准库的hare模块做代码生成codegen。此时运行的是hostPlatform架构的程序但构建环境里 PATH 上的hare已被替换为注入-a hostPlatform的包装版本直接用会带着错误的目标架构参数。hareHook为此提供hare-native脚本它是绕开 Nix 交叉编译变量的原始hare包装器使用buildPlatform即构建机工具链。其实现见 hook.nixhareWrapper runCommand hare-wrapper { nativeBuildInputs [ makeWrapper ]; } mkdir -p $out/bin install ${lib.getExe hareWrappedScript} $out/bin/hare makeWrapper ${lib.getExe hare} $out/bin/hare-native \ --inherit-argv0 \ --unset AR \ --unset LD \ --unset CC ;细节解读install ... $out/bin/hare把注入NIX_HAREFLAGS的包装脚本装为haremakeWrapper ... --inherit-argv0 --unset AR --unset LD --unset CChare-native指向原始hare二进制并清除交叉编译环境下由 Nix 设置的本机工具链变量AR/LD/CC确保 codegen 之类的构建期自举步骤在构建机原生环境下执行。交叉编译如何被验证仓库中自带交叉编译测试 cross-compilation-tests.nix其思路与hareHook的机制一一对应从hare.meta.platforms中筛出所有*-linux架构对每个架构执行hare build -o bin-$a -q -R -a $a main.ha最后用file检查每个产物的 ELF 架构是否符合预期。这从测试层面印证了显式-a标志 hostPlatform架构正是 nixpkgs 中 Hare 交叉编译的权威做法hareHook只是把这套做法自动化了。6. 实践清单把以上内容浓缩为打包 Hare 程序时的检查清单nativeBuildInputs [ hareHook ];——不要自己写harec/qbe也不要调用函数形式的钩子需要 release 优化保持默认hareBuildType release自动带-R需要调试符号时设为debugmeta中inherit (hareHook) badPlatforms platforms;与工具链平台声明保持一致使用第三方 Hare 库时确认库已放入HAREPATH可参考 hare-third-party.nix 中的包列表交叉编译场景下直接依赖NIX_HAREFLAGS的自动-a注入若构建期需要运行 Hare 二进制做 codegen改用hare-native使用haredo框架的项目hareHook对HAREC/QBE环境变量的传播保证了兼容无需额外配置。7. 相关文件索引文件说明doc/languages-frameworks/hare.section.md本文档依据的官方手册章节pkgs/by-name/ha/hare/hook.nixhareHook的 setup hook 实现substitutions、包装脚本、hare-nativepkgs/by-name/ha/hare/setup-hook.shsetup 阶段脚本展开为HARECACHE/HAREPATH/NIX_HAREFLAGS赋值pkgs/by-name/ha/hare/package.nixhare工具链包本身含补丁与平台声明pkgs/by-name/ha/hare/cross-compilation-tests.nix多目标架构交叉编译测试pkgs/by-name/ha/haredo/setup-hook.shharedo框架的配套钩子pkgs/top-level/hare-third-party.nixHare 第三方库 scope 定义【免费下载链接】nixpkgsNix Packages collection NixOS项目地址: https://gitcode.com/GitHub_Trending/ni/nixpkgs创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考