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