facebook/hhvm — pull request #2782 by tstarling (2014-05-28 03:59:26+00:00)
Title: Support DESTDIR in CMake header installation

Use FILE(INSTALL) instead of FILE(COPY) even though it is more verbose, since only FILE(INSTALL) has DESTDIR support. Also defer evaluation of CMAKE_INSTALL_PREFIX until install time -- although note that hphpize will have the wrong path if CMAKE_INSTALL_PREFIX is somehow modified without reconfiguration being triggered.

Closes #2765