diff options
| author | Emilio Jesus Gallego Arias | 2018-06-09 01:14:24 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-06-09 01:14:24 +0200 |
| commit | ded7ac52847670a6f4f51671e2101a4fdd13a29e (patch) | |
| tree | e609b0401e17fd61dff56060a43c42b0e70fe6ff /doc | |
| parent | 8fd1904d8bed254f04b39ba5d6067915b85e36b6 (diff) | |
| parent | 871a9e65009990963c12359531ea2beeacb7386d (diff) | |
Merge PR #7515: gitlab: build sphinx doc in separate job
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/tools/coqrst/repl/coqtop.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/tools/coqrst/repl/coqtop.py b/doc/tools/coqrst/repl/coqtop.py index aeadce4c4a..3ff00eaaf3 100644 --- a/doc/tools/coqrst/repl/coqtop.py +++ b/doc/tools/coqrst/repl/coqtop.py @@ -41,10 +41,13 @@ class CoqTop: the ansicolors module) :param args: Additional arugments to coqtop. """ + BOOT = True + if os.getenv('COQBOOT') == "no": + BOOT = False self.coqtop_bin = coqtop_bin or os.path.join(os.getenv('COQBIN', ""), "coqtop") if not pexpect.utils.which(self.coqtop_bin): raise ValueError("coqtop binary not found: '{}'".format(self.coqtop_bin)) - self.args = (args or []) + ["-boot", "-color", "on"] * color + self.args = (args or []) + ["-boot"] * BOOT + ["-color", "on"] * color self.coqtop = None def __enter__(self): |