add postgresql and custom downloader

2026-07-07 00:35:41 +08:00 · 2023-04-09 12:11:14 +08:00
parent 9970986a52
commit 76e95b8c55
8 changed files with 122 additions and 5 deletions
--- a/config/source.json
+++ b/config/source.json
@@ -44,6 +44,13 @@
            "path": "LICENSE.TXT"
        }
    },
+    "postgresql": {
+        "type": "custom",
+        "license": {
+            "type": "file",
+            "path": "COPYRIGHT"
+        }
+    },
    "gmp": {
        "type": "filelist",
        "url": "https://gmplib.org/download/gmp/",
@@ -224,6 +231,13 @@
            "path": "LICENSE"
        }
    },
+    "php-src": {
+        "type": "custom",
+        "license": {
+            "type": "file",
+            "path": "LICENSE"
+        }
+    },
    "redis": {
        "type": "git",
        "path": "php-src/ext/redis",