summaryrefslogtreecommitdiff
path: root/TARGETS
diff options
context:
space:
mode:
Diffstat (limited to 'TARGETS')
-rw-r--r--TARGETS18
1 files changed, 18 insertions, 0 deletions
diff --git a/TARGETS b/TARGETS
index dfac3c8e..72ca23d1 100644
--- a/TARGETS
+++ b/TARGETS
@@ -134,6 +134,24 @@
}
}
}
+, "libcurl":
+ { "type": "configure"
+ , "target": ["@", "libcurl", "", "curl"]
+ , "config":
+ { "type": "let*"
+ , "bindings":
+ [ ["ENABLE_ARES", true]
+ , ["HTTP_ONLY", true]
+ , ["CURL_USE_LIBPSL", false]
+ , ["CURL_USE_LIBSSH2", false]
+ ]
+ , "body":
+ { "type": "env"
+ , "vars":
+ ["ENABLE_ARES", "HTTP_ONLY", "CURL_USE_LIBPSL", "CURL_USE_LIBSSH2"]
+ }
+ }
+ }
, "just-ext-hdrs":
{ "type": "configure"
, "arguments_config": ["OS", "ARCH"]