bug#21491: Bootstrap problem with let-when-compile vs cl-progv

[Stefan Monnier]

Package: Emacs
Version: 25.0.50


Try:

    % make
    % rm lisp/subr.elc lisp/emacs-lisp/lisp-mode.elc src/bootstrap-emacs
    % make

If all goes "well", you'll see a failure:

   Loading <blabla>/lisp/emacs-lisp/lisp-mode.el (source)...
   Eager macro-expansion failure: (void-function cl-progv)
   Eager macro-expansion failure: (void-function cl-progv)
   Symbol's function definition is void: cl-progv

This is because let-when-compile is defined using cl-progv in a file
(subr.el) which doesn't require cl-lib.


        Stefan




In GNU Emacs 25.0.50.1 (x86_64-unknown-linux-gnu, GTK+ Version 3.16.4)
 of 2015-07-16 on alfajor
Repository revision: d77aac4c731ca916149c1f3561796a3871ea8f0a
Windowing system distributor 'The X.Org Foundation', version 11.0.11702000
System Description:     Debian GNU/Linux testing (stretch)

Configured using:
 'configure -C --enable-checking --enable-check-lisp-object-type
 'CFLAGS=-Wall -g3 -Og -Wno-pointer-sign'
 PKG_CONFIG_PATH=/home/monnier/lib/pkgconfig'

Configured features:
XPM JPEG TIFF GIF PNG RSVG IMAGEMAGICK SOUND GPM DBUS GCONF GSETTINGS
NOTIFY GNUTLS LIBXML2 FREETYPE M17N_FLT LIBOTF XFT ZLIB
TOOLKIT_SCROLL_BARS GTK3 X11

Important settings:
  value of $LANG: fr_CH.UTF-8
  locale-coding-system: utf-8-unix

Major mode: InactiveMinibuffer

Minor modes in effect:
  dired-omit-mode: t
  shell-dirtrack-mode: t
  c-electric-flag: t
  diff-auto-refine-mode: t
  electric-pair-mode: t
  url-handler-mode: t
  global-reveal-mode: t
  reveal-mode: t
  auto-insert-mode: t
  savehist-mode: t
  minibuffer-electric-default-mode: t
  global-eldoc-mode: t
  electric-quote-mode: t
  electric-indent-mode: t
  mouse-wheel-mode: t
  global-prettify-symbols-mode: t
  menu-bar-mode: t
  file-name-shadow-mode: t
  global-font-lock-mode: t
  auto-composition-mode: t
  auto-encryption-mode: t
  auto-compression-mode: t
  line-number-mode: t
  transient-mark-mode: t

Recent messages:
Auto-saving...done
Saving file /home/monnier/src/emacs/trunk/lisp/subr.el...
Wrote /home/monnier/src/emacs/trunk/lisp/subr.el
Saving file /home/monnier/src/emacs/trunk/lisp/subr.el...
Wrote /home/monnier/src/emacs/trunk/lisp/subr.el
Saving file /home/monnier/src/emacs/trunk/lisp/subr.el...
Wrote /home/monnier/src/emacs/trunk/lisp/subr.el
Mark set [2 times]
Saving file /home/monnier/src/emacs/trunk/lisp/subr.el...
Wrote /home/monnier/src/emacs/trunk/lisp/subr.el

Load-path shadows:
/home/monnier/src/emacs/elpa/packages/ada-mode/ada-ref-man hides 
/home/monnier/src/emacs/elpa/packages/ada-ref-man/ada-ref-man
/home/monnier/src/emacs/elpa/packages/ada-mode/ada-mode hides 
/home/monnier/src/emacs/work/lisp/progmodes/ada-mode
/home/monnier/src/emacs/elpa/packages/ada-mode/ada-stmt hides 
/home/monnier/src/emacs/work/lisp/progmodes/ada-stmt
/home/monnier/src/emacs/elpa/packages/ada-mode/ada-prj hides 
/home/monnier/src/emacs/work/lisp/progmodes/ada-prj
/home/monnier/src/emacs/elpa/packages/ada-mode/ada-xref hides 
/home/monnier/src/emacs/work/lisp/progmodes/ada-xref
/home/monnier/src/emacs/elpa/packages/landmark/landmark hides 
/home/monnier/src/emacs/work/lisp/obsolete/landmark
/home/monnier/src/emacs/elpa/packages/crisp/crisp hides 
/home/monnier/src/emacs/work/lisp/obsolete/crisp
/home/monnier/src/emacs/work/lisp/emacs-lisp/cl-generic hides 
/home/monnier/src/emacs/elpa/packages/cl-generic/cl-generic

Features:
(tabify imenu man log-view qp lisp-mnt ffap sort mail-extr emacsbug
reposition perl-mode log-edit message sendmail rfc822 mml mml-sec
mm-decode mm-bodies mm-encode mail-parse rfc2231 rfc2047 rfc2045
ietf-drums mail-utils mailheader pcvs-util bug-reference add-log vc-src
vc-sccs vc-svn vc-cvs vc-rcs vc-dir bat-mode arc-mode archive-mode
wdired ls-lisp dired-aux dired-x hippie-exp srecode/document
semantic/doc srecode/semantic semantic/senator srecode/extract
srecode/insert srecode/filters srecode/find srecode/map srecode/ctxt
srecode/compile srecode/args ede/speedbar ede/files ede ede/detect
ede/base ede/auto ede/source eieio-speedbar eieio-custom
srecode/dictionary srecode/table srecode informat texinfo css-mode smie
conf-mode korea-util completion find-cmd find-dired dabbrev smerge-mode
whitespace epa-file epa derived epg bbdb-com mailabbrev bbdb timezone
battery autorevert filenotify xscheme unsafep trace testcover shadow
scheme re-builder profiler inf-lisp ielm pp gmm-utils ert ewoc elp
edebug cl-indent eieio-opt speedbar sb-image dframe warnings cal-french
diary-lib diary-loaddefs cal-move make-mode gud shell grep compile etags
xref semantic/bovine/c semantic/db-mode semantic/decorate/include
semantic/decorate/mode semantic/decorate pulse semantic/bovine/c-by
semantic/lex-spp semantic/idle semantic/bovine/gcc semantic/dep
semantic/bovine semantic/analyze/refs semantic/db-find semantic/db-ref
semantic/analyze semantic/sort semantic/scope semantic/analyze/fcn
semantic/db eieio-base semantic/ctxt semantic/format ezimage
semantic/tag-ls semantic/find semantic/util-modes semantic/util semantic
semantic/tag semantic/lex semantic/fw mode-local cedet hideif cpp
cmacexp vc-bzr cc-mode cl-seq cc-fonts cc-guess cc-menus cc-cmds
cc-styles cc-align cc-engine cc-langs cc-vars cc-defs debug executable
copyright ox-latex ox-icalendar ox-html ox-ascii ox-publish ox
org-protocol org-mouse org-mobile org-agenda org-indent org-feed
org-crypt org-capture org-attach org-id cus-edit cus-start cus-load
wid-edit org-element org-rmail org-mhe org-irc org-info org-gnus
org-docview doc-view jka-compr image-mode dired org-bibtex bibtex
org-bbdb org-w3m org org-macro org-footnote org-pcomplete pcomplete
org-list org-faces org-entities org-version ob-emacs-lisp ob ob-tangle
ob-ref ob-lob ob-table ob-exp org-src ob-keys ob-comint comint
ansi-color ring ob-core ob-eval org-compat org-macs org-loaddefs
format-spec find-func cal-menu calendar cal-loaddefs misearch
multi-isearch vc vc-dispatcher vc-git diff-mode filecache server
noutline outline easy-mmode flyspell ispell checkdoc thingatpt load-dir
elec-pair url-handlers url-parse auth-source eieio byte-opt bytecomp
byte-compile cl-extra seq cconv eieio-core gnus-util time-date mm-util
help-fns help-mode mail-prsvr password-cache url-vars reveal autoinsert
proof-site proof-autoloads cl-macs cl gv cl-loaddefs pcase cl-lib
pg-vars savehist minibuf-eldef disp-table finder-inf advice info
easymenu package epg-config bbdb-loaddefs agda2 mule-util tooltip eldoc
electric uniquify ediff-hook vc-hooks lisp-float-type mwheel x-win
term/common-win x-dnd tool-bar dnd fontset image regexp-opt fringe
tabulated-list newcomment elisp-mode lisp-mode prog-mode register page
menu-bar rfn-eshadow timer select scroll-bar mouse jit-lock font-lock
syntax font-core frame cl-generic cham georgian utf-8-lang misc-lang
vietnamese tibetan thai tai-viet lao korean japanese eucjp-ms cp51932
hebrew greek romanian slovak czech european ethiopic indian cyrillic
chinese charscript case-table epa-hook jka-cmpr-hook help simple abbrev
minibuffer cl-preloaded nadvice loaddefs button faces cus-face macroexp
files text-properties overlay sha1 md5 base64 format env code-pages mule
custom widget hashtable-print-readable backquote dbusbind gfilenotify
dynamic-setting system-font-setting font-render-setting move-toolbar gtk
x-toolkit x multi-tty make-network-process emacs)

Memory information:
((conses 8 869980 185720)
 (symbols 24 43715 2) (miscs 20 21550 1872) (strings 16 130145 17212)
 (string-bytes 1 4367134)
 (vectors 8 98629) (vector-slots 4 2995817 222834) (floats 8 1075 1072)
 (intervals 28 90786 950)
 (buffers 520 131) (heap 1024 625265 210356))