Bug#671583: proofgeneral: byte compile warnings not fatal to install

2012-05-07 Thread Hendrik Tews
It'd be good if byte compiler warnings were not setup to be fatal when installing, ie. don't set byte-compile-error-on-warn. [...] Of course that also raises the matter whether a byte compile should be done with "emacs -q -no-site-file" to keep out packaged add-ons like Tha

Bug#671583: proofgeneral: byte compile warnings not fatal to install

2012-05-04 Thread Kevin Ryde
Package: proofgeneral Version: 4.2~pre120411-2 Severity: wishlist File: /usr/lib/emacsen-common/packages/install/proofgeneral It'd be good if byte compiler warnings were not setup to be fatal when installing, ie. don't set byte-compile-error-on-warn. It's very rare a byte compiler warning is anyt