FROM debian:10
RUN apt-get update
RUN apt-get upgrade -y
RUN apt-get install -y \
  php7.3-cli php-json \
  php-pear php-dev \
  libmosquitto-dev libmosquitto1 mosquitto-clients \
  php-yaml \
  locales-all
RUN pecl install Mosquitto-alpha
RUN echo "extension=mosquitto.so" > /etc/php/7.3/mods-available/mosquitto.ini
RUN ln -s /etc/php/7.3/mods-available/mosquitto.ini /etc/php/7.3/cli/conf.d/20-mosquitto.ini
ADD . /app

VOLUME /app/public

ENTRYPOINT /app/generator.php