More feedback on version errors

JasonGross · Jan 27, 2025 · 29d62d5 · 29d62d5
1 parent c54cd72
commit 29d62d5
Showing 1 changed file with 4 additions and 8 deletions.
diff --git a/coq_tools/coq_version.py b/coq_tools/coq_version.py
@@ -174,16 +174,12 @@ def get_coqc_coqlib(coqc_prog, **kwargs):
 
 
 def get_coqc_version(coqc_prog, **kwargs):
-    (stdout, _stderr), _rc = subprocess_Popen_memoized(
+    (stdout, stderr), _rc = subprocess_Popen_memoized(
         [coqc_prog, "-q", "-v", *get_boot_noinputstate_args(coqc_prog, **kwargs)], stderr=subprocess.PIPE, **kwargs
     )
-    return (
-        util.normalize_newlines(
-            util.s(stdout).replace("The Coq Proof Assistant, version ", "").replace("The Rocq Prover, version ", "")
-        )
-        .replace("\n", " ")
-        .strip()
-    )
+    return util.normalize_newlines(
+        util.s(stdout).replace("The Coq Proof Assistant, version ", "").replace("The Rocq Prover, version ", "")
+    ).replace("\n", " ").strip() or util.normalize_newlines(util.s(stderr))
 
 
 def get_coqtop_version(coqtop_prog, **kwargs):