annotate third_party/tectonic/BUILD @ 267:a78f5986011f

discover bundled production runtimes Locate Bazel-packaged Copilot and Python binaries by stable suffix instead of hardcoding an external repository prefix. Co-authored-by: Copilot <[email protected]>
author MrJuneJune <me@mrjunejune.com>
date Fri, 07 Aug 2026 12:58:55 -0700
parents 70f2a3dafc1c
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
247
70f2a3dafc1c [build] Bundle offline Tectonic runtime
MrJuneJune <me@mrjunejune.com>
parents:
diff changeset
1 load(":runtime.bzl", "tectonic_runtime")
70f2a3dafc1c [build] Bundle offline Tectonic runtime
MrJuneJune <me@mrjunejune.com>
parents:
diff changeset
2
70f2a3dafc1c [build] Bundle offline Tectonic runtime
MrJuneJune <me@mrjunejune.com>
parents:
diff changeset
3 tectonic_runtime(
70f2a3dafc1c [build] Bundle offline Tectonic runtime
MrJuneJune <me@mrjunejune.com>
parents:
diff changeset
4 name = "runtime",
70f2a3dafc1c [build] Bundle offline Tectonic runtime
MrJuneJune <me@mrjunejune.com>
parents:
diff changeset
5 binary = "@tectonic_linux_x86_64//:tectonic",
70f2a3dafc1c [build] Bundle offline Tectonic runtime
MrJuneJune <me@mrjunejune.com>
parents:
diff changeset
6 cache_archive = "runtime-cache.tar.gz",
70f2a3dafc1c [build] Bundle offline Tectonic runtime
MrJuneJune <me@mrjunejune.com>
parents:
diff changeset
7 fontconfig = "fonts.conf",
70f2a3dafc1c [build] Bundle offline Tectonic runtime
MrJuneJune <me@mrjunejune.com>
parents:
diff changeset
8 license = "LICENSE",
70f2a3dafc1c [build] Bundle offline Tectonic runtime
MrJuneJune <me@mrjunejune.com>
parents:
diff changeset
9 notices = "THIRD_PARTY_NOTICES.md",
70f2a3dafc1c [build] Bundle offline Tectonic runtime
MrJuneJune <me@mrjunejune.com>
parents:
diff changeset
10 target_compatible_with = [
70f2a3dafc1c [build] Bundle offline Tectonic runtime
MrJuneJune <me@mrjunejune.com>
parents:
diff changeset
11 "@platforms//cpu:x86_64",
70f2a3dafc1c [build] Bundle offline Tectonic runtime
MrJuneJune <me@mrjunejune.com>
parents:
diff changeset
12 "@platforms//os:linux",
70f2a3dafc1c [build] Bundle offline Tectonic runtime
MrJuneJune <me@mrjunejune.com>
parents:
diff changeset
13 ],
70f2a3dafc1c [build] Bundle offline Tectonic runtime
MrJuneJune <me@mrjunejune.com>
parents:
diff changeset
14 visibility = ["//visibility:public"],
70f2a3dafc1c [build] Bundle offline Tectonic runtime
MrJuneJune <me@mrjunejune.com>
parents:
diff changeset
15 )