Source: php8.1 Version: 8.1.7-1 Severity: serious Justification: TC resolution #994388 Control: block 1001648 by -1 User: reproducible-bui...@lists.alioth.debian.org Usertags: usrmerge
When php8.1 is built on a system where /usr/bin/sed exists (such as a system that has undergone the /usr merge), it records SED="/usr/bin/sed" in the php8.1-config and phpize8.1 scripts. The resulting binary package will not work on an unmerged-/usr system, because on such systems, only /bin/sed exists. Technical Committee resolution https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=994388#110 recommends that this class of bug is treated as release-critical. I suspect that building php8.1 on a system with a /usr/local/bin/sed would have a similar problem. This is basically the same problem as #913620 in php7.3, and passing SED=/bin/sed as an argument to the configure command is likely to be a correct solution. smcv