From 247a254af4aed1600448bdc49a7fc4697473a6e3 Mon Sep 17 00:00:00 2001 From: crazywhalecc Date: Sun, 8 Mar 2026 17:46:14 +0800 Subject: [PATCH] Add ext-dio --- config/pkg/ext/ext-dio.yml | 9 +++++++++ src/Package/Extension/dio.php | 23 +++++++++++++++++++++++ 2 files changed, 32 insertions(+) create mode 100644 config/pkg/ext/ext-dio.yml create mode 100644 src/Package/Extension/dio.php diff --git a/config/pkg/ext/ext-dio.yml b/config/pkg/ext/ext-dio.yml new file mode 100644 index 00000000..b445940c --- /dev/null +++ b/config/pkg/ext/ext-dio.yml @@ -0,0 +1,9 @@ +ext-dio: + type: php-extension + artifact: + source: + type: pecl + name: dio + metadata: + license-files: [LICENSE] + license: PHP-3.01 diff --git a/src/Package/Extension/dio.php b/src/Package/Extension/dio.php new file mode 100644 index 00000000..70ac387e --- /dev/null +++ b/src/Package/Extension/dio.php @@ -0,0 +1,23 @@ +getSourceDir()}/php_dio.h")) { + FileSystem::writeFile("{$this->getSourceDir()}/php_dio.h", FileSystem::readFile("{$this->getSourceDir()}/src/php_dio.h")); + } + } +}