-.. _installation:
Installation
-------------
+============
Dependencies
-============
+------------
-Pypol requires at least Python3.4. Users will first need to install Integer Set Library (isl). The source files of isl are available as a tarball or a git repository. Both are available `here`_ .
+LinPy requires Python version 3.4 or above to work.
+LinPy's one mandatory dependency is isl version 0.12 or 0.13 (it may work with other versions of isl, but this has not been tested).
+isl can be downloaded `here <http://freshmeat.net/projects/isl/>`_ or preferably, using your favorite distribution's package manager.
+For Ubuntu, the command to run is::
-Source
-======
+ sudo apt-get install libisl-dev
+
+For Arch Linux, run::
+
+ sudo pacman -S isl
+
+Apart from isl, there are two optional dependencies that will maximize the use of LinPy's functions: `SymPy <http://sympy.org/en/index.html>`_ and `matplotlib <http://matplotlib.org/>`_.
+Please consult the `SymPy download page <http://sympy.org/en/download.html>`_ and `matplotlib installation instructions <http://matplotlib.org/faq/installing_faq.html>`_ to install these libraries.
+
+pip
+---
-add link to pypi pypol documentation.
+.. warning::
-Git
-===
+ The project has not been published in PyPI yet, so this section is not relevant.
+ Instead, see the :ref:`source` section to install LinPy.
-add link to git repo
+LinPy can be installed using pip with the command::
+ sudo pip install linpy
.. _here: http://freshmeat.net/projects/isl/
+
+.. _download page: http://sympy.org/en/download.html
+
+.. _link: http://matplotlib.org/faq/installing_faq.html
+
+.. _source:
+
+Source
+------
+
+Alternatively, LinPy can be installed from source.
+First, clone the public git repository::
+
+ git clone https://scm.cri.ensmp.fr/git/linpy.git
+
+and build and install as usual with::
+
+ sudo python3 setup.py install