mac02: building 892ai7yx6z01s94wqbma8h8ic74qbm18-reasonix-2.40.0.drv Using versionCheckHook Running phase: unpackPhase unpacking source archive /nix/store/id7475g0dc9i2yad6wj8j5w4rbk9zczk-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.693s checkPhase completed in 31 seconds Running phase: installPhase Running phase: fixupPhase checking for references to /nix/var/nix/builds/nix-81416-1423825064/ in /nix/store/pv935w2i5c57b5sfgww4d8l0535vayml-reasonix-2.40.0... patching script interpreter paths in /nix/store/pv935w2i5c57b5sfgww4d8l0535vayml-reasonix-2.40.0 stripping (with command strip and flags -S) in /nix/store/pv935w2i5c57b5sfgww4d8l0535vayml-reasonix-2.40.0/bin Running phase: installCheckPhase Executing versionCheckPhase Successfully managed to find version 2.40.0 in the output of the command /nix/store/pv935w2i5c57b5sfgww4d8l0535vayml-reasonix-2.40.0/bin/reasonix --version reasonix v2.40.0 Finished versionCheckPhase no Makefile or custom installCheckPhase, doing nothing