mac02: building vwg8y87gn4z7xndl6nx61y5y793nhlcj-reasonix-2.37.0.drv Using versionCheckHook Running phase: unpackPhase unpacking source archive /nix/store/vm13nsxxh00jnlikwiqbdavx5xvpzk51-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.617s Running phase: installPhase Running phase: fixupPhase checking for references to /nix/var/nix/builds/nix-62116-2222901029/ in /nix/store/7dj900ycmlf2bnk7dh3gww6w08d1846s-reasonix-2.37.0... patching script interpreter paths in /nix/store/7dj900ycmlf2bnk7dh3gww6w08d1846s-reasonix-2.37.0 stripping (with command strip and flags -S) in /nix/store/7dj900ycmlf2bnk7dh3gww6w08d1846s-reasonix-2.37.0/bin Running phase: installCheckPhase Executing versionCheckPhase Successfully managed to find version 2.37.0 in the output of the command /nix/store/7dj900ycmlf2bnk7dh3gww6w08d1846s-reasonix-2.37.0/bin/reasonix --version reasonix v2.37.0 Finished versionCheckPhase no Makefile or custom installCheckPhase, doing nothing