diff options
| author | jvoisin | 2017-10-02 18:09:54 +0200 |
|---|---|---|
| committer | jvoisin | 2017-10-02 18:26:15 +0200 |
| commit | 26d6809940b681ef14fc809a583fa7259074c01d (patch) | |
| tree | 6fb5bc52ff9c9c67ec961c8e6f48e09b327f699b /doc/source | |
| parent | 377cb2a15db578bc61f72c3f8d092599d7a44519 (diff) | |
Add a bla about compilation requirements (courtesy of @he2ss)
Diffstat (limited to 'doc/source')
| -rw-r--r-- | doc/source/installation.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/source/installation.rst b/doc/source/installation.rst index 383d0f0..fb68ccd 100644 --- a/doc/source/installation.rst +++ b/doc/source/installation.rst | |||
| @@ -10,6 +10,11 @@ Depending on the system, we might already offer binary packages. | |||
| 10 | You can check our :doc:`download`. In that case you only need to activate | 10 | You can check our :doc:`download`. In that case you only need to activate |
| 11 | the extension inside your ``php.ini`` and to configure it. | 11 | the extension inside your ``php.ini`` and to configure it. |
| 12 | 12 | ||
| 13 | Requirements | ||
| 14 | ^^^^^^^^^^^^ | ||
| 15 | |||
| 16 | The only dependency (at least on Debian) to compile Snuffleupagus is | ||
| 17 | `php7.0-dev <https://packages.debian.org/search?keywords=php7.0-dev>`_ or onwards. | ||
| 13 | 18 | ||
| 14 | Quickstart | 19 | Quickstart |
| 15 | ^^^^^^^^^^ | 20 | ^^^^^^^^^^ |