Commit 3b6e9a24 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

emacs mode: propose "why3 ide" instead of "why3ide"

parent 1b49eb9d
......@@ -136,14 +136,14 @@
(indent-line-to cur-indent)
(indent-line-to 0)))))))
; compile will propose "why3ide file" is no Makefile is present
; compile will propose "why3 ide file" is no Makefile is present
(add-hook 'why3-mode-hook
(lambda ()
(unless (file-exists-p "Makefile")
(set (make-local-variable 'compile-command)
(let ((file (file-name-nondirectory buffer-file-name)))
(format "why3ide %s" file))))))
(format "why3 ide %s" file))))))
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment