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:
Hi,
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.
Bye,
Hendrik
_______________________________________________
ProofGeneral-devel mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
_______________________________________________
ProofGeneral-devel mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
