Replace the musl submodule with a download script

Author: tgross35

.gitignore

@@ -14,3 +14,7 @@ iai-home
 *.bk
 *.rs.bk
 .#*
+
+# Manually managed
+crates/musl-math-sys/musl
+

.gitmodules

@@ -93,6 +93,9 @@ CARGO_PROFILE_RELEASE_LTO=true run_intrinsics_test --release
 
 # Test libm
 
+# Prepare
+./ci/update-musl
+
 # Make sure a simple build works
 cargo check -p libm --no-default-features --target "$target"
 

ci/run.sh

@@ -0,0 +1,17 @@
+#!/bin/sh
+
+set -eux
+
+url=git://git.musl-libc.org/musl
+ref=c47ad25ea3b484e10326f933e927c0bc8cded3da
+dst=crates/musl-math-sys/musl
+
+if ! [ -d "$dst" ]; then
+    git clone "$url" "$dst" --single-branch --depth=1000
+fi
+
+git -C "$dst" fetch "$url" --depth=1
+git -C "$dst" checkout "$ref"
+
+
+