install phalcon php and dev tools

Author: cscolabear

Dockerfiles/php-fpm/Dockerfile

@@ -1,7 +1,6 @@
 FROM php:7.2-fpm
 
 
-
 RUN set -xe; \
     echo "PS1='\u@\h:\w\$ '" >> ~/.bashrc && \
     echo "" >> ~/.bashrc && \
@@ -37,6 +36,22 @@ RUN set -xe; \
     docker-php-ext-enable xdebug
 
 
+# install phalcon
+ARG PHALCON_VERSION=3.4.4
+ARG PHALCON_EXT_PATH=php7/64bits
+
+RUN set -xe && \
+    # Compile Phalcon
+    curl -LO https://github.com/phalcon/cphalcon/archive/v${PHALCON_VERSION}.tar.gz && \
+    tar xzf ${PWD}/v${PHALCON_VERSION}.tar.gz && \
+    docker-php-ext-install -j $(getconf _NPROCESSORS_ONLN) ${PWD}/cphalcon-${PHALCON_VERSION}/build/${PHALCON_EXT_PATH} && \
+    # Remove all temp files
+    rm -r \
+    ${PWD}/v${PHALCON_VERSION}.tar.gz \
+    ${PWD}/cphalcon-${PHALCON_VERSION}
+
+
+
 # install zip extensions
 # ps. next lines are here becase there is no auto build on docker
 RUN apt-get install -y --no-install-recommends \

Dockerfiles/workspace/composer.json

@@ -1,5 +1,6 @@
 {
     "require": {
-        "hirak/prestissimo": "^0.3.5"
+        "hirak/prestissimo": "^0.3.5",
+        "phalcon/devtools": "~3.4"
     }
 }