mac02: building kas4nzd6ldbvjkj4yywf1hcddrwwydbf-reasonix-2.50.0.drv Using versionCheckHook Running phase: unpackPhase unpacking source archive /nix/store/i6inykabvyzwly2vl297q1iwsqmqa0g7-source source root is source Running phase: patchPhase Running phase: updateAutotoolsGnuConfigScriptsPhase Running phase: configurePhase Running phase: buildPhase Building subPackage ./cmd/reasonix buildPhase completed in 30 seconds Running phase: checkPhase ok reasonix/cmd/reasonix 0.674s checkPhase completed in 32 seconds Running phase: installPhase Running phase: fixupPhase checking for references to /nix/var/nix/builds/nix-78373-227592311/ in /nix/store/fli0w91rqp14n5db28d8wnanj6j2022p-reasonix-2.50.0... patching script interpreter paths in /nix/store/fli0w91rqp14n5db28d8wnanj6j2022p-reasonix-2.50.0 stripping (with command strip and flags -S) in /nix/store/fli0w91rqp14n5db28d8wnanj6j2022p-reasonix-2.50.0/bin Running phase: installCheckPhase Executing versionCheckPhase Successfully managed to find version 2.50.0 in the output of the command /nix/store/fli0w91rqp14n5db28d8wnanj6j2022p-reasonix-2.50.0/bin/reasonix --version reasonix v2.50.0 Finished versionCheckPhase no Makefile or custom installCheckPhase, doing nothing