.. _general-install:

Install
=======

  * Download the latest Idris 2 JVM release from `releases page <https://github.com/mmhelloworld/idris-jvm/releases/latest>`_.
  * Extract the archive and add ``idris2`` launcher script directory ``<EXTRACTED_DIRECTORY_ROOT>/exec`` to ``PATH``.
  * Create an environment variable ``IDRIS2_PREFIX`` pointing to ``<EXTRACTED_DIRECTORY_ROOT>/env``