2020-05-20 13:23:04 +03:00
|
|
|
.. _ref-sect-envvars:
|
|
|
|
|
|
|
|
|
|
*********************
|
|
|
|
|
Environment Variables
|
|
|
|
|
*********************
|
|
|
|
|
|
2021-02-28 17:18:19 +03:00
|
|
|
Idris 2 recognises a number of environment variables, to decide where to look
|
|
|
|
|
for packages, external libraries, code generators, etc. It currently recognises,
|
|
|
|
|
in approximately the order you're likely to need them:
|
|
|
|
|
|
|
|
|
|
* ``EDITOR`` - Sets the editor used in REPL :e command
|
|
|
|
|
* ``IDRIS2_CG`` - Sets which code generator to use when compiling programs
|
|
|
|
|
* ``IDRIS2_PACKAGE_PATH`` - Lists the directories where Idris2 looks for packages,
|
|
|
|
|
in addition to the defaults (which are under the ``IDRIS2_PREFIX`` and in the
|
|
|
|
|
``depends`` subdirectory of the current working directory).
|
|
|
|
|
Directories are separated by a ``:``, or a ``;`` on Windows
|
|
|
|
|
* ``IDRIS2_PATH`` - Places Idris2 looks for import files, in addition to the
|
|
|
|
|
imports in packages
|
|
|
|
|
* ``IDRIS2_DATA`` - Places Idris2 looks for its data files. These are typically
|
|
|
|
|
support code for code generators.
|
|
|
|
|
* ``IDRIS2_LIBS`` - Places Idris2 looks for libraries used by code generators.
|
|
|
|
|
* ``IDRIS2_PREFIX`` - Gives the Idris2 installation prefix
|
|
|
|
|
* ``CHEZ`` - Sets the location of the ``chez`` executable used in Chez codegen
|
|
|
|
|
* ``RACKET`` - Sets the location of the ``racket`` executable used in Racket codegen
|
|
|
|
|
* ``RACKET_RACO`` - Sets the location of the ``raco`` executable used in Racket codegen
|
|
|
|
|
* ``GAMBIT_GSI`` - Sets the location of the ``gsi`` executable used in Gambit codegen
|
|
|
|
|
* ``GAMBIT_GSC`` - Sets the location of the ``gsc`` executable used in Gambit codegen
|
|
|
|
|
* ``GAMBIT_GSC_BACKEND`` - Sets the ``gsc`` executable backend argument
|
|
|
|
|
* ``IDRIS2_CC`` - Sets the location of the C compiler executable used in RefC codegen
|
|
|
|
|
* ``CC`` - Sets the location of the C compiler executable used in RefC codegen
|
|
|
|
|
* ``NODE`` - Sets the location of the ``node`` executable used in Node codegen
|
|
|
|
|
* ``PATH`` - used to search for executables in certain codegens
|
