mirror of
https://github.com/php/php-src.git
synced 2024-12-11 10:54:47 +08:00
27 lines
937 B
Makefile
27 lines
937 B
Makefile
phpincludedir=$(prefix)/include/php
|
|
|
|
PDO_HEADER_FILES= \
|
|
php_pdo.h \
|
|
php_pdo_driver.h
|
|
|
|
install-pdo-headers:
|
|
@echo "Installing PDO headers: $(INSTALL_ROOT)$(phpincludedir)/ext/pdo/"
|
|
@$(mkinstalldirs) $(INSTALL_ROOT)$(phpincludedir)/ext/pdo
|
|
@for f in $(PDO_HEADER_FILES); do \
|
|
if test -f "$(top_srcdir)/$$f"; then \
|
|
$(INSTALL_DATA) $(top_srcdir)/$$f $(INSTALL_ROOT)$(phpincludedir)/ext/pdo; \
|
|
elif test -f "$(top_builddir)/$$f"; then \
|
|
$(INSTALL_DATA) $(top_builddir)/$$f $(INSTALL_ROOT)$(phpincludedir)/ext/pdo; \
|
|
elif test -f "$(top_srcdir)/ext/pdo/$$f"; then \
|
|
$(INSTALL_DATA) $(top_srcdir)/ext/pdo/$$f $(INSTALL_ROOT)$(phpincludedir)/ext/pdo; \
|
|
elif test -f "$(top_builddir)/ext/pdo/$$f"; then \
|
|
$(INSTALL_DATA) $(top_builddir)/ext/pdo/$$f $(INSTALL_ROOT)$(phpincludedir)/ext/pdo; \
|
|
else \
|
|
echo "hmmm"; \
|
|
fi \
|
|
done;
|
|
|
|
# mini hack
|
|
install: $(all_targets) $(install_targets) install-pdo-headers
|
|
|