mac02: building x0fy7myp9ivv9v2rv9nrkvxkd9zrl7sp-reasonix-2.31.0.drv Using versionCheckHook Running phase: unpackPhase unpacking source archive /nix/store/b57r6rsli5pj367631wa4vamrz63fgrp-source source root is source Running phase: patchPhase Running phase: updateAutotoolsGnuConfigScriptsPhase Running phase: configurePhase Running phase: buildPhase Building subPackage ./cmd/reasonix buildPhase completed in 1 minutes 17 seconds Running phase: checkPhase ok reasonix/cmd/reasonix 0.640s checkPhase completed in 35 seconds Running phase: installPhase Running phase: fixupPhase checking for references to /nix/var/nix/builds/nix-58510-2570915085/ in /nix/store/yn66bnwh9h8wm2qdpy4ik78fq0dy7kb4-reasonix-2.31.0... patching script interpreter paths in /nix/store/yn66bnwh9h8wm2qdpy4ik78fq0dy7kb4-reasonix-2.31.0 stripping (with command strip and flags -S) in /nix/store/yn66bnwh9h8wm2qdpy4ik78fq0dy7kb4-reasonix-2.31.0/bin Running phase: installCheckPhase Executing versionCheckPhase Successfully managed to find version 2.31.0 in the output of the command /nix/store/yn66bnwh9h8wm2qdpy4ik78fq0dy7kb4-reasonix-2.31.0/bin/reasonix --version reasonix v2.31.0 Finished versionCheckPhase no Makefile or custom installCheckPhase, doing nothing