Opened 13 years ago

Closed 12 years ago

#378 closed enhancement (wontfix)

Makefile "make" should detect wrong bytecode file version and rebuild

Reported by: Robin Green Owned by: David Aspinall
Priority: minor Milestone: PG-Emacs-4.2
Component: 2:pg-emacs Keywords:
Cc:

Description

I am using emacs 23.2 exclusively - no other versions of emacs. Whenever I try to load a .v file, I get: 

Loading coq...
File mode specification error: (error "Proof General was compiled for GNU Emacs 23.1 but running on GNU Emacs 23.2: please run \"make clean; make\"")

I rebuilt and reinstalled ProofGeneral from scratch - same result!

Change History (4)

comment:1 Changed 13 years ago by Robin Green

Ah, the error message was right - I *did* need to do 'make clean'!

The Makefile should probably detect this automatically somehow, though.

comment:2 Changed 13 years ago by David Aspinall

Priority: critical → minor
Status: new → accepted
Summary: Says it's compiled for 23.1 when it's actually compiled for 23.2 → Makefile "make" should detect wrong bytecode file version and rebuild
Type: defect → enhancement

Thanks for report. Good idea to improve the Makefile, I've changed the summary.

Would welcome a patch...

comment:3 Changed 13 years ago by David Aspinall

Milestone: PG-Emacs-4.1 → PG-Emacs-4.2

comment:4 Changed 12 years ago by David Aspinall

Resolution: → wontfix
Status: accepted → closed

Giving up on this in absence of any proposed patch. Many software packages require "make clean" to be sure of linking against correct libraries, though not perfect it isn't unusual.

Note: See TracTickets for help on using tickets.