mac02: building cc4qng7mgjrfml44phiv9nbg3dy1blfm-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
buildPhase completed in 33 seconds
Running phase: checkPhase
ok  	reasonix/cmd/reasonix	0.638s
checkPhase completed in 30 seconds
Running phase: installPhase
Running phase: fixupPhase
checking for references to /nix/var/nix/builds/nix-54232-2137432482/ in /nix/store/xas0a14l5dm2sr5rbnnaqvc0cl045krs-reasonix-2.30.0...
patching script interpreter paths in /nix/store/xas0a14l5dm2sr5rbnnaqvc0cl045krs-reasonix-2.30.0
stripping (with command strip and flags -S) in /nix/store/xas0a14l5dm2sr5rbnnaqvc0cl045krs-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/xas0a14l5dm2sr5rbnnaqvc0cl045krs-reasonix-2.30.0/bin/reasonix --version
reasonix v2.30.0
Finished versionCheckPhase
no Makefile or custom installCheckPhase, doing nothing