     filename))
 
 (require 'bridge)
+(require 'comint)
 
 (defun start-specware-build-buffer (&optional name)
   (interactive)


(defun run-specware-after-saving-lisp-image (output)
  (when (string-match saving-lisp-image-regexp output)
    (sit-for 1)
    (run-specware4))
  output)


    (setq *specware-build-buffer* (current-buffer)))

  (set-buffer *specware-build-buffer-name*)
  (add-hook 'comint-output-filter-functions 'run-specware-after-saving-lisp-image nil t)
  (install-bridge)
  (setq bridge-handlers '(("(" . emacs-eval-handler))))

