Menu
▾
▴
#8 3 installation issues
I just installed Agda-1.0.2 from source on Ubuntu Feisty for AMD64. I note the following 3 installation issues.
1. "make check" fails
2. Emacs elisp files installed to wrong path
3. Incorrect permissions on some installed files
If "make check" fails, then shouldn't it be fixed or removed? Maybe it could be organised so that it fails on a dummy first test with a reasonable message e.g. "tests disabled" without having to do any major work.
The elisp files (agda-mode.el, haskell-indent.el, and haskell-mode.el) for emacs are installed in /emacs/site-lisp, clearly ignoring the specified prefix, and must be moved manually.
These elisp files have the executable bit set on them unecessarily.
The Agda binary, installed in /usr/local/lib/EmacsAgda/bin/emacsagda-070924 was installed with perms 700 (presumably it used my umask), instead of 755 (expected) whereas most other files are installed with "more usual" permissions (not using the umask?), e.g. 644.
