diff options
Diffstat (limited to 'coq/coq-system.el')
| -rw-r--r-- | coq/coq-system.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/coq/coq-system.el b/coq/coq-system.el index e3164644..68d036f1 100644 --- a/coq/coq-system.el +++ b/coq/coq-system.el @@ -547,9 +547,11 @@ variable." (let* ((contents (with-current-buffer proj-file-buf (buffer-string))) (options (coq--read-options-from-project-file contents)) (proj-file-name (buffer-file-name proj-file-buf)) - (proj-file-dir (file-name-directory proj-file-name))) + (proj-file-dir (file-name-directory proj-file-name)) + (proj-file-local-dir (or (file-remote-p proj-file-dir 'localname) + proj-file-dir))) (unless avoidargs (setq coq-prog-args (coq--extract-prog-args options))) - (unless avoidpath (setq coq-load-path (coq--extract-load-path options proj-file-dir))) + (unless avoidpath (setq coq-load-path (coq--extract-load-path options proj-file-local-dir))) (let ((msg (cond ((and avoidpath avoidargs) "Coqtop args and load path") |