Try to workaround Windows read-only bug

leanprover-community · May 25, 2020 · 6e06675 · 6e06675
1 parent 1547db5
commit 6e06675
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/mathlibtools/lib.py b/mathlibtools/lib.py
@@ -7,6 +7,7 @@
 import re
 import os
 import stat
+import platform
 import subprocess
 from datetime import datetime
 from typing import Iterable, Union, List, Tuple, Optional
@@ -588,6 +589,11 @@ def upgrade_mathlib(self) -> None:
                 return
             self.rev = self.repo.commit().hexsha
         else:
+            # Try to work around a Windows bug
+            if platform.system() == 'Windows':
+                pack = self.mathlib_folder/'.git'/'objects'/'pack'
+                for path in pack.glob('*.idx'):
+                    os.chmod(str(path), stat.S_IWRITE)
             try:
                 shutil.rmtree(str(self.mathlib_folder))
             except FileNotFoundError: