(setq the::emacs-type
  (let ((case-fold-search t))
    (cond ((or (string-match "xemacs" emacs-version)
               (string-match "lucid" emacs-version))
           (cond ((string-match "^20\." emacs-version) 'xemacs20)
                 ((string-match "^21\." emacs-version) 'xemacs21)
                 (t 'xemacs19)))
          ((string-match "^21\." emacs-version) 'emacs20)
          ((string-match "^20\." emacs-version) 'emacs20)
          ((string-match "^19\." emacs-version) 'emacs19)
          ((string-match "^18\." emacs-version) 'emacs18)
          ((boundp 'epoch::version) 'epoch)
          (t
           (error
            "%s is not supported by this version of the emacs-lisp interface."
            emacs-version)))))

(setq load-path
  (cons "/home/ml3/smv/"
        load-path))

(autoload 'smv-mode "smv-mode" "SMV specifications editing mode." t)
(setq auto-mode-alist 
      (append  (list '("\\.smv$" . smv-mode) '("\\.ord$" . smv-ord-mode))
          auto-mode-alist))
(setq completion-ignored-extensions
      (cons ".ord" (cons ".opt" completion-ignored-extensions)))

;;;; Of course, the file smv-mode.el must be in one of the directories in your
;;;; `load-path'. C-h v load-path to see the list, or `cons' your own path:
;;;; (setq load-path (cons "/the/full/path/to-your/dir" load-path))
;;;;
;;;; To turn the font-lock on by default, put in .emacs

(if (or (eq the::emacs-type 'xemacs20)
        (eq the::emacs-type 'xemacs21))
  (setq-default font-lock-auto-fontify t)
  (global-font-lock-mode t))

;;;; In GNU emacs faces `font-lock-preprocessor-face' and 
;;;; `font-lock-variable-name-face' may not be predefined.
;;;; ;;; Make faces that are not in gnu-emacs font-lock by default
(defvar font-lock-preprocessor-face 'font-lock-preprocessor-face)
(defvar font-lock-variable-name-face 'font-lock-variable-name-face)
(make-face 'font-lock-preprocessor-face)
(make-face 'font-lock-variable-name-face)

(setq smv-command "/home/ml3/smv/smv")