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

    (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))))


          (t
           (let ((print-progress-message
		  (if regenerate? 
		      '(format t "Call back to emacs to tell it to generate Specware again.~%")
		    ""))
		 (callback-to-emacs
                  ;; If we are regenerating, have the lisp image tell emacs to invoke generate-compile-build-specware4 
