[Agda] Bundlling Agda with agda-writer

[Philipp Hausmann]

On 09/08/2015 11:41 AM, Andrew Pitts wrote:
> 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.
>
This environment variable is actually not Agda specific but comes from
Cabal itself, so it should be mentioned in the Cabal documentation. A
quick google
search turned up nothing though... Anyhow, I can recommend looking at
how leksah does build binaries, I found it helpful
when building binaries for some of my projects:

https://github.com/leksah/leksah/blob/master/osx/launcher.sh#L50-L53

Philipp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
Url : http://lists.chalmers.se/pipermail/agda/attachments/20150908/a6367713/signature.bin