| Leopold | bc93c2b | 2023-01-14 13:12:23 +0100 | [diff] [blame] | 1 | # Generic platform for Linux x86_64 targets. |
| 2 | platform( |
| 3 | name = "linux_amd64", |
| 4 | constraint_values = [ |
| 5 | "@platforms//os:linux", |
| 6 | "@platforms//cpu:x86_64", |
| 7 | ], |
| 8 | ) |
| 9 | |
| 10 | # EFI preboot environment for x86_64 machines. |
| 11 | platform( |
| 12 | name = "efi_amd64", |
| 13 | constraint_values = [ |
| Lorenz Brun | 5acd380 | 2023-08-29 23:15:06 +0200 | [diff] [blame^] | 14 | "@platforms//os:uefi", |
| Leopold | bc93c2b | 2023-01-14 13:12:23 +0100 | [diff] [blame] | 15 | "@platforms//cpu:x86_64", |
| 16 | ], |
| 17 | ) |
| 18 | |
| 19 | # Linux x86_64 platform with static linking |
| 20 | # (i.e. Metropolis node, scratch containers...). |
| 21 | platform( |
| 22 | name = "linux_amd64_static", |
| 23 | constraint_values = [ |
| 24 | "@platforms//os:linux", |
| 25 | "@platforms//cpu:x86_64", |
| 26 | "//build/platforms/linkmode:musl-static", |
| 27 | ], |
| 28 | ) |