agaric-coop/box/provisioning/roles/geerlingguy.php-redis/tasks/install-from-source.yml

36 lines
937 B
YAML

---
- name: Clone the PhpRedis repo.
git:
repo: "{{ php_redis_source_repo }}"
dest: "{{ php_redis_source_clone_dir }}"
version: "{{ php_redis_source_version }}"
accept_hostkey: yes
depth: 1
- name: Run phpize.
shell: >
phpize
chdir={{ php_redis_source_clone_dir }}
creates={{ php_extension_conf_paths[0] }}/redis.ini
- name: Run configure script.
shell: >
{{ php_redis_source_configure_command }}
chdir={{ php_redis_source_clone_dir }}
creates={{ php_extension_conf_paths[0] }}/redis.ini
- name: Make and install PHP.
shell: >
{{ item }}
chdir={{ php_redis_source_clone_dir }}
creates={{ php_extension_conf_paths[0] }}/redis.ini
with_items:
- make
- make install
- name: Ensure the Redis extension is present in PHP's configuration.
copy:
src: redis.ini
dest: "{{ php_extension_conf_paths[0] }}/redis.ini"
mode: 0644
notify: restart webserver