Lines Matching defs:run
23 (define-key keymap "\C-c\C-r" 'dol-run-hets-r)
25 (define-key keymap "\C-c\C-u" 'dol-run-hets-g)
26 (define-key keymap "\C-c\C-c" 'dol-run-hets-g))
273 (defun dol-run-hets (&rest opt)
278 (let* ((run-option " ")
280 (outbuf (get-buffer-create "*hets-run*")))
285 (dolist (current opt run-option)
286 (setq run-option (concat run-option current " "))))
287 (setq hets-command (concat dol-hets-program run-option "\"" dol-hets-file-name "\""))
329 (defun dol-run-hets-r (&rest opt)
335 (setq run-option-r nil)
337 (setq run-option-r dol-hets-options))
342 (setq run-option-r (concat run-option-r " " option2))
343 (dol-run-hets run-option-r)
346 (defun dol-run-hets-g ()
350 (dol-run-hets-r "-g")
382 ;; show the message from hets compile direct on *hets-run* buffer
385 (unless (equal (buffer-name) "*hets-run*")
387 (pop-to-buffer "*hets-run*")
437 (pop-to-buffer "*hets-run*")
464 (if (member (get-buffer "*hets-run*") (buffer-list))
480 ;; switch to hets-run window to jump to next error message
482 (pop-to-buffer "*hets-run*")
522 (run-hooks 'dol-mode-hook)