Lines Matching +defs:hets +defs:program
8 ;; Contact: hets-users@informatik.uni-bremen.de
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))
268 (defvar hets-program nil)
270 (defvar dol-hets-options nil
271 "*the additional options for running hets.")
273 (defun dol-run-hets (&rest opt)
274 "Run hets process to compile the current DOL file."
279 (dol-hets-file-name (buffer-file-name))
280 (outbuf (get-buffer-create "*hets-run*")))
281 (if hets-program
282 (setq dol-hets-program hets-program)
283 (setq dol-hets-program "hets"))
287 (setq hets-command (concat dol-hets-program run-option "\"" dol-hets-file-name "\""))
296 (insert hets-command "\n")
302 (compilation-mode "hets-compile")
319 (proc (start-process-shell-command "hets-compile" outbuf
320 hets-command)))
329 (defun dol-run-hets-r (&rest opt)
330 "Run hets process with options (from dol-hets-options) to compile the
336 (if dol-hets-options
337 (setq run-option-r dol-hets-options))
343 (dol-run-hets run-option-r)
346 (defun dol-run-hets-g ()
347 "Run hets process with -g and other options (from variable dol-hets-options)
350 (dol-run-hets-r "-g")
353 ;; sentinel and filter of asynchronous process of hets
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*")
431 ;; also functions with old hets-program?
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*")