<div dir="ltr"><p dir="ltr">Sorry now sending to the list. Email quoted below.</p><p>From that I see the easiest way is to use the latest sid debian unstable package and it's dependencies. It would even work on Ubuntu.</p>
<p>I'll try this route and report back if I succeeded to run Agda interpreter on my netbook.</p><p>Wojciech<br></p>
<div class="gmail_quote">On 19 Aug 2013 21:16, "Wojciech Meyer" <<a href="mailto:wojciech.meyer@gmail.com" target="_blank">wojciech.meyer@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<p dir="ltr">Yes, but still I am not able to compile it on my netbook. Maybe looking at Debian package patches would help.</p>
<div class="gmail_quote">On 19 Aug 2013 21:00, "Nils Anders Danielsson" <<a href="mailto:nad@cse.gu.se" target="_blank">nad@cse.gu.se</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
On 2013-08-15 01:01, Wojciech Meyer wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I'm trying to get Agda working on my Samsung chromebook. I got to the<br>
point where I have ghci trunk working, but I am stuck at getting Agda<br>
trunk to work with ghc I compiled (and the dependent packages). This is<br>
needed for the interactive Emacs mode.<br>
</blockquote>
<br>
The Agda mode no longer uses GHCi (as of version 2.3.2).<br>
<br>
-- <br>
/NAD<br>
</blockquote></div>
</blockquote></div>
</div>