[Agda] Bundlling Agda with agda-writer

[Andrew Pitts]

On 8 September 2015 at 10:18, Nils Anders Danielsson <nad at cse.gu.se> wrote:
> On 2015-09-08 10:50, Andrej Bauer wrote:
> I don't know how agda-writer communicates with Agda. If it uses
> agda --interaction, then it needs to find the agda binary. The binary,
> in turn, looks for files (lib/prim/Agda/Primitive.agda, Agda.css, etc.)
> in a certain directory that can be configured by setting the
> Agda_datadir environment variable.

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.

Andy