How to install php7.0-intl extension for PHP7.0

Thanks a lot @rohara!

This configuration works perfectly for me:

version: 2

jobs:
  build:
    machine: true

    steps:
      - checkout

      - run: echo 'deb http://packages.dotdeb.org jessie all' | sudo tee -a /etc/apt/sources.list
      - run: echo 'deb-src http://packages.dotdeb.org jessie all' | sudo tee -a /etc/apt/sources.list
      - run: cat /etc/apt/sources.list

      - run: cd /tmp
      - run: wget https://www.dotdeb.org/dotdeb.gpg
      - run: sudo apt-key add dotdeb.gpg
      - run: sudo apt-get update

      - run: sudo apt-get install php7.0 php7.0-intl
1 Like