[Agda] Bundlling Agda with agda-writer

Nils Anders Danielsson nad at cse.gu.se
Tue Sep 8 13:05:37 CEST 2015


On 2015-09-08 11:41, Andrew Pitts wrote:
> Oh! Agda uses environment variables. Is this documented anywhere? (a
> quick search for Agda_datadir on http://wiki.portal.chalmers.se/agda
> yielded no results). It would be good if it were.

Lots of stuff is missing from the wiki, there's more in the CHANGELOG.
Also in this case:

   Technical details (perhaps relevant to those who build Agda
   packages):

   The include path now always contains a directory <DATADIR>/lib/prim,
   and this directory is supposed to contain a subdirectory Agda
   containing a file Primitive.agda.

   The standard location of <DATADIR> is system- and
   installation-specific.  E.g., in a cabal --user installation of
   Agda-2.3.4 on a standard single-ghc Linux system it would be
   $HOME/.cabal/share/Agda-2.3.4 or something similar.

   The location of the <DATADIR> directory can be configured at
   compile-time using Cabal flags (--datadir and --datasubdir).
   The location can also be set at run-time, using the Agda_datadir
   environment variable.

-- 
/NAD


More information about the Agda mailing list