Using versionCheckHook Running phase: unpackPhase unpacking source archive /nix/store/g4v7yb0h4nzh0ilbswk8vnws9jn7vq2j-source source root is source Running phase: patchPhase Running phase: updateAutotoolsGnuConfigScriptsPhase Running phase: configurePhase Running phase: buildPhase Building subPackage ./cmd/reasonix buildPhase completed in 3 minutes 57 seconds Running phase: checkPhase ok reasonix/cmd/reasonix 0.219s checkPhase completed in 3 minutes 6 seconds Running phase: installPhase Running phase: fixupPhase shrinking RPATHs of ELF executables and libraries in /nix/store/rvp5mcv289fbr0p29k2yxxd8dcnav5h3-reasonix-1.31.4 shrinking /nix/store/rvp5mcv289fbr0p29k2yxxd8dcnav5h3-reasonix-1.31.4/bin/reasonix patchelf: cannot find section '.dynamic'. The input file is most likely statically linked checking for references to /build/ in /nix/store/rvp5mcv289fbr0p29k2yxxd8dcnav5h3-reasonix-1.31.4... patchelf: cannot find section '.dynamic'. The input file is most likely statically linked patching script interpreter paths in /nix/store/rvp5mcv289fbr0p29k2yxxd8dcnav5h3-reasonix-1.31.4 stripping (with command strip and flags -S -p) in /nix/store/rvp5mcv289fbr0p29k2yxxd8dcnav5h3-reasonix-1.31.4/bin Running phase: installCheckPhase Executing versionCheckPhase Successfully managed to find version 1.31.4 in the output of the command /nix/store/rvp5mcv289fbr0p29k2yxxd8dcnav5h3-reasonix-1.31.4/bin/reasonix --version reasonix v1.31.4 Finished versionCheckPhase no Makefile or custom installCheckPhase, doing nothing