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