diff options
| author | Tianon Gravi <tianon@debian.org> | 2018-04-05 11:55:27 -0700 |
|---|---|---|
| committer | Anatol Belski <ab@php.net> | 2018-05-21 12:18:46 +0200 |
| commit | bc6ddb7f458d0933ee318e732acca464cd924713 (patch) | |
| tree | 4bc858877ab1c1999c00f47f199b5e5d901e41bc | |
| parent | 83626ef97ac55064fdbee22ff18474e5a1f135b9 (diff) | |
| download | php-git-bc6ddb7f458d0933ee318e732acca464cd924713.tar.gz | |
Allow pecl like usage in ext/pdo, refs #2955
| -rw-r--r-- | ext/pdo/Makefile.frag | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/ext/pdo/Makefile.frag b/ext/pdo/Makefile.frag index 58125ed872..d2b59744ef 100644 --- a/ext/pdo/Makefile.frag +++ b/ext/pdo/Makefile.frag @@ -7,7 +7,12 @@ PDO_HEADER_FILES= \ $(srcdir)/pdo_sql_parser.c: $(srcdir)/pdo_sql_parser.re - (cd $(top_srcdir); $(RE2C) --no-generation-date -o ext/pdo/pdo_sql_parser.c ext/pdo/pdo_sql_parser.re) + @(cd $(top_srcdir); \ + if test -f ./pdo_sql_parser.re; then \ + $(RE2C) --no-generation-date -o pdo_sql_parser.c pdo_sql_parser.re; \ + else \ + $(RE2C) --no-generation-date -o ext/pdo/pdo_sql_parser.c ext/pdo/pdo_sql_parser.re; \ + fi) install-pdo-headers: @echo "Installing PDO headers: $(INSTALL_ROOT)$(phpincludedir)/ext/pdo/" |