facebook/hhvm — pull request #3272 by johnnywalker (2014-07-24 15:28:13+00:00)
Title: use GNU install dirs

I don't know if GNU install dirs (e.g. lib64 instead of lib) would be preferred, but here's a PR for changing the install behavior if it is. Thoughts?