mac02: building aqvwnlccqf0cqbkiqgr1vw70dmd0dmx9-reasonix-2.53.1.drv Using versionCheckHook Running phase: unpackPhase unpacking source archive /nix/store/q0jlllrm4aknh5cscba4in40gcc686y8-source source root is source Running phase: patchPhase Running phase: updateAutotoolsGnuConfigScriptsPhase Running phase: configurePhase Running phase: buildPhase Building subPackage ./cmd/reasonix Running phase: checkPhase ok reasonix/cmd/reasonix 0.637s Running phase: installPhase Running phase: fixupPhase checking for references to /nix/var/nix/builds/nix-62313-2837829186/ in /nix/store/32bpgq9c2s9wprfnff864l09rrgm5v5s-reasonix-2.53.1... patching script interpreter paths in /nix/store/32bpgq9c2s9wprfnff864l09rrgm5v5s-reasonix-2.53.1 stripping (with command strip and flags -S) in /nix/store/32bpgq9c2s9wprfnff864l09rrgm5v5s-reasonix-2.53.1/bin Running phase: installCheckPhase Executing versionCheckPhase Successfully managed to find version 2.53.1 in the output of the command /nix/store/32bpgq9c2s9wprfnff864l09rrgm5v5s-reasonix-2.53.1/bin/reasonix --version reasonix v2.53.1 Finished versionCheckPhase no Makefile or custom installCheckPhase, doing nothing