From 34ec09678c21b2bf8be501c446ed0778624faa61 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 10 Sep 2009 21:41:39 +0000 Subject: Some fixes to requires etc --- phox/phox-extraction.el | 6 ++++++ phox/phox-outline.el | 2 ++ phox/phox-sym-lock.el | 2 ++ phox/phox.el | 1 + 4 files changed, 11 insertions(+) (limited to 'phox') diff --git a/phox/phox-extraction.el b/phox/phox-extraction.el index d81acde1..3ffbacbb 100644 --- a/phox/phox-extraction.el +++ b/phox/phox-extraction.el @@ -6,6 +6,12 @@ ;; note : program extraction is still experimental This file is very ;; dependant of the actual state of program extraction in phox. ;;--------------------------------------------------------------------------;; + +(require 'cl) +(eval-when (compile) + (defvar phox-prog-name nil) + (declare-function proof-shell-invisible-command (str))) + ;; configuration : (defvar phox-prog-orig "phox -pg" "original name of phox binary.") diff --git a/phox/phox-outline.el b/phox/phox-outline.el index 329e2421..56530ed8 100644 --- a/phox/phox-outline.el +++ b/phox/phox-outline.el @@ -3,6 +3,8 @@ ;; PARAMÉTRAGE du MODE outline ;;--------------------------------------------------------------------------;; +(eval-when-compile + (require 'outline)) (setq phox-outline-title-regexp "\\((\\*[ \t\n]*title =\\)") (setq phox-outline-section-regexp "\\((\\*\\*+\\)") diff --git a/phox/phox-sym-lock.el b/phox/phox-sym-lock.el index 38d93441..d29c03aa 100644 --- a/phox/phox-sym-lock.el +++ b/phox/phox-sym-lock.el @@ -14,6 +14,8 @@ ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the ;; GNU General Public License for more details. +(require 'proof-compat) ; compile warnings + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; History ;; diff --git a/phox/phox.el b/phox/phox.el index 4fdf21fe..44ab68b2 100644 --- a/phox/phox.el +++ b/phox/phox.el @@ -2,6 +2,7 @@ (require 'proof) ; load generic parts + ;; Adjust toolbar entries. (Must be done before proof-toolbar is ;; loaded). -- cgit v1.2.3