crazywhalecc/static-php-cli
1
0
Fork 0
mirror of https://github.com/crazywhalecc/static-php-cli.git synced 2026-07-08 01:15:37 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #84 from jingjingxyk/pgsql

Browse Source 
添加pgsql 库
This commit is contained in:
Jerry Ma
2023-07-22 16:19:43 +08:00
committed by GitHub
parent a2cb5165d3 47101d058b
commit 0902f80b46
7 changed files with 137 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/SPC/store/SourcePatcher.php
View File

@@ -88,6 +88,9 @@ class SourcePatcher
if ($ssh2 = $builder->getExt('ssh2')) {
$patch[] = ['ssh2 patch', '/-lssh2/', $ssh2->getLibFilesString()];
}
if ($pgsql = $builder->getExt('pgsql')) {
$patch[] = ['pgsql patch', '/-lpq/', $pgsql->getLibFilesString()];
}
$patch[] = ['disable capstone', '/have_capstone="yes"/', 'have_capstone="no"'];
foreach ($patch as $item) {
logger()->info('Patching configure: ' . $item[0]);