Невозможно установить gettext на сервере ubuntu php7: php_gettext.dll нет такого файла или каталога

Question

Я пытаюсь установить Gettext на строительную машину CircleCI (ubuntu 14.4), потому что от этого зависит мой проект.

Я бегу PHP 7.

я успешно нашел .ini использовать файл PHP, и я раскомментировать эту строку:

extension=php_gettext.dll 

Однако, тогда я получаю следующее предупреждение:

PHP Warning:  PHP Startup: Unable to load dynamic library '/opt/circleci/php/7.0.2/lib/php/extensions/no-debug-non-zts-20151012/php_gettext.dll' - /opt/circleci/php/7.0.2/lib/php/extensions/no-debug-non-zts-20151012/php_gettext.dll: cannot open shared object file: No such file or directory in Unknown on line 0 

Что я делаю неправильно?

Answer 1

Наш (CircleCI) Ubuntu 14.04 не включает PHP, построенный с использованием gettext. У нас есть исправление temp на Discuss CircleCI, и следующая сборка изображения должна включать его по умолчанию.

Btw, я предполагаю, что вы тот, кто открыл эту нить? Я публикую здесь только на случай, если я ошибаюсь и помогу всем, кто может столкнуться с этой проблемой.

-Ricardo
евангелиста Разработчик CircleCI