<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 12pt;
font-family:·s²Ó©úÅé
}
--></style></head>
<body class='hmmessage'><div dir='ltr'><font size="3" style="font-size:12pt;" color="#000000">Hi,</font><div><br></div><div>i meet error can not find agda2-mode when install again,</div><div><br></div><div>then i follow link below</div><div><br></div><div><a href="http://www.cse.chalmers.se/~ulfn/darcs/Agda2/_darcs/pristine-old/src/full/Interaction/emacs-mode/README-agda2-mode.txt" target="_blank">http://www.cse.chalmers.se/~ulfn/darcs/Agda2/_darcs/pristine-old/src/full/Interaction/emacs-mode/README-agda2-mode.txt</a><br><div><font size="3" style="font-size:12pt;" color="#000000"><br></font></div><div><font color="#000000"><div>martin@ubuntu:~/agda/agda-2.4.2.3$ agda --version</div><div>Agda version 2.4.2.3</div><div style="font-size: 12pt;"><br></div><div style="font-size: 12pt;">and download <a href="https://github.com/emacs-pe/agda2-mode" target="_blank" style="font-size: 12pt;">https://github.com/emacs-pe/agda2-mode</a></div><div style="font-size: 12pt;"><br></div><div style="font-size: 12pt;">to ubuntu 12 , but it can not compile since do not have cask even if apt-get update</div><div style="font-size: 12pt;"><br></div><div style="font-size: 12pt;"><div style="font-size: 12pt;">martin@ubuntu:~/agda/agda2-mode/agda2-mode$ make</div><div style="font-size: 12pt;">/bin/sh: 1: cask: not found</div><div style="font-size: 12pt;">make: cask: Command not found</div><div style="font-size: 12pt;">make: Nothing to be done for `build'.</div><div style="font-size: 12pt;">martin@ubuntu:~/agda/agda2-mode/agda2-mode$ sudo apt-get install cask</div><div style="font-size: 12pt;">Reading package lists... Done</div><div style="font-size: 12pt;">Building dependency tree </div><div style="font-size: 12pt;">Reading state information... Done</div><div style="font-size: 12pt;">E: Unable to locate package cask</div><div style="font-size: 12pt;">martin@ubuntu:~/agda/agda2-mode/agda2-mode$ </div></div></font><font color="#000000"><div style="font-size: 12pt;"><br></div><div style="font-size: 12pt;">then i gedit ~/.emacs</div><div style="font-size: 12pt;"><br></div><div style="font-size: 12pt;"><div style="font-size: 12pt;">(add-to-list 'load-path "/home/martin/agda/agda2-mode/agda2-mode/")</div><div style="font-size: 12pt;">(autoload 'agda2-mode "agda2-mode" "Agda2 mode." t)</div><div style="font-size: 12pt;">(add-to-list 'auto-mode-alist '("\\.l?agda$" . agda2-mode))</div></div><div style="font-size: 12pt;"><br></div><div style="font-size: 12pt;">and then load-library in emacs and agda2-mode again, it return no cl-lib, then i create cl-lib.el in <span style="font-size: 12pt;">/home/martin/agda/agda2-mode/agda2-mode/</span></div></font><font color="#000000"><div style="font-size: 12pt;"><br></div><div style="font-size: 12pt;"><a href="http://stackoverflow.com/questions/20678847/cannot-load-cl-lib-at-emacs-startup" target="_blank">http://stackoverflow.com/questions/20678847/cannot-load-cl-lib-at-emacs-startup</a></div></font><div><br></div><a href="https://github.com/emacs-mirror/emacs/blob/master/lisp/emacs-lisp/cl-lib.el" target="_blank">https://github.com/emacs-mirror/emacs/blob/master/lisp/emacs-lisp/cl-lib.el</a><br><br>then it return error emacs symbol's function definition is void <br><br><div>Regards,</div><div><br></div><div>Martin </div></div></div> </div></body>
</html>