This fix was helpful but unfortunately means that developers are more likely to introduce bugs unless they run

   make clean; make check

before committing. E.g., I have just tried to make a pre-release but I now get the error

In toplevel form:
coq/coq.el:1040:67:Error: reference to free variable `coq-project-filename'

(Hendrik, I think this is yours?)

 - David

On 22/05/13 21:40, Hendrik Tews wrote:

I spend some time to find a fix for tickets #458. The problem is
that special-display-regexps is obsolete in 24.3, while its
replacement, display-buffer-alist was only introduced in 24.1 and
not fully functional before 24.3. Writing compatible code for
emacs 23 and 24 without obsolete warning therefore requires
explicit version checks.

I therefore suggest that we change to display-buffer-alist when
we drop support for Emacs 23.

To fix #458, warnings should be non-fatal when users compile
Proof General for their local emacs. I just committed the
necessary changes in the Makefile. For developers, there is now
the new target 'check' that retains the old behavior, i.e.,
stopping compilation on every byte-compilation warning.


ProofGeneral-devel mailing list

ProofGeneral-devel mailing list

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

Reply via email to