mirror of
https://github.com/RGBCube/serenity
synced 2025-07-27 15:37:46 +00:00
Ports: Update PHP to 8.1.4
This commit is contained in:
parent
cf1baddb67
commit
c637795888
9 changed files with 80 additions and 42 deletions
29
Ports/php/patches/0001-Build-Disable-pharcmd.patch
Normal file
29
Ports/php/patches/0001-Build-Disable-pharcmd.patch
Normal file
|
@ -0,0 +1,29 @@
|
|||
From b77421b9902a06c17e01c6c1dabffbc066a978e8 Mon Sep 17 00:00:00 2001
|
||||
From: Jelle Raaijmakers <jelle@gmta.nl>
|
||||
Date: Tue, 29 Mar 2022 22:41:26 +0200
|
||||
Subject: [PATCH 1/2] Build: Disable `pharcmd`
|
||||
|
||||
We do not support running the PHP binary locally after its build, so do
|
||||
not try to run phar locally.
|
||||
---
|
||||
configure.ac | 4 ++--
|
||||
1 file changed, 2 insertions(+), 2 deletions(-)
|
||||
|
||||
diff --git a/configure.ac b/configure.ac
|
||||
index b54abe32..d9a8d0b9 100644
|
||||
--- a/configure.ac
|
||||
+++ b/configure.ac
|
||||
@@ -1567,8 +1567,8 @@ CFLAGS="\$(CFLAGS_CLEAN) $standard_libtool_flag"
|
||||
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=
|
||||
--
|
||||
2.32.0
|
||||
|
Loading…
Add table
Add a link
Reference in a new issue