From b38434572326a367bff82f5962d7f58d0ce24cdf Mon Sep 17 00:00:00 2001 From: crazywhalecc Date: Mon, 8 Dec 2025 17:00:18 +0800 Subject: [PATCH] Add php-micro patch for embed mode --- src/Package/Target/micro.php | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 src/Package/Target/micro.php diff --git a/src/Package/Target/micro.php b/src/Package/Target/micro.php new file mode 100644 index 00000000..a95d4b4d --- /dev/null +++ b/src/Package/Target/micro.php @@ -0,0 +1,22 @@ +getSourceDir()}/Makefile", 'OVERALL_TARGET =', 'OVERALL_TARGET = libphp.la'); + } +}