[Agda] Development version of agda-mode doesn't recognize symlinks?
jan.stolarek at p.lodz.pl
Tue Nov 26 13:26:27 CET 2013
I just installed latest development version of Agda. I have agda-mode set up in Emacs, but when I
try to load agda source file I get an error in AgdaInfo minibuffer:
You tried to load
which defines the module Agda.Primitive. However, according to the
include path this module should be defined in
1. ~/.cabal/ is a symlink to ~/.ghc-sandbox/.cabal/
2. ~/.ghc-sandbox is a symlink to /dane/sandboxes/ghc/active/
3. /dane/sandboxes/ghc/active/ is a symlink to a directory containing installation of GHC and
Haskell libraries (/dane/sandboxes/ghc/7.6.3 in this case).
So Agda installation is logically located in /home/killy/.cabal/share/Agda-2.3.3/, but in reality
(if you follow symlinks) it is located in /dane/sandboxes/ghc/7.6.3/.cabal/share/Agda-2.3.3/
It seems that symlinks are confusing agda-mode. Any way to solve that problem?
More information about the Agda