add libedit

2026-07-08 01:15:37 +08:00 · 2025-10-08 08:16:54 +02:00
parent 384ba54c79
commit 911bc74bf4
6 changed files with 62 additions and 7 deletions
--- a/config/ext.json
+++ b/config/ext.json
@@ -687,7 +687,7 @@
        "type": "builtin",
        "arg-type": "with-path",
        "lib-depends": [
-            "readline"
+            "libedit"
        ],
        "target": [
            "static"
--- a/config/source.json
+++ b/config/source.json
@@ -946,6 +946,16 @@
            "path": "LICENSE"
        }
    },
+    "libedit": {
+        "type": "filelist",
+        "url": "https://thrysoee.dk/editline/",
+        "regex": "/href=\"(?<file>editline-(?<version>[^\"]+)\\.tar\\.gz)\"/",
+        "provide-pre-built": true,
+        "license": {
+            "type": "file",
+            "path": "COPYING"
+        }
+    },
    "readline": {
        "type": "filelist",
        "url": "https://ftp.gnu.org/pub/gnu/readline/",