Portage 2.1.6_rc1 (default/linux/x86/2008.0, gcc-4.1.2-asneeded, glibc-2.8_p20080602-r0, 2.6.27-gentoo-r4 i686) ================================================================= System uname: Linux-2.6.27-gentoo-r4-i686-Quad-Core_AMD_Opteron-tm-_Processor_2350-with-glibc2.0 Timestamp of tree: Tue, 25 Nov 2008 14:05:01 +0000 distcc 3.0 i686-pc-linux-gnu [disabled] ccache version 2.4 [disabled] app-shells/bash: 3.2_p48 dev-java/java-config: 1.3.7, 2.1.6-r1 dev-lang/python: 2.5.2-r8 dev-python/pycrypto: 2.0.1-r6 dev-util/ccache: 2.4-r8 sys-apps/baselayout: 2.0.0 sys-apps/openrc: 0.3.0-r1 sys-apps/sandbox: 1.2.18.1-r3 sys-devel/autoconf: 2.13, 2.63 sys-devel/automake: 1.4_p6, 1.5, 1.6.3, 1.7.9-r1, 1.8.5-r3, 1.9.6-r2, 1.10.2 sys-devel/binutils: 2.19 sys-devel/gcc-config: 1.4.0-r4 sys-devel/libtool: 2.2.6a virtual/os-headers: 2.6.27-r2 ACCEPT_KEYWORDS="x86 ~x86" CBUILD="i686-pc-linux-gnu" CFLAGS="-O2 -pipe" CHOST="i686-pc-linux-gnu" CONFIG_PROTECT="/etc /opt/glftpd/etc /opt/glftpd/ftp-data /opt/openfire/resources/security/ /opt/openjms/config /usr/kde/3.5/env /usr/kde/3.5/share/config /usr/kde/3.5/shutdown /usr/share/X11/xkb /usr/share/config /var/bind /var/lib/hsqldb /var/phxd /var/qmail/alias /var/qmail/control /var/spool/torque /var/vpopmail/etc" CONFIG_PROTECT_MASK="/etc/ca-certificates.conf /etc/env.d /etc/env.d/java/ /etc/eselect/postgresql /etc/fonts/fonts.conf /etc/gconf /etc/gentoo-release /etc/php/apache2-php5/ext-active/ /etc/php/cgi-php5/ext-active/ /etc/php/cli-php5/ext-active/ /etc/revdep-rebuild /etc/splash /etc/terminfo /etc/texmf/language.dat.d /etc/texmf/language.def.d /etc/texmf/updmap.d /etc/texmf/web2c /etc/udev/rules.d" CXXFLAGS="-O2 -pipe" DISTDIR="/usr/portage-distfiles" FEATURES="distlocks parallel-fetch protect-owned sandbox sfperms strict unmerge-orphans userfetch" GENTOO_MIRRORS="http://linux.rz.ruhr-uni-bochum.de/download/gentoo-mirror/ http://ftp.uni-erlangen.de/pub/mirrors/gentoo" INSTALL_MASK=" /usr/share/doc /usr/share/man /usr/share/info" LDFLAGS="-Wl,-O1" MAKEOPTS="-j14" PKGDIR="/usr/portage-packages" PORTAGE_COMPRESS="" PORTAGE_RSYNC_OPTS="--recursive --links --safe-links --perms --times --compress --force --whole-file --delete --stats --timeout=180 --exclude=/distfiles --exclude=/local --exclude=/packages" PORTAGE_TMPDIR="/var/tmp" PORTDIR="/usr/portage" SYNC="rsync://rsync.gentoo.org/gentoo-portage" USE="acl berkdb bzip2 cli cracklib crypt cups dri fortran gdbm gpm iconv ipv6 isdnlog midi mudflap ncurses nls nptl nptlonly openmp pam pcre perl pppd python readline reflection session spl ssl sysfs tcpd unicode x86 xorg zlib" ALSA_CARDS="ali5451 als4000 atiixp atiixp-modem bt87x ca0106 cmipci emu10k1 emu10k1x ens1370 ens1371 es1938 es1968 fm801 hda-intel intel8x0 intel8x0m maestro3 trident usb-audio via82xx via82xx-modem ymfpci" ALSA_PCM_PLUGINS="adpcm alaw asym copy dmix dshare dsnoop empty extplug file hooks iec958 ioplug ladspa lfloat linear meter mmap_emul mulaw multi null plug rate route share shm softvol" APACHE2_MODULES="actions alias auth_basic authn_alias authn_anon authn_dbm authn_default authn_file authz_dbm authz_default authz_groupfile authz_host authz_owner authz_user autoindex cache dav dav_fs dav_lock deflate dir disk_cache env expires ext_filter file_cache filter headers include info log_config logio mem_cache mime mime_magic negotiation rewrite setenvif speling status unique_id userdir usertrack vhost_alias" ELIBC="glibc" INPUT_DEVICES="keyboard mouse evdev" KERNEL="linux" LCD_DEVICES="bayrad cfontz cfontz633 glk hd44780 lb216 lcdm001 mtxorb ncurses text" USERLAND="GNU" VIDEO_CARDS="fbdev glint i810 intel mach64 mga neomagic nv r128 radeon savage sis tdfx trident vesa vga via vmware voodoo" Unset: CPPFLAGS, CTARGET, EMERGE_DEFAULT_OPTS, FFLAGS, LANG, LC_ALL, LINGUAS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS, PORTDIR_OVERLAY # qlist sci-mathematics/agda /usr/lib/EmacsAgda/bin/emacsagda-081123 /usr/lib/EmacsAgda/bin/emacsagda /usr/bin/agdachecker /usr/bin/emacsagda /usr/bin/agda /emacs/site-lisp/agda-mode.el /emacs/site-lisp/haskell-indent.el /emacs/site-lisp/haskell-mode.el P.S.: I think haskell-mode is already being installed by app-emacs/haskell-mode ?
> /emacs/site-lisp/agda-mode.el > /emacs/site-lisp/haskell-indent.el > /emacs/site-lisp/haskell-mode.el The ebuild properly calls elisp-install, so I don't understand how it's possible that these files end up outside of /usr/share/emacs/site-lisp/. > P.S.: I think haskell-mode is already being installed by > app-emacs/haskell-mode ? It is, haskell-mode-2.4_p*. The bundle haskell-mode in Agda is version 1.42 from 2002, so this really shouldn't be installed. (But the question is if agda-mode will properly work with the current haskell-mode.)
Created attachment 173878 [details, diff] Proposed patch for agda-1.0.2-r1.ebuild OK, I've looked at it more closely. Attached patch will fix the problems addressed by this bug report: - Don't install files in /emacs - Install only agda-mode, but not the bundled haskell-mode files - Depend on app-emacs/haskell-mode (with USE=emacs) However, agda-mode.el will only work with Emacs 21. With Emacs 22 or later; it fails during byte-compilation: agda-mode.el:403:28:Error: Symbol's function definition is void: cl-push * elisp-compile: batch-byte-compile failed [ !! ] ... and also during runtime for function "agda-restart": error in process filter: Symbol's function definition is void: cl-push The function in question, "cl-push", was removed from Emacs 6 years ago: 2002-09-27 Stefan Monnier <monnier@cs.yale.edu> * emacs-lisp/cl-macs.el: Use the new usage-in-docstring syntax. (cl-push, cl-pop): Remove. Use pop and push throughout the file instead.
Created attachment 174306 [details, diff] Updated patch for ebuild O.K., here is an updated patch. I've dropped Emacs byte-compilation, so it will install cleanly with any Emacs version. For the run-time issue with >=emacs-22, I'd suggest that we wait for upstream to fix it or for an user to report a bug, whatever comes earlier.
Thanks for the patch, now applied in cvs. agda seems to be moved for agda-2, which I've seen in the haskell overlay. @haskell: feel free to bump or update the current agda ebuild.
