mac02: building isyfl3m2qx85r4ni3qsw8am3w4q1i9pb-reasonix-2.54.0.drv Using versionCheckHook Running phase: unpackPhase unpacking source archive /nix/store/h486gj1knh4sym801hgwzdax7blbjhbx-source source root is source Running phase: patchPhase Running phase: updateAutotoolsGnuConfigScriptsPhase Running phase: configurePhase Running phase: buildPhase Building subPackage ./cmd/reasonix buildPhase completed in 37 seconds Running phase: checkPhase ok reasonix/cmd/reasonix 0.727s checkPhase completed in 31 seconds Running phase: installPhase Running phase: fixupPhase checking for references to /nix/var/nix/builds/nix-42505-3861299144/ in /nix/store/ak3ir3y7i7gjxyib4hj6a351dlix7abq-reasonix-2.54.0... patching script interpreter paths in /nix/store/ak3ir3y7i7gjxyib4hj6a351dlix7abq-reasonix-2.54.0 stripping (with command strip and flags -S) in /nix/store/ak3ir3y7i7gjxyib4hj6a351dlix7abq-reasonix-2.54.0/bin Running phase: installCheckPhase Executing versionCheckPhase Successfully managed to find version 2.54.0 in the output of the command /nix/store/ak3ir3y7i7gjxyib4hj6a351dlix7abq-reasonix-2.54.0/bin/reasonix --version reasonix v2.54.0 Finished versionCheckPhase no Makefile or custom installCheckPhase, doing nothing