diff options
| author | Gaëtan Gilbert | 2019-03-01 14:23:29 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-03-01 14:23:29 +0100 |
| commit | e0961f413c5c1ef9418bd86a517704b1dd1f063f (patch) | |
| tree | e4892566b261522ab7fcbcf3d0130c2c26f2b66a /dev/tools/coqdev.el | |
| parent | ed5685a2afaa9c429d1f16950317363d9b0bc1a8 (diff) | |
Update coqdev.el to use -topfile
PG would do it by default but since we override coq-prog-args it
doesn't.
Diffstat (limited to 'dev/tools/coqdev.el')
| -rw-r--r-- | dev/tools/coqdev.el | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/dev/tools/coqdev.el b/dev/tools/coqdev.el index ec72f96509..c6687b9731 100644 --- a/dev/tools/coqdev.el +++ b/dev/tools/coqdev.el @@ -80,9 +80,8 @@ Note that this function is executed before _Coqproject is read if it exists." (when dir (unless coq-prog-args (setq coq-prog-args - `("-coqlib" ,dir "-R" ,(concat dir "plugins") - "Coq" "-R" ,(concat dir "theories") - "Coq"))) + `("-coqlib" ,dir + "-topfile" ,buffer-file-name))) (setq-local coq-prog-name (concat dir "bin/coqtop"))))) (add-hook 'hack-local-variables-hook #'coqdev-setup-proofgeneral) |