<div dir="ltr"><div><div>I had some problems with installing Agda 2.4.2.<br><br>I am using Ubuntu 14.04 as a virtual machine on Windows 7 PC host.<br></div><br>The compilation process almost stopped at the compilation step [173 of 271]. It seemed to freeze the virtual machine which has 1.5G of memory.<br>Then I gave 1G memory more to the machine, then it worked. <br><br></div><div>However, 2.5G of memory seems insufficient for another Ubuntu virtual machine on Mac Air. The compilation proceeds a little bit more, but it fails finally with a kind of &quot;out of memory&quot; around step [250 of 271]:<br><br></div><div>&quot;...<br>cabal: Error: some packages failed to install:<br>Agda-2.4.2 failed during the building phase. The excpetion was:<br></div><div>ExitFailure 9<br>This may be due to an out-of-memory condition.&quot;<br></div><div><br></div><div>The problem is I cannot give more memory to the virtual machine because the mac machine has only 4G of memory. <br></div><div><br></div><div>I am wondering why so much memory is necessary to compile Agda 2.4.2?<br><br></div><div>Gyesik<br><br><br></div><div><br></div><div><br></div></div>