summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorEmiel Bruijntjes <emiel.bruijntjes@copernica.com>2014-04-06 14:44:03 +0200
committerEmiel Bruijntjes <emiel.bruijntjes@copernica.com>2014-04-06 14:44:03 +0200
commit9bc5d1ed595e0ff0b7cec9a87d06a7923c211ebd (patch)
tree56681046544fce1bad3466a77b62194a4978ec89 /Makefile
parent97269e8159b419fa624980ce70de908f22c4982c (diff)
removed all zend dependencies from the public extension object, and moved it into the src directory
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 60e82e8..6bac3de 100644
--- a/Makefile
+++ b/Makefile
@@ -184,8 +184,8 @@ install:
${MKDIR} ${INSTALL_HEADERS}/phpcpp
${CP} phpcpp.h ${INSTALL_HEADERS}
${CP} include/*.h ${INSTALL_HEADERS}/phpcpp
- ${CP} ${PHP_LIBRARY} ${INSTALL_LIB}
- ${CP} ${HHVM_LIBRARY} ${INSTALL_LIB}
+ if [ -e ${PHP_LIBRARY} ]; then ${CP} ${PHP_LIBRARY} ${INSTALL_LIB}; fi
+ if [ -e ${HHVM_LIBRARY} ]; then ${CP} ${HHVM_LIBRARY} ${INSTALL_LIB}; fi
${CONFIG_UTILITY} > ${INSTALL_HEADERS}/phpcpp/config.h
test: