Use dune instead of cmake to generate build optionsnightly-2019.04.12
treee7195f3f5f259f51546f765d0e41095c296840a4
-rw-r--r-- 1479 .gitignore
-rw-r--r-- 114 .gitmodules
drwxr-xr-x - CMake
-rw-r--r-- 3931 CMakeLists.txt
-rw-r--r-- 249 CODE_OF_CONDUCT.md
-rw-r--r-- 3334 CONTRIBUTING.md
-rw-r--r-- 637 ISSUE_TEMPLATE.md
-rw-r--r-- 3204 LICENSE.PHP
-rw-r--r-- 2803 LICENSE.ZEND
-rw-r--r-- 3346 README.md
-rwxr-xr-x 642 configure
drwxr-xr-x - hphp
drwxr-xr-x - patches
m--------- - third-party