2015-07-25 11:39:50 +02:00
|
|
|
# Manages the php-hhvm service.
|
|
|
|
|
{% from "php/ng/map.jinja" import php with context %}
|
|
|
|
|
|
|
|
|
|
include:
|
2019-07-28 07:05:22 +02:00
|
|
|
- php.ng.deprecated
|
2015-07-25 11:39:50 +02:00
|
|
|
- php.ng.hhvm.install
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
{% if salt['grains.get']('os_family') == 'Debian' -%}
|
|
|
|
|
|
|
|
|
|
hhvm_repo:
|
|
|
|
|
pkgrepo.managed:
|
|
|
|
|
- name: deb http://dl.hhvm.com/{{ salt['grains.get']('os')|lower }} {{ salt['grains.get']('oscodename')}} main
|
|
|
|
|
- file: /etc/apt/sources.list.d/hhvm.list
|
|
|
|
|
- keyid: 0x5a16e7281be7a449
|
|
|
|
|
- keyserver: keyserver.ubuntu.com
|
|
|
|
|
- refresh_db: True
|
|
|
|
|
- require_in:
|
|
|
|
|
- pkg: php_install_hhvm
|
|
|
|
|
{%- endif %}
|
