<div dir="ltr">Yeah, I'm changing things up a bit. You should be able to use program args and -iDIR in the same way as include dirs. But please go ahead a try the new library management system (work in progress). See <a href="https://github.com/agda/agda/blob/master/doc/release-notes/2-4-4.txt#L18-L82">https://github.com/agda/agda/blob/master/doc/release-notes/2-4-4.txt#L18-L82</a>.<div><br></div><div>/ Ulf</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Oct 5, 2015 at 2:34 PM, Andrés Sicard-Ramírez <span dir="ltr"><<a href="mailto:asr@eafit.edu.co" target="_blank">asr@eafit.edu.co</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 5 October 2015 at 07:01, Jesper Cockx <<a href="mailto:Jesper@sikanda.be">Jesper@sikanda.be</a>> wrote:<br>
</span><span class="">> While working with Agda in Emacs, I usually switch include directories by<br>
> editing "Agda2 include dirs" in the Agda2 group, but after installing the<br>
> latest development agda I cannot find this entry any more.<br>
<br>
</span>The `agda2-include-dirs` variable was removed from the Emacs mode<br>
<br>
<a href="https://github.com/agda/agda/commit/94373a2221bc1ee6e3b4a8a46b8201b5a4b6e267" rel="noreferrer" target="_blank">https://github.com/agda/agda/commit/94373a2221bc1ee6e3b4a8a46b8201b5a4b6e267</a><br>
<div class="HOEnZb"><div class="h5"><br>
<br>
--<br>
Andrés<br>
_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</div></div></blockquote></div><br></div>