diff options
author | Jelle Raaijmakers <jelle@gmta.nl> | 2021-06-04 20:42:33 +0200 |
---|---|---|
committer | Andreas Kling <kling@serenityos.org> | 2021-06-05 13:02:13 +0200 |
commit | 64e2e2cff3945a3121fbf13f7b9efb9a7099c02b (patch) | |
tree | 7d8a09ff7a63283bd731c8a2c5ddc00ead60577c /Ports | |
parent | 169e93f0a74b18ed935b071a3605fa986b69e4d5 (diff) | |
download | serenity-64e2e2cff3945a3121fbf13f7b9efb9a7099c02b.zip |
Ports/PHP: Enable Phar extension
Diffstat (limited to 'Ports')
-rwxr-xr-x | Ports/php/package.sh | 1 | ||||
-rw-r--r-- | Ports/php/patches/configure-disable-pharcmd.patch | 13 |
2 files changed, 13 insertions, 1 deletions
diff --git a/Ports/php/package.sh b/Ports/php/package.sh index 03d765d663..53d8f00a15 100755 --- a/Ports/php/package.sh +++ b/Ports/php/package.sh @@ -7,7 +7,6 @@ auth_type=sha256 depends="libiconv libxml2 sqlite zlib" configopts=" --disable-opcache - --disable-phar --prefix=${SERENITY_INSTALL_ROOT}/usr/local --with-iconv=${SERENITY_INSTALL_ROOT}/usr/local " diff --git a/Ports/php/patches/configure-disable-pharcmd.patch b/Ports/php/patches/configure-disable-pharcmd.patch new file mode 100644 index 0000000000..0861cb1e4b --- /dev/null +++ b/Ports/php/patches/configure-disable-pharcmd.patch @@ -0,0 +1,13 @@ +--- php-8.0.6/configure 2021-06-04 20:36:10.053986191 +0200 ++++ php-8.0.6-patched/configure 2021-06-04 20:36:20.769935808 +0200 +@@ -91478,8 +91478,8 @@ + CXXFLAGS="$CXXFLAGS $standard_libtool_flag \$(PROF_FLAGS)" + + if test "$PHP_PHAR" != "no" && test "$PHP_CLI" != "no"; then +- pharcmd=pharcmd +- pharcmd_install=install-pharcmd ++ pharcmd= ++ pharcmd_install= + else + pharcmd= + pharcmd_install= |