[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