diff options
| author | Gaëtan Gilbert | 2019-05-24 14:37:54 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-05-24 14:37:54 +0200 |
| commit | f2753cbb1f2aee24dfd7f231d5285e2c6ce12abd (patch) | |
| tree | 8cf77944d37f994192ea26a7aca400f184d4fd1a | |
| parent | 11b8b33f1d7d7fe3f29c83745cc2c06b121a3fb0 (diff) | |
Update coqdev-setup-proofgeneral for dune
| -rw-r--r-- | dev/tools/coqdev.el | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/dev/tools/coqdev.el b/dev/tools/coqdev.el index b89ae67a82..5f9f326750 100644 --- a/dev/tools/coqdev.el +++ b/dev/tools/coqdev.el @@ -78,11 +78,7 @@ Specifically `camldebug-command-name' and `ocamldebug-command-name'." Note that this function is executed before _Coqproject is read if it exists." (let ((dir (coqdev-default-directory))) (when dir - (unless coq-prog-args - (setq coq-prog-args - `("-coqlib" ,dir - "-topfile" ,buffer-file-name))) - (setq-local coq-prog-name (concat dir "bin/coqtop"))))) + (setq-local coq-prog-name (concat dir "_build/default/dev/shim/coqtop-prelude"))))) (add-hook 'hack-local-variables-hook #'coqdev-setup-proofgeneral) (defvar coqdev-ocamldebug-command "dune exec dev/dune-dbg" |