Install ext-psr using apt for phalcon

Syaifudin03 · Oct 29, 2019 · aeb5831 · aeb5831
1 parent cb5e07b
commit aeb5831
Show file tree

Hide file tree

Showing 12 changed files with 41 additions and 31 deletions.
diff --git a/node_modules/@actions/core/package.json b/node_modules/@actions/core/package.json
diff --git a/node_modules/@actions/exec/package.json b/node_modules/@actions/exec/package.json
diff --git a/node_modules/@actions/io/package.json b/node_modules/@actions/io/package.json
diff --git a/node_modules/@actions/tool-cache/package.json b/node_modules/@actions/tool-cache/package.json
diff --git a/node_modules/fs/package.json b/node_modules/fs/package.json
diff --git a/node_modules/semver/package.json b/node_modules/semver/package.json
diff --git a/node_modules/tunnel/package.json b/node_modules/tunnel/package.json
diff --git a/node_modules/typed-rest-client/package.json b/node_modules/typed-rest-client/package.json
diff --git a/node_modules/underscore/package.json b/node_modules/underscore/package.json
diff --git a/node_modules/uuid/package.json b/node_modules/uuid/package.json
diff --git a/package-lock.json b/package-lock.json
diff --git a/src/scripts/phalcon.sh b/src/scripts/phalcon.sh
@@ -1,19 +1,24 @@
 ini_file=$(php --ini | grep "Loaded Configuration" | sed -e "s|.*:s*||" | sed "s/ //g")
-sudo DEBIAN_FRONTEND=noninteractive apt install php"$2"-dev -y
+if [ ! "$(apt-cache search php"$2"-psr)" ]; then
+ sudo DEBIAN_FRONTEND=noninteractive add-apt-repository ppa:ondrej/php -y >/dev/null 2>&1
+fi
+sudo DEBIAN_FRONTEND=noninteractive apt-fast install -y php"$2"-dev php"$2"-psr
 for tool in php-config phpize; do
  if [ -e "/usr/bin/$tool$2" ]; then
  sudo update-alternatives --set $tool /usr/bin/"$tool$2"
  fi
 done
 
-cd ~ && git clone --depth=1 https://github.com/jbboehr/php-psr.git
-cd php-psr && sudo /usr/bin/phpize"$2"
-./configure --with-php-config=/usr/bin/php-config"$2"
-make -j2 && sudo make -j2 install
-echo "extension=psr.so" >> "$ini_file"
+if [ ! "$(apt-cache search php"$2"-psr)" ]; then
+ cd ~ && git clone --depth=1 https://github.com/jbboehr/php-psr.git
+ cd php-psr && sudo /usr/bin/phpize"$2"
+ ./configure --with-php-config=/usr/bin/php-config"$2"
+ make -j2 && sudo make -j2 install
+ echo "extension=psr.so" >> "$ini_file"
+fi
 
 if [ "$1" = "master" ]; then
- sudo DEBIAN_FRONTEND=noninteractive apt install php"$2"-phalcon -y
+ sudo DEBIAN_FRONTEND=noninteractive apt-fast install -y php"$2"-phalcon
 else
  cd ~ && git clone --depth=1 -v https://github.com/phalcon/cphalcon.git -b "$1"
  cd cphalcon/build && sudo ./install --phpize /usr/bin/phpize"$2" --php-config /usr/bin/php-config"$2"