Я успешно скомпилировал EmptyExtension и получил salamander_php.so (мое добавочное имя).
Затем я скопировал его в php extension_dir и добавил строку в php.ini.
extension=salamander_php.so
когда я ввожу php -v
Я получил предупреждение
PHP Warning: PHP Startup: Unable to load dynamic library '/usr/local/php7.1/lib/php/extensions/no-debug-zts-20160303/salamander_php.so' - /lib/libphpcpp.so.2.0:
undefined symbol: executor_globals in Unknown on line 0
Задача ещё не решена.
Других решений пока нет …