mirror of
https://github.com/php/php-src.git
synced 2025-01-23 12:13:37 +08:00
33 lines
1.2 KiB
Makefile
33 lines
1.2 KiB
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
|
|
|
|
#$(top_srcdir)/ext/pdo/pdo_sql_parser.c: $(top_srcdir)/ext/pdo/pdo_sql_parser.re
|
|
# exit 0; re2c -b $(top_srcdir)/ext/pdo/pdo_sql_parser.re > $@
|
|
|
|
#$(srcdir)/pdo_sql_parser.c: $(srcdir)/pdo_sql_parser.re
|
|
# exit 0; re2c -b $(srcdir)/pdo_sql_parser.re > $@
|
|
|