<div dir="ltr">You just need to put the path to the .agda-lib file in your .agda/libraries file.<div>No further installation should be required.<br><div><br></div><div>/ Ulf</div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Dec 8, 2016 at 9:09 PM, Sergei Meshveliani <span dir="ltr">&lt;<a href="mailto:mechvel@botik.ru" target="_blank">mechvel@botik.ru</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5">On Thu, 2016-12-08 at 22:43 +0300, Sergei Meshveliani wrote:<br>
&gt; On Thu, 2016-12-08 at 19:30 +0100, Ulf Norell wrote:<br>
&gt; &gt; Each commit of Agda contains a reference to the particular commit of<br>
&gt; &gt; the standard library<br>
&gt; &gt; that it has been tested with. To find out which one you can do the<br>
&gt; &gt; following (after checking<br>
&gt; &gt;<br>
&gt; &gt; out the commit of Agda that you are interested in):<br>
&gt; &gt;<br>
&gt; &gt;<br>
&gt; &gt; $ git submodule init<br>
&gt; &gt; Submodule &#39;std-lib&#39; (<a href="https://github.com/agda/agda-stdlib" rel="noreferrer" target="_blank">https://github.com/agda/agda-<wbr>stdlib</a>) registered<br>
&gt; &gt; for path &#39;std-lib&#39;<br>
&gt; &gt; $ git submodule update<br>
&gt; &gt; Cloning into &#39;std-lib&#39;...<br>
&gt; &gt; Submodule path &#39;std-lib&#39;: checked out<br>
&gt; &gt; &#39;<wbr>7220ca3ee025e9339aa8e5d11efcd0<wbr>69764e7977&#39;<br>
&gt; &gt; $ cd std-lib<br>
&gt; &gt; $ git status<br>
&gt; &gt; HEAD detached at 7220ca3<br>
&gt; &gt;<br>
&gt; &gt;<br>
&gt; &gt; So the commit of the standard library that works with the Agda commit<br>
&gt; &gt; I tested this on is<br>
&gt; &gt; 7220ca3. This is probably the easiest way for your users to get a<br>
&gt; &gt; compatible version of<br>
&gt; &gt; the standard library as well, saving them the trouble of keeping track<br>
&gt; &gt; of two commit hashes.<br>
&gt; &gt;<br>
&gt;<br>
&gt;<br>
&gt; I am trying to find out what is the whole installation process.<br>
&gt;<br>
&gt; For example, I have downloaded  agda-2.5.2-dc9ffae<br>
&gt; by running the commands<br>
&gt;<br>
&gt;   &gt; git clone <a href="https://github.com/agda/agda.git" rel="noreferrer" target="_blank">https://github.com/agda/agda.<wbr>git</a><br>
&gt;   &gt; cd agda<br>
&gt;   &gt; git checkout dc9ffae<br>
&gt;<br>
&gt; Then I install Agda by<br>
&gt;<br>
&gt;   &gt; cabal update<br>
&gt;   &gt; cabal install<br>
&gt;   &gt; agda-mode compile<br>
&gt;<br>
&gt; Then I need to download the needed Standard library version.<br>
&gt; To do this, I command<br>
&gt;<br>
&gt;   &gt; cd agda<br>
&gt;   &gt; git submodule init<br>
&gt;   Submodule &#39;std-lib&#39; (<a href="https://github.com/agda/agda-stdlib" rel="noreferrer" target="_blank">https://github.com/agda/agda-<wbr>stdlib</a>)<br>
&gt;   registered for path &#39;std-lib&#39;<br>
&gt;<br>
&gt;   &gt; git submodule update<br>
&gt;   Cloning into std-lib...<br>
&gt;   ...<br>
&gt;   Submodule path &#39;std-lib&#39;: checked out<br>
&gt;   &#39;<wbr>7220ca3ee025e9339aa8e5d11efcd0<wbr>69764e7977&#39;<br>
&gt;<br>
&gt;   &gt; cd std-lib<br>
&gt;<br>
&gt; Initially this directory was empty. And now is has the files of the<br>
&gt; needed library version.<br>
&gt; Right?<br>
&gt;<br>
&gt; To install the library, I command<br>
&gt;<br>
&gt;   &gt; cabal install<br>
<br>
<br>
</div></div>But there is not any .cabal file.<br>
And I have an impression that<br>
<br>
  &gt; git submodule update<br>
<br>
has already installed the needed library.<br>
<div class="HOEnZb"><div class="h5"><br>
------<br>
Sergei<br>
<br>
______________________________<wbr>_________________<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/<wbr>mailman/listinfo/agda</a><br>
</div></div></blockquote></div><br></div>