diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-01-05 18:22:46 -0500 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-01-14 14:39:53 -0500 |
commit | acc6177014ddb9b9eaaba537e59fabe056912419 (patch) | |
tree | 410319e8cacfabe4fb3f004aa20531609644660e /coq/coq-seq-compile.el | |
parent | ece7af6fc988d835de9b16fc1bb67f5762bb6aad (diff) |
Refactor the project file parsing code
Diffstat (limited to 'coq/coq-seq-compile.el')
-rw-r--r-- | coq/coq-seq-compile.el | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/coq/coq-seq-compile.el b/coq/coq-seq-compile.el index 0c1beae3..4fc56dc5 100644 --- a/coq/coq-seq-compile.el +++ b/coq/coq-seq-compile.el @@ -73,7 +73,8 @@ dependencies are absolute too and the simplified treatment of `coq-load-path-include-current' in `coq-include-options' won't break." (let ((coqdep-arguments - (nconc (coq-include-options lib-src-file coq-load-path) + ;; FIXME should this use coq-coqdep-prog-args? + (nconc (coq-include-options coq-load-path (file-name-directory lib-src-file) coq--pre-v85) (list lib-src-file))) coqdep-status coqdep-output) (if coq-debug-auto-compilation @@ -111,8 +112,8 @@ break." Display errors in buffer `coq-compile-response-buffer'." (message "Recompile %s" src-file) (let ((coqc-arguments - (nconc ;(coq-include-options src-file coq-load-path) - (coq-coqc-prog-args src-file coq-load-path) + (nconc + (coq-coqc-prog-args coq-load-path (file-name-directory src-file) coq--pre-v85) (list src-file))) coqc-status) (coq-init-compile-response-buffer |