 (defvar *specware-continue-form* nil)
 (defvar *last-specware-continue-form* nil)
 
-(defun continue-emacs-computation ()
+(defun continue-emacs-computation (process event)
   (let ((fm *specware-continue-form*))
     (setq *last-specware-continue-form* fm)
     (setq *specware-continue-form* nil)

	(slash-dir "/"))
    (run-specware4 root-dir)
    (sleep-for 2)
    (sw:eval-in-lisp (format "(namestring (specware::change-directory %S))" root-dir))
    (sw:eval-in-lisp (format "(specware::setenv \"SWPATH\" %S)"
			     (concat (sw::normalize-filename root-dir)
				     (if *windows-system-p* ";" ":")
				     slash-dir)))
    (sw:eval-in-lisp (format "(specware::setenv \"SPECWARE4\" %S)"
			     (sw::normalize-filename root-dir)))
    (sw:eval-in-lisp "#+allegro(sys::set-stack-cushion 10000000)
                      #-allegro()")
    (simulate-input-expression "(time (user::boot))")
    (continue-form-when-ready (`(build-specware4 (, root-dir))))))



;;;		 (rename-file  \"bin/specware2000-new.world\" \"bin/specware2000.world\")
;;;		 \"Wrote a new bin/specware2000.world\")
;;;	\"Failed to build a new world!\")")
  )

(defun bootstrap-specware4 (in-current-dir?)
  (interactive "P")
