hol-guard-3.7.1
checks.aarch64-darwin.pkgs-hol-guard
· build #5805
· raw
1Sourcing python-remove-tests-dir-hook2Sourcing python-catch-conflicts-hook.sh3Sourcing python-remove-bin-bytecode-hook.sh4Sourcing pypa-build-hook5Using pypaBuildPhase6Sourcing python-runtime-deps-check-hook7Using pythonRuntimeDepsCheckHook8Sourcing pypa-install-hook9Using pypaInstallPhase10Sourcing python-imports-check-hook.sh11Using pythonImportsCheckPhase12Sourcing python-namespaces-hook13Sourcing python-catch-conflicts-hook.sh14Using versionCheckHook
unpackPhase
15unpacking source archive /nix/store/wy2n6wh18h7kc714xv6bqqh7km1a7vn5-hol_guard-3.7.1.tar.gz16source root is hol_guard-3.7.117setting SOURCE_DATE_EPOCH to timestamp 1580601600 of file "hol_guard-3.7.1/uv.lock"configurePhase
18no configure script, doing nothingbuildPhase
19Executing pypaBuildPhase20Creating a wheel...21pypa build flags: --no-isolation --outdir dist/ --wheel22* Getting build dependencies for wheel...23* Building wheel...24Successfully built hol_guard-3.7.1-py3-none-any.whl25Finished creating a wheel...26/nix/var/nix/builds/nix-50694-1567828555/hol_guard-3.7.1/dist /nix/var/nix/builds/nix-50694-1567828555/hol_guard-3.7.127Unpacking to: unpacked/hol_guard-3.7.1...OK28Repacking wheel as ./hol_guard-3.7.1-py3-none-any.whl...OK29/nix/var/nix/builds/nix-50694-1567828555/hol_guard-3.7.130Finished executing pypaBuildPhasepythonRuntimeDepsCheckHook
31Executing pythonRuntimeDepsCheck32Checking runtime dependencies for hol_guard-3.7.1-py3-none-any.whl33Finished executing pythonRuntimeDepsCheckinstallPhase
34Executing pypaInstallPhase35Successfully installed hol_guard-3.7.1-py3-none-any.whl36Finished executing pypaInstallPhasepythonOutputDistPhase
37Executing pythonOutputDistPhase38Finished executing pythonOutputDistPhasefixupPhase
39checking for references to /nix/var/nix/builds/nix-50694-1567828555/ in /nix/store/sbs5j454cgx34w8iijwfj2g9h42mncpm-hol-guard-3.7.1...40patching script interpreter paths in /nix/store/sbs5j454cgx34w8iijwfj2g9h42mncpm-hol-guard-3.7.141stripping (with command strip and flags -S) in /nix/store/sbs5j454cgx34w8iijwfj2g9h42mncpm-hol-guard-3.7.1/lib /nix/store/sbs5j454cgx34w8iijwfj2g9h42mncpm-hol-guard-3.7.1/bin42checking for references to /nix/var/nix/builds/nix-50694-1567828555/ in /nix/store/1zn3kvd1qgcydy4gf470dspph5wy6xdq-hol-guard-3.7.1-dist...43patching script interpreter paths in /nix/store/1zn3kvd1qgcydy4gf470dspph5wy6xdq-hol-guard-3.7.1-dist44Rewriting #!/nix/store/4l8r0s2r5fna7src82b5fc2hixdvfyw0-python3-3.14.7/bin/python3.14 to #!/nix/store/4l8r0s2r5fna7src82b5fc2hixdvfyw0-python3-3.14.745wrapping `/nix/store/sbs5j454cgx34w8iijwfj2g9h42mncpm-hol-guard-3.7.1/bin/plugin-guard'...46Rewriting #!/nix/store/4l8r0s2r5fna7src82b5fc2hixdvfyw0-python3-3.14.7/bin/python3.14 to #!/nix/store/4l8r0s2r5fna7src82b5fc2hixdvfyw0-python3-3.14.747wrapping `/nix/store/sbs5j454cgx34w8iijwfj2g9h42mncpm-hol-guard-3.7.1/bin/hol-guard-eval'...48Rewriting #!/nix/store/4l8r0s2r5fna7src82b5fc2hixdvfyw0-python3-3.14.7/bin/python3.14 to #!/nix/store/4l8r0s2r5fna7src82b5fc2hixdvfyw0-python3-3.14.749wrapping `/nix/store/sbs5j454cgx34w8iijwfj2g9h42mncpm-hol-guard-3.7.1/bin/hol-guard'...50Executing pythonRemoveTestsDir51Finished executing pythonRemoveTestsDirinstallCheckPhase
52Executing versionCheckPhase53Successfully managed to find version 3.7.1 in the output of the command /nix/store/sbs5j454cgx34w8iijwfj2g9h42mncpm-hol-guard-3.7.1/bin/hol-guard --version54hol-guard 3.7.155Finished versionCheckPhase56no Makefile or custom installCheckPhase, doing nothingpythonImportsCheckPhase
57Executing pythonImportsCheckPhase58Check whether the following modules can be imported: codex_plugin_scanner