diff options
Diffstat (limited to 'phox/phox-extraction.el')
-rw-r--r-- | phox/phox-extraction.el | 6 |
1 files changed, 6 insertions, 0 deletions
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.") |