--- ./emacs/go-pvs.el.orig	2011-04-15 11:45:06.000000000 -0600
+++ ./emacs/go-pvs.el	2012-01-20 13:08:55.657877570 -0700
@@ -34,6 +34,8 @@
 	 'xemacs20)
 	((string-match "XEmacs 19" (emacs-version))
 	 'xemacs19)
+	((string-match "Emacs 24" (emacs-version))
+	 'emacs24)
 	((string-match "Emacs 23" (emacs-version))
 	 'emacs23)
 	((string-match "Emacs 22" (emacs-version))
--- ./Makefile.in.orig	2012-01-20 13:07:52.481808494 -0700
+++ ./Makefile.in	2012-01-20 13:10:10.316958316 -0700
@@ -132,6 +132,9 @@ emacsversion = $(shell expr "`$(EMACS) -
                             : '[^X]*\(X*Emacs [0-9][0-9]\)')
 
 
+ifeq ($(emacsversion),Emacs 24)
+EMACSSUBDIR = emacs24
+else
 ifeq ($(emacsversion),Emacs 23)
 EMACSSUBDIR = emacs23
 else
@@ -157,6 +160,7 @@ $(error "Unknown version of (X)Emacs: $(
 endif
 endif
 endif
+endif
 endif
 endif
 endif