+ HTTP_HEADER_FILES="php_http_std_defs.h php_http.h php_http_api.h php_http_cache_api.h \
+ php_http_date_api.h php_http_headers_api.h php_http_info_api.h php_http_message_api.h \
+ php_http_request_api.h php_http_request_method_api.h php_http_send_api.h php_http_url_api.h"
+ PHP_SUBST([HTTP_HEADER_FILES])
+
+ ifdef([PHP_INSTALL_HEADERS],
+ [
+ PHP_INSTALL_HEADERS(ext/http, $HTTP_HEADER_FILES)
+ PHP_INSTALL_HEADERS(ext/http/phpstr, [phpstr/phpstr.h])
+ ], [
+ PHP_ADD_MAKEFILE_FRAGMENT
+ ])