This emerge fails with the wrong number of arguments passed to called-interactively-p. The output of the end of the emerge is below. I have emacs 24.1 emerged with USE="-*". emacs --batch --no-site-file -q -eval '(setq load-path (append (mapcar (lambda (d) (concat "/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1/" (symbol-name d))) (quote (acl2 ccc coq hol98 isar lego pgshell phox generic lib ))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn t))' -f batch-byte-compile isar/isabelle-system.el In toplevel form: isar/isabelle-system.el:295:49:Error: called-interactively-p called with 1 argument, but accepts only 0 make[1]: *** [isar/isabelle-system.elc] Error 1 make[1]: Leaving directory `/var/tmp/portage/app-emacs/proofgeneral-4.1/work/ProofGeneral-4.1' make: *** [compile] Error 2 * ERROR: app-emacs/proofgeneral-4.1 failed (compile phase): * emake failed ...
Created attachment 321198 [details] the output of emerge -pqv proofgeneral
emerge -pqv proofgeneral output: [ebuild N ] app-emacs/proofgeneral-4.1 emerge --info proofgeneral output: Portage 2.1.11.1 (default/linux/amd64/10.0, gcc-4.6.3, glibc-2.15-r2, 3.4.0-gentooapl-2.1 x86_64) ================================================================= System Settings ================================================================= System uname: Linux-3.4.0-gentoothr-2.1-x86_64-Intel-R-_Core-TM-2_Duo_CPU_T9600_@_2.80GHz-with-gentoo-2.1 Timestamp of tree: Mon, 13 Aug 2012 00:45:01 +0000 app-shells/bash: 4.2_p29 dev-java/java-config: 2.1.12 dev-lang/python: 2.6.8, 2.7.3-r2, 3.1.5, 3.2.3-r1 dev-util/cmake: 2.8.8-r3 dev-util/pkgconfig: 0.26 sys-apps/baselayout: 2.1-r1 sys-apps/openrc: 0.10.3 sys-apps/sandbox: 2.5 sys-devel/autoconf: 2.13, 2.69 sys-devel/automake: 1.10.3, 1.11.5, 1.12.1 sys-devel/binutils: 2.22-r1 sys-devel/gcc: 4.3.4, 4.4.7, 4.5.3-r2, 4.6.3 sys-devel/gcc-config: 1.7.3 sys-devel/libtool: 2.4.2 sys-devel/make: 3.82-r3 sys-kernel/linux-headers: 3.4 (virtual/os-headers) sys-libs/glibc: 2.15-r2 Repositories: gentoo x-portage ACCEPT_KEYWORDS="amd64 ~amd64" ACCEPT_LICENSE="* -@EULA dlj-1.1 Broadcom" CBUILD="x86_64-pc-linux-gnu" CFLAGS="-march=native -O2 -pipe -fomit-frame-pointer" CHOST="x86_64-pc-linux-gnu" CONFIG_PROTECT="/etc /usr/share/gnupg/qualified.txt /var/lib/hsqldb" CONFIG_PROTECT_MASK="${EPREFIX}/etc/gconf /etc/ca-certificates.conf /etc/env.d /etc/fonts/fonts.conf /etc/gconf /etc/gentoo-release /etc/revdep-rebuild /etc/sandbox.d /etc/terminfo /etc/texmf/language.dat.d /etc/texmf/language.def.d /etc/texmf/updmap.d /etc/texmf/web2c" CXXFLAGS="-march=native -O2 -pipe -fomit-frame-pointer" DISTDIR="/usr/portage/distfiles" FCFLAGS="-O2 -pipe" FEATURES="assume-digests binpkg-logs config-protect-if-modified distlocks ebuild-locks fixlafiles news parallel-fetch parse-eapi-ebuild-head protect-owned sandbox sfperms splitdebug strict unknown-features-warn unmerge-logs unmerge-orphans userfetch" FFLAGS="-O2 -pipe" GENTOO_MIRRORS="http://distfiles.gentoo.org" LDFLAGS="-Wl,-O1 -Wl,--as-needed" MAKEOPTS="-j3" PKGDIR="/usr/portage/packages" PORTAGE_CONFIGROOT="/" PORTAGE_RSYNC_OPTS="--recursive --links --safe-links --perms --times --compress --force --whole-file --delete --stats --human-readable --timeout=180 --exclude=/distfiles --exclude=/local --exclude=/packages" PORTAGE_TMPDIR="/var/tmp" PORTDIR="/usr/portage" PORTDIR_OVERLAY="/usr/local/portage" SYNC="rsync://rsync.namerica.gentoo.org/gentoo-portage" USE="#autotrace #color #enables #hardware #image #power #quantum #use (brought 32 X a acl acpi alsa amd64 as automatically) autotrace bash-completion berkdb bitmaps bzip2 capabilities caps cli control convert cracklib crypt cscope cups cxx depth directfb dri dvd emacs fftw file fontconfig for formats fortran fourier gdbm gnutls gpm graphics hddtemp iconv imagemagick images imap in ipv6 jpeg jpeg2 jpeg2k kpathsea kvm lcms lib linux lm_sensors management mmx modules monitors mudflap multilib nat ncurses nls non-root nptl nsplugin ntp opengl openmp pam pcre png pppd privilege, q32 raw readline running secure-delete session specifically sse sse2 sse4 ssl ssse3 support svg tcpd threads tiff to transforms truetype unicode user vector with wmf xcb xinerama xml zlib" ALSA_CARDS="ali5451 als4000 atiixp atiixp-modem bt87x ca0106 cmipci 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 cgi cgid 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" CALLIGRA_FEATURES="kexi words flow plan sheets stage tables krita karbon braindump" CAMERAS="ptp2" COLLECTD_PLUGINS="df interface irq load memory rrdtool swap syslog" ELIBC="glibc" GPSD_PROTOCOLS="ashtech aivdm earthmate evermore fv18 garmin garmintxt gpsclock itrax mtk3301 nmea ntrip navcom oceanserver oldstyle oncore rtcm104v2 rtcm104v3 sirf superstar2 timing tsip tripmate tnt ubx" INPUT_DEVICES="evdev" KERNEL="linux" LCD_DEVICES="bayrad cfontz cfontz633 glk hd44780 lb216 lcdm001 mtxorb ncurses text" LIBREOFFICE_EXTENSIONS="presenter-console presenter-minimizer" PHP_TARGETS="php5-3" PYTHON_TARGETS="python3_2 python2_7" RUBY_TARGETS="ruby18 ruby19" USERLAND="GNU" VIDEO_CARDS="nvidia" XTABLES_ADDONS="quota2 psd pknock lscan length2 ipv4options ipset ipp2p iface geoip fuzzy condition tee tarpit sysrq steal rawnat logmark ipmark dhcpmac delude chaos account" Unset: CPPFLAGS, CTARGET, EMERGE_DEFAULT_OPTS, INSTALL_MASK, LANG, LC_ALL, LINGUAS, PORTAGE_BUNZIP2_COMMAND, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS, USE_PYTHON build.log is attached
Created attachment 321200 [details] the relevant build.log file
(In reply to comment #3) > Created attachment 321200 [details] > the relevant build.log file Line 6 of your log: > * Emacs version: 23.1.1 You should use "eselect emacs" to select Emacs 24 as the active version. Alternatively, update slot 23 to the newest version ("emerge --update app-editors/emacs:23"); proofgeneral-4.1 should also work with Emacs 23.4. Closing as invalid, as Emacs 23.1 is no longer in the Portage tree. Please reopen if the problem persists with Emacs 23.4 or 24.1.
That works. Thanks.
