From e0961f413c5c1ef9418bd86a517704b1dd1f063f Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Fri, 1 Mar 2019 14:23:29 +0100
Subject: Update coqdev.el to use -topfile

PG would do it by default but since we override coq-prog-args it
doesn't.
---
 dev/tools/coqdev.el | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'dev')

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)
 
-- 
cgit v1.2.3