diff options
| author | Erik Martin-Dorel | 2019-08-21 10:48:33 +0200 |
|---|---|---|
| committer | GitHub | 2019-08-21 10:48:33 +0200 |
| commit | d53ded580e30d49e7a783280fd9ba96bc9c1c39c (patch) | |
| tree | 08a582677df7611dfdb2618666da36f11b4d40be | |
| parent | aa36785c6e7166da0720e05ba708cdf22687a9d9 (diff) | |
| parent | 4f46b3ff3c904663c99457fbe1ed1a63a5e739b2 (diff) | |
Merge pull request #438 from hendriktews/fix-vio2vo-8-10
coq-par-compile: fix 8.10 -schedule-vio2vo incompatibility
| -rw-r--r-- | coq/coq-par-compile.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/coq/coq-par-compile.el b/coq/coq-par-compile.el index ac2e82bf..c700533d 100644 --- a/coq/coq-par-compile.el +++ b/coq/coq-par-compile.el @@ -1482,7 +1482,9 @@ Lock the source file and start the coqdep background process" (get job 'src-file))) (message "vio2vo %s" (get job 'src-file)) (coq-par-start-process - coq-prog-name + ;; in 8.9.1 and before only coqtop accepts -schedule-vio2vo + ;; after change 103f59e only coqc accepts -schedule-vio2vo + (if (coq--post-v810) coq-compiler coq-prog-name) (nconc arguments (list "-schedule-vio2vo" "1" module)) 'coq-par-vio2vo-continuation job |