license: include winpthreads and gcc licenses

Author: oscarbenjamin

bin/cibw_repair_wheel_licenses.py

@@ -84,14 +84,20 @@ def arg_to_paths(license_file_arg: str) -> tuple[Path, Path]:
         index1 = glob1_str.index('*')
         part1_glob = glob1_str[:index1]
         part2_glob = glob1_str[index1+1:]
-        path1_str = str(path1)
+        path1_str = str(path1).replace('\\', '/')
         if len(part2_glob) != 0:
             wildcard = path1_str[len(part1_glob):-len(part2_glob)]
         else:
             wildcard = path1_str[len(part1_glob):]
-        assert path1_str.startswith(part1_glob)
-        assert path1_str.endswith(part2_glob)
-        assert path1_str == part1_glob + wildcard + part2_glob
+        assert path1_str.startswith(part1_glob), (
+            f"{path1_str} does not start with {part1_glob}"
+        )
+        assert path1_str.endswith(part2_glob), (
+            f"{path1_str} does not end with {part2_glob}"
+        )
+        assert path1_str == part1_glob + wildcard + part2_glob, (
+            f"{path1_str} != {part1_glob} + {wildcard} + {part2_glob}"
+        )
         path2_str = glob2_str.replace('*', wildcard)
 
     return path1, Path(path2_str)

pyproject.toml

@@ -149,12 +149,21 @@ before-build = "pip install wheel delvewheel"
 repair-wheel-command = [
 """python bin/cibw_repair_wheel_licenses.py {wheel} \
     --license LGPL-3.0-or-later \
-    --license-file '.local/src/gmp-*/COPYING:python-flint.libs/gmp-*/COPYING' \
-    --license-file '.local/src/gmp-*/COPYING.LESSERv3:python-flint.libs/gmp-*/COPYING.LESSERv3' \
-    --license-file '.local/src/mpfr-*/COPYING:python-flint.libs/mpfr-*/COPYING' \
-    --license-file '.local/src/mpfr-*/COPYING.LESSER:python-flint.libs/mpfr-*/COPYING.LESSER' \
-    --license-file '.local/src/flint-*/COPYING:python-flint.libs/flint-*/COPYING' \
-    --license-file '.local/src/flint-*/COPYING.LESSER:python-flint.libs/flint-*/COPYING.LESSER' \
+    --license-file .local/src/gmp-*/COPYING:python-flint.libs/gmp-*/COPYING \
+    --license-file .local/src/gmp-*/COPYING.LESSERv3:python-flint.libs/gmp-*/COPYING.LESSERv3 \
+    --license-file .local/src/mpfr-*/COPYING:python-flint.libs/mpfr-*/COPYING \
+    --license-file .local/src/mpfr-*/COPYING.LESSER:python-flint.libs/mpfr-*/COPYING.LESSER \
+    --license-file .local/src/flint-*/COPYING:python-flint.libs/flint-*/COPYING \
+    --license-file .local/src/flint-*/COPYING.LESSER:python-flint.libs/flint-*/COPYING.LESSER \
+    \
+    --license "MIT AND BSD-3-Clause-Clear" \
+    --license-file wheels/winpthreads/COPYING:python-flint.libs/winpthreads/COPYING \
+    \
+    --license "GPL-3.0-or-later WITH GCC-exception-3.1 AND LGPL-2.1-or-later" \
+    --license-file wheels/gcc/COPYING3:python-flint.libs/gcc/COPYING3 \
+    --license-file wheels/gcc/COPYING.LIB:python-flint.libs/gcc/COPYING.LIB \
+    --license-file wheels/gcc/COPYING.RUNTIME:python-flint.libs/gcc/COPYING.RUNTIME \
 """,
+# Need license file for libgcc_s_seh-1.dll
 "delvewheel repair -w {dest_dir} {wheel} --add-path .local/bin",
 ]