[agda] agda2-mode not found and further errors
Mandy Martino
tesleft at hotmail.com
Sat Jan 2 03:49:10 CET 2016
Hi,
i meet error can not find agda2-mode when install again,
then i follow link below
http://www.cse.chalmers.se/~ulfn/darcs/Agda2/_darcs/pristine-old/src/full/Interaction/emacs-mode/README-agda2-mode.txt
martin at ubuntu:~/agda/agda-2.4.2.3$ agda --versionAgda version 2.4.2.3
and download https://github.com/emacs-pe/agda2-mode
to ubuntu 12 , but it can not compile since do not have cask even if apt-get update
martin at ubuntu:~/agda/agda2-mode/agda2-mode$ make/bin/sh: 1: cask: not foundmake: cask: Command not foundmake: Nothing to be done for `build'.martin at ubuntu:~/agda/agda2-mode/agda2-mode$ sudo apt-get install caskReading package lists... DoneBuilding dependency tree Reading state information... DoneE: Unable to locate package caskmartin at ubuntu:~/agda/agda2-mode/agda2-mode$
then i gedit ~/.emacs
(add-to-list 'load-path "/home/martin/agda/agda2-mode/agda2-mode/")(autoload 'agda2-mode "agda2-mode" "Agda2 mode." t)(add-to-list 'auto-mode-alist '("\\.l?agda$" . agda2-mode))
and then load-library in emacs and agda2-mode again, it return no cl-lib, then i create cl-lib.el in /home/martin/agda/agda2-mode/agda2-mode/
http://stackoverflow.com/questions/20678847/cannot-load-cl-lib-at-emacs-startup
https://github.com/emacs-mirror/emacs/blob/master/lisp/emacs-lisp/cl-lib.el
then it return error emacs symbol's function definition is void
Regards,
Martin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20160102/6d9a1a61/attachment.html
More information about the Agda
mailing list