third_party/musl: delete
This is no longer used after the migration to toolchain_cc.
Change-Id: Ib0c1a80be4aa80c4f08d9b2927ceabd5bb4b4148
Reviewed-on: https://review.monogon.dev/c/monogon/+/4284
Tested-by: Jenkins CI
Reviewed-by: Tim Windelschmidt <tim@monogon.tech>
diff --git a/build/bazel/third_party.MODULE.bazel b/build/bazel/third_party.MODULE.bazel
index a7251fe..b530fe5 100644
--- a/build/bazel/third_party.MODULE.bazel
+++ b/build/bazel/third_party.MODULE.bazel
@@ -144,16 +144,6 @@
urls = ["https://github.com/intel/Intel-Linux-Processor-Microcode-Data-Files/archive/refs/tags/microcode-%s.tar.gz" % INTEL_UCODE_VERSION],
)
-MUSL_VERSION = "1.1.24"
-
-http_archive(
- name = "musl",
- build_file = "//third_party/musl:musl.bzl",
- integrity = "sha256-E3DJqBKyzyp9koAlEMygBYzDfmanvt1wBR8KNAFQIqM=",
- strip_prefix = "musl-" + MUSL_VERSION,
- urls = ["https://www.musl-libc.org/releases/musl-%s.tar.gz" % MUSL_VERSION],
-)
-
UTIL_LINUX_VERSION = "2.36.2"
http_archive(
diff --git a/third_party/musl/BUILD.bazel b/third_party/musl/BUILD.bazel
deleted file mode 100644
index e02833c..0000000
--- a/third_party/musl/BUILD.bazel
+++ /dev/null
@@ -1,37 +0,0 @@
-genrule(
- name = "musl",
- srcs = [
- "@musl//:all",
- ],
- outs = [
- # C Runtimes
- "crt1.o",
- "crti.o",
- "crtn.o",
- "rcrt1.o",
- "Scrt1.o",
-
- # Static musl libc
- "libc.a",
-
- # Placeholder archives
- "libcrypt.a",
- "libdl.a",
- "libm.a",
- "libpthread.a",
- "libresolv.a",
- "librt.a",
- "libutil.a",
- "libxnet.a",
- ],
- cmd = """
- OUT=$$PWD/$(RULEDIR)
- (
- export CFLAGS="-static-pie -fPIC"
- cd {path}
- ./configure --prefix=$$OUT --syslibdir=$$OUT --libdir=$$OUT
- make -j $$(nproc) install-libs
- ) > /dev/null
- """.format(path = package_relative_label("@musl//:all").workspace_root),
- visibility = ["//visibility:public"],
-)
diff --git a/third_party/musl/musl.bzl b/third_party/musl/musl.bzl
deleted file mode 100644
index 9fbdeaf..0000000
--- a/third_party/musl/musl.bzl
+++ /dev/null
@@ -1 +0,0 @@
-filegroup(name = "all", srcs = glob(["**"]), visibility = ["//visibility:public"])