diff options
| author | Emilio Jesus Gallego Arias | 2019-03-01 19:29:56 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-03-01 19:29:56 +0100 |
| commit | 74016bb28f1176aa9dce5f897f434729c2c99c93 (patch) | |
| tree | f7e5e12da6ed839d040b93643ce2a646a8644148 /dev | |
| parent | ae998e3049cd581d21c4fe0e8e18466ed9131546 (diff) | |
| parent | e0961f413c5c1ef9418bd86a517704b1dd1f063f (diff) | |
Merge PR #9677: Update coqdev.el to use -topfile
Reviewed-by: ejgallego
Diffstat (limited to 'dev')
| -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) |