diff third_party/tectonic/BUILD @ 247:70f2a3dafc1c

[build] Bundle offline Tectonic runtime Co-authored-by: Copilot <[email protected]>
author MrJuneJune <me@mrjunejune.com>
date Mon, 03 Aug 2026 20:20:06 -0700
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/third_party/tectonic/BUILD	Mon Aug 03 20:20:06 2026 -0700
@@ -0,0 +1,15 @@
+load(":runtime.bzl", "tectonic_runtime")
+
+tectonic_runtime(
+    name = "runtime",
+    binary = "@tectonic_linux_x86_64//:tectonic",
+    cache_archive = "runtime-cache.tar.gz",
+    fontconfig = "fonts.conf",
+    license = "LICENSE",
+    notices = "THIRD_PARTY_NOTICES.md",
+    target_compatible_with = [
+        "@platforms//cpu:x86_64",
+        "@platforms//os:linux",
+    ],
+    visibility = ["//visibility:public"],
+)