hol-guard-3.15.0
checks.aarch64-linux.pkgs-hol-guard
· build #6330
· raw
1elastic-arm-7477f843: building zqh8xb7vj3zhvv6bjqrqkwfnazg67ar3-hol-guard-3.15.0.drv2Sourcing python-remove-tests-dir-hook3Sourcing python-catch-conflicts-hook.sh4Sourcing python-remove-bin-bytecode-hook.sh5Sourcing pypa-build-hook6Using pypaBuildPhase7Sourcing python-runtime-deps-check-hook8Using pythonRuntimeDepsCheckHook9Sourcing pypa-install-hook10Using pypaInstallPhase11Sourcing python-imports-check-hook.sh12Using pythonImportsCheckPhase13Sourcing python-namespaces-hook14Sourcing python-catch-conflicts-hook.sh15Using versionCheckHook
unpackPhase
16unpacking source archive /nix/store/r778kfnnbwhrzxk4yjmn1nby7x682kam-hol_guard-3.15.0.tar.gz17source root is hol_guard-3.15.018setting SOURCE_DATE_EPOCH to timestamp 1580601600 of file "hol_guard-3.15.0/uv.lock"configurePhase
19no configure script, doing nothingbuildPhase
20Executing pypaBuildPhase21Creating a wheel...22pypa build flags: --no-isolation --outdir dist/ --wheel23* Getting build dependencies for wheel...24* Building wheel...25Successfully built hol_guard-3.15.0-py3-none-any.whl26Finished creating a wheel...27/build/hol_guard-3.15.0/dist /build/hol_guard-3.15.028Unpacking to: unpacked/hol_guard-3.15.0...OK29Repacking wheel as ./hol_guard-3.15.0-py3-none-any.whl...OK30/build/hol_guard-3.15.031Finished executing pypaBuildPhasepythonRuntimeDepsCheckHook
32Executing pythonRuntimeDepsCheck33Checking runtime dependencies for hol_guard-3.15.0-py3-none-any.whl34Finished executing pythonRuntimeDepsCheckinstallPhase
35Executing pypaInstallPhase36Successfully installed hol_guard-3.15.0-py3-none-any.whl37Finished executing pypaInstallPhasepythonOutputDistPhase
38Executing pythonOutputDistPhase39Finished executing pythonOutputDistPhasefixupPhase
40shrinking RPATHs of ELF executables and libraries in /nix/store/zp5zxqzx9pd2wssq0r7f8dka4j02bibc-hol-guard-3.15.041checking for references to /build/ in /nix/store/zp5zxqzx9pd2wssq0r7f8dka4j02bibc-hol-guard-3.15.0...42patching script interpreter paths in /nix/store/zp5zxqzx9pd2wssq0r7f8dka4j02bibc-hol-guard-3.15.043stripping (with command strip and flags -S -p) in /nix/store/zp5zxqzx9pd2wssq0r7f8dka4j02bibc-hol-guard-3.15.0/lib /nix/store/zp5zxqzx9pd2wssq0r7f8dka4j02bibc-hol-guard-3.15.0/bin44shrinking RPATHs of ELF executables and libraries in /nix/store/dd0k5s09wvy9bz43x7gmk1vp5z5ymai7-hol-guard-3.15.0-dist45checking for references to /build/ in /nix/store/dd0k5s09wvy9bz43x7gmk1vp5z5ymai7-hol-guard-3.15.0-dist...46patching script interpreter paths in /nix/store/dd0k5s09wvy9bz43x7gmk1vp5z5ymai7-hol-guard-3.15.0-dist47Rewriting #!/nix/store/81ag9nxz1flw3xjkv1vvqg8y2ipx2ins-python3-3.14.7/bin/python3.14 to #!/nix/store/81ag9nxz1flw3xjkv1vvqg8y2ipx2ins-python3-3.14.748wrapping `/nix/store/zp5zxqzx9pd2wssq0r7f8dka4j02bibc-hol-guard-3.15.0/bin/hol-guard'...49Rewriting #!/nix/store/81ag9nxz1flw3xjkv1vvqg8y2ipx2ins-python3-3.14.7/bin/python3.14 to #!/nix/store/81ag9nxz1flw3xjkv1vvqg8y2ipx2ins-python3-3.14.750wrapping `/nix/store/zp5zxqzx9pd2wssq0r7f8dka4j02bibc-hol-guard-3.15.0/bin/plugin-guard'...51Rewriting #!/nix/store/81ag9nxz1flw3xjkv1vvqg8y2ipx2ins-python3-3.14.7/bin/python3.14 to #!/nix/store/81ag9nxz1flw3xjkv1vvqg8y2ipx2ins-python3-3.14.752wrapping `/nix/store/zp5zxqzx9pd2wssq0r7f8dka4j02bibc-hol-guard-3.15.0/bin/hol-guard-eval'...53Executing pythonRemoveTestsDir54Finished executing pythonRemoveTestsDirinstallCheckPhase
55Executing versionCheckPhase56Successfully managed to find version 3.15.0 in the output of the command /nix/store/zp5zxqzx9pd2wssq0r7f8dka4j02bibc-hol-guard-3.15.0/bin/hol-guard --version57hol-guard 3.15.058Finished versionCheckPhase59no Makefile or custom installCheckPhase, doing nothingpythonImportsCheckPhase
60Executing pythonImportsCheckPhase61Check whether the following modules can be imported: codex_plugin_scanner