Add the ZArith errors to the black-listing

clarus · clarus · commit b317e0660bea · 2021-05-02T12:57:03.000+02:00
diff --git a/status.rb b/status.rb
@@ -23,8 +23,10 @@ def initialize(name, version, status, dry_without_coq_output, deps_output, packa
     with_download_error = [deps_output, package_output].any? do |output|
       output.include?(download_error_message)
     end
+    zarith_reinstall_error_message = "ocamlfind: Package zarith is already installed"
+    with_zarith_reinstall_error = deps_output.include?(zarith_reinstall_error_message)
     @status =
-      black_listed || with_dependencies_resolution_timeout || with_download_error ?
+      black_listed || with_dependencies_resolution_timeout || with_download_error || with_zarith_reinstall_error ?
         "BlackList" :
         status
   end
