From 83aeac983ae37d7db34389bc42c4127aa97f4800 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 25 Nov 2010 16:05:23 +0000
Subject: Fix compile problem with smie code on Emacs <=23.3

---
 coq/coq.el | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/coq/coq.el b/coq/coq.el
index c6baccbe..ea57d6ed 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -19,11 +19,19 @@
   (require 'outline)
   (require 'newcomment)
   (require 'etags)
+  (unless (proof-try-require 'smie)
+    (defvar smie-indent-basic nil))     ; smie
   (defvar coq-time-commands nil)        ; defpacustom
   (defvar coq-auto-compile-vos nil)     ; defpacustom
   (defvar coq-use-editing-holes nil)    ; defpacustom
   (proof-ready-for-assistant 'coq))     ; compile for coq
 
+; (unless                                 ; for smie indentation
+;    (proof-try-require 'smie)
+; can't get conditional declaration to work here
+  (declare-function smie-bnf->prec2 "smie")
+  (declare-function smie-rule-parent-p "smie")
+
 (require 'proof)
 (require 'coq-local-vars)               ;
 (require 'coq-syntax)                   ; sets coq-prog-name
-- 
cgit v1.2.3