• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

JuliaLang / julia / 1376

15 Dec 2025 11:20AM UTC coverage: 69.63% (-0.2%) from 69.814%
1376

push

buildkite

web-flow
release-1.12:  Revert "build: More msys2 fixes (#59028)" (#60374)

53229 of 76446 relevant lines covered (69.63%)

11745701.59 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

18.24
/base/binaryplatforms.jl
1
# This file is a part of Julia. License is MIT: https://julialang.org/license
2

3
module BinaryPlatforms
4

5
export AbstractPlatform, Platform, HostPlatform, platform_dlext, tags, arch, os,
6
       os_version, libc, libgfortran_version, libstdcxx_version,
7
       cxxstring_abi, parse_dl_name_version, detect_libgfortran_version,
8
       detect_libstdcxx_version, detect_cxxstring_abi, call_abi, wordsize, triplet,
9
       select_platform, platforms_match, platform_name
10
import .Libc.Libdl
11

12
### Submodule with information about CPU features
13
include("cpuid.jl")
14
using .CPUID
15

16
# This exists to ease compatibility with old-style Platform objects
17
abstract type AbstractPlatform; end
18

19
"""
20
    Platform
21

22
A `Platform` represents all relevant pieces of information that a julia process may need
23
to know about its execution environment, such as the processor architecture, operating
24
system, libc implementation, etc...  It is, at its heart, a key-value mapping of tags
25
(such as `arch`, `os`, `libc`, etc...) to values (such as `"arch" => "x86_64"`, or
26
`"os" => "windows"`, etc...).  `Platform` objects are extensible in that the tag mapping
27
is open for users to add their own mappings to, as long as the mappings do not conflict
28
with the set of reserved tags: `arch`, `os`, `os_version`, `libc`, `call_abi`,
29
`libgfortran_version`, `libstdcxx_version`, `cxxstring_abi` and `julia_version`.
30

31
Valid tags and values are composed of alphanumeric and period characters.  All tags and
32
values will be lowercased when stored to reduce variation.
33

34
Example:
35

36
    Platform("x86_64", "windows"; cuda = "10.1")
37
"""
38
struct Platform <: AbstractPlatform
39
    tags::Dict{String,String}
40
    # The "compare strategy" allows selective overriding on how a tag is compared
41
    compare_strategies::Dict{String,Function}
42

43
    # Passing `tags` as a `Dict` avoids the need to infer different NamedTuple specializations
44
    function Platform(arch::String, os::String, _tags::Dict{String};
2,184✔
45
                      validate_strict::Bool = false,
46
                      compare_strategies::Dict{String,<:Function} = Dict{String,Function}())
47
        # A wee bit of normalization
48
        os = lowercase(os)
15✔
49
        arch = CPUID.normalize_arch(arch)
15✔
50

51
        tags = Dict{String,String}(
15✔
52
            "arch" => arch,
53
            "os" => os,
54
        )
55
        for (tag, value) in _tags
30✔
56
            value = value::Union{String,VersionNumber,Nothing}
15✔
57
            tag = lowercase(tag)
15✔
58
            if tag ∈ ("arch", "os")
30✔
59
                throw(ArgumentError("Cannot double-pass key $(tag)"))
×
60
            end
61

62
            # Drop `nothing` values; this means feature is not present or use default value.
63
            if value === nothing
15✔
64
                continue
×
65
            end
66

67
            # Normalize things that are known to be version numbers so that comparisons are easy.
68
            # Note that in our effort to be extremely compatible, we actually allow something that
69
            # doesn't parse nicely into a VersionNumber to persist, but if `validate_strict` is
70
            # set to `true`, it will cause an error later on.
71
            if tag ∈ ("libgfortran_version", "libstdcxx_version", "os_version")
30✔
72
                if isa(value, VersionNumber)
×
73
                    value = string(value)
×
74
                elseif isa(value, String)
×
75
                    v = tryparse(VersionNumber, value)
×
76
                    if isa(v, VersionNumber)
×
77
                        value = string(v)
×
78
                    end
79
                end
80
            end
81

82
            # Use `add_tag!()` to add the tag to our collection of tags
83
            add_tag!(tags, tag, string(value)::String)
15✔
84
        end
15✔
85

86
        # Auto-map call_abi and libc where necessary:
87
        if os == "linux" && !haskey(tags, "libc")
30✔
88
            # Default to `glibc` on Linux
89
            tags["libc"] = "glibc"
15✔
90
        end
91
        if os == "linux" && arch ∈ ("armv7l", "armv6l") && "call_abi" ∉ keys(tags)
15✔
92
            # default `call_abi` to `eabihf` on 32-bit ARM
93
            tags["call_abi"] = "eabihf"
×
94
        end
95

96
        # If the user is asking for strict validation, do so.
97
        if validate_strict
15✔
98
            validate_tags(tags)
×
99
        end
100

101
        # By default, we compare julia_version only against major and minor versions:
102
        if haskey(tags, "julia_version") && !haskey(compare_strategies, "julia_version")
15✔
103
            compare_strategies["julia_version"] = (a::String, b::String, a_comparator, b_comparator) -> begin
6✔
104
                a = VersionNumber(a)
6✔
105
                b = VersionNumber(b)
6✔
106
                return a.major == b.major && a.minor == b.minor
6✔
107
            end
108
        end
109

110
        return new(tags, compare_strategies)
15✔
111
    end
112
end
113

114
# Keyword interface (to avoid inference of specialized NamedTuple methods, use the Dict interface for `tags`)
115
function Platform(arch::String, os::String;
2,169✔
116
                  validate_strict::Bool = false,
117
                  compare_strategies::Dict{String,<:Function} = Dict{String,Function}(),
118
                  kwargs...)
119
    tags = Dict{String,Any}(String(tag)::String=>tagvalue(value) for (tag, value) in kwargs)
2,169✔
120
    return Platform(arch, os, tags; validate_strict, compare_strategies)
2,169✔
121
end
122

123
tagvalue(v::Union{String,VersionNumber,Nothing}) = v
×
124
tagvalue(v::Symbol) = String(v)
57✔
125
tagvalue(v::AbstractString) = convert(String, v)::String
×
126

127
# Simple tag insertion that performs a little bit of validation
128
function add_tag!(tags::Dict{String,String}, tag::String, value::String)
×
129
    # I know we said only alphanumeric and dots, but let's be generous so that we can expand
130
    # our support in the future while remaining as backwards-compatible as possible.  The
131
    # only characters that are absolutely disallowed right now are `-`, `+`, ` ` and things
132
    # that are illegal in filenames:
133
    nonos = raw"""+- /<>:"'\|?*"""
×
134
    if any(occursin(nono, tag) for nono in nonos)
×
135
        throw(ArgumentError("Invalid character in tag name \"$(tag)\"!"))
×
136
    end
137

138
    # Normalize and reject nonos
139
    value = lowercase(value)
×
140
    if any(occursin(nono, value) for nono in nonos)
×
141
        throw(ArgumentError("Invalid character in tag value \"$(value)\"!"))
×
142
    end
143
    tags[tag] = value
×
144
    return value
×
145
end
146

147
# Other `Platform` types can override this (I'm looking at you, `AnyPlatform`)
148
tags(p::Platform) = p.tags
1,590✔
149

150
# Make it act more like a dict
151
Base.getindex(p::AbstractPlatform, k::String) = getindex(tags(p), k)
9✔
152
Base.haskey(p::AbstractPlatform, k::String) = haskey(tags(p), k)
×
153
function Base.setindex!(p::AbstractPlatform, v::String, k::String)
9✔
154
    add_tag!(tags(p), k, v)
9✔
155
    return p
6✔
156
end
157

158
# Hash definition to ensure that it's stable
159
function Base.hash(p::Platform, h::UInt)
160
    h += 0x506c6174666f726d % UInt
×
161
    h = hash(p.tags, h)
6✔
162
    h = hash(p.compare_strategies, h)
6✔
163
    return h
×
164
end
165

166
# Simple equality definition; for compatibility testing, use `platforms_match()`
167
function Base.:(==)(a::Platform, b::Platform)
168
    return a.tags == b.tags && a.compare_strategies == b.compare_strategies
3✔
169
end
170

171

172
# Allow us to easily serialize Platform objects
173
function Base.show(io::IO, p::Platform)
3✔
174
    print(io, "Platform(")
3✔
175
    show(io, arch(p))
6✔
176
    print(io, ", ")
3✔
177
    show(io, os(p))
6✔
178
    print(io, "; ")
3✔
179
    join(io, ("$(k) = $(repr(v))" for (k, v) in tags(p) if k ∉ ("arch", "os")), ", ")
3✔
180
    print(io, ")")
3✔
181
end
182

183
# Make showing the platform a bit more palatable
184
function Base.show(io::IO, ::MIME"text/plain", p::Platform)
×
185
    str = string(platform_name(p), " ", arch(p))
×
186
    # Add on all the other tags not covered by os/arch:
187
    other_tags = sort!(filter!(kv -> kv[1] ∉ ("os", "arch"), collect(tags(p))))
×
188
    if !isempty(other_tags)
×
189
        str = string(str, " {", join([string(k, "=", v) for (k, v) in other_tags], ", "), "}")
×
190
    end
191
    print(io, str)
×
192
end
193

194
function validate_tags(tags::Dict)
×
195
    throw_invalid_key(k) = throw(ArgumentError("Key \"$(k)\" cannot have value \"$(tags[k])\""))
×
196
    # Validate `arch`
197
    if tags["arch"] ∉ ("x86_64", "i686", "armv7l", "armv6l", "aarch64", "powerpc64le", "riscv64")
×
198
        throw_invalid_key("arch")
×
199
    end
200
    # Validate `os`
201
    if tags["os"] ∉ ("linux", "macos", "freebsd", "openbsd", "windows")
×
202
        throw_invalid_key("os")
×
203
    end
204
    # Validate `os`/`arch` combination
205
    throw_os_mismatch() = throw(ArgumentError("Invalid os/arch combination: $(tags["os"])/$(tags["arch"])"))
×
206
    if tags["os"] == "windows" && tags["arch"] ∉ ("x86_64", "i686", "armv7l", "aarch64")
×
207
        throw_os_mismatch()
×
208
    end
209
    if tags["os"] == "macos" && tags["arch"] ∉ ("x86_64", "aarch64")
×
210
        throw_os_mismatch()
×
211
    end
212

213
    # Validate `os`/`libc` combination
214
    throw_libc_mismatch() = throw(ArgumentError("Invalid os/libc combination: $(tags["os"])/$(tags["libc"])"))
×
215
    if tags["os"] == "linux"
×
216
        # Linux always has a `libc` entry
217
        if tags["libc"] ∉ ("glibc", "musl")
×
218
            throw_libc_mismatch()
×
219
        end
220
    else
221
        # Nothing else is allowed to have a `libc` entry
222
        if haskey(tags, "libc")
×
223
            throw_libc_mismatch()
×
224
        end
225
    end
226

227
    # Validate `os`/`arch`/`call_abi` combination
228
    throw_call_abi_mismatch() = throw(ArgumentError("Invalid os/arch/call_abi combination: $(tags["os"])/$(tags["arch"])/$(tags["call_abi"])"))
×
229
    if tags["os"] == "linux" && tags["arch"] ∈ ("armv7l", "armv6l")
×
230
        # If an ARM linux has does not have `call_abi` set to something valid, be sad.
231
        if !haskey(tags, "call_abi") || tags["call_abi"] ∉ ("eabihf", "eabi")
×
232
            throw_call_abi_mismatch()
×
233
        end
234
    else
235
        # Nothing else should have a `call_abi`.
236
        if haskey(tags, "call_abi")
×
237
            throw_call_abi_mismatch()
×
238
        end
239
    end
240

241
    # Validate `libgfortran_version` is a parsable `VersionNumber`
242
    throw_version_number(k) = throw(ArgumentError("\"$(k)\" cannot have value \"$(tags[k])\", must be a valid VersionNumber"))
×
243
    if "libgfortran_version" in keys(tags) && tryparse(VersionNumber, tags["libgfortran_version"]) === nothing
×
244
        throw_version_number("libgfortran_version")
×
245
    end
246

247
    # Validate `cxxstring_abi` is one of the two valid options:
248
    if "cxxstring_abi" in keys(tags) && tags["cxxstring_abi"] ∉ ("cxx03", "cxx11")
×
249
        throw_invalid_key("cxxstring_abi")
×
250
    end
251

252
    # Validate `libstdcxx_version` is a parsable `VersionNumber`
253
    if "libstdcxx_version" in keys(tags) && tryparse(VersionNumber, tags["libstdcxx_version"]) === nothing
×
254
        throw_version_number("libstdcxx_version")
×
255
    end
256
end
257

258
function set_compare_strategy!(p::Platform, key::String, f::Function)
×
259
    if !haskey(p.tags, key)
×
260
        throw(ArgumentError("Cannot set comparison strategy for nonexistent tag $(key)!"))
×
261
    end
262
    p.compare_strategies[key] = f
×
263
end
264

265
function get_compare_strategy(p::Platform, key::String, default = compare_default)
×
266
    if !haskey(p.tags, key)
×
267
        throw(ArgumentError("Cannot get comparison strategy for nonexistent tag $(key)!"))
×
268
    end
269
    return get(p.compare_strategies, key, default)
×
270
end
271
get_compare_strategy(p::AbstractPlatform, key::String, default = compare_default) = default
×
272

273

274

275
"""
276
    compare_default(a::String, b::String, a_requested::Bool, b_requested::Bool)
277

278
Default comparison strategy that falls back to `a == b`.  This only ever happens if both
279
`a` and `b` request this strategy, as any other strategy is preferable to this one.
280
"""
281
function compare_default(a::String, b::String, a_requested::Bool, b_requested::Bool)
×
282
    return a == b
×
283
end
284

285
"""
286
    compare_version_cap(a::String, b::String, a_comparator, b_comparator)
287

288
Example comparison strategy for `set_comparison_strategy!()` that implements a version
289
cap for host platforms that support _up to_ a particular version number.  As an example,
290
if an artifact is built for macOS 10.9, it can run on macOS 10.11, however if it were
291
built for macOS 10.12, it could not.  Therefore, the host platform of macOS 10.11 has a
292
version cap at `v"10.11"`.
293

294
Note that because both hosts and artifacts are represented with `Platform` objects it
295
is possible to call `platforms_match()` with two artifacts, a host and an artifact, an
296
artifact and a host, and even two hosts.  We attempt to do something intelligent for all
297
cases, but in the case of comparing version caps between two hosts, we return `true` only
298
if the two host platforms are in fact identical.
299
"""
300
function compare_version_cap(a::String, b::String, a_requested::Bool, b_requested::Bool)
×
301
    a = VersionNumber(a)
×
302
    b = VersionNumber(b)
×
303

304
    # If both b and a requested, then we fall back to equality:
305
    if a_requested && b_requested
×
306
        return a == b
×
307
    end
308

309
    # Otherwise, do the comparison between the single version cap and the single version:
310
    if a_requested
×
311
        return b <= a
×
312
    else
313
        return a <= b
×
314
    end
315
end
316

317

318

319
"""
320
    HostPlatform(p::AbstractPlatform)
321

322
Convert a `Platform` to act like a "host"; e.g. if it has a version-bound tag such as
323
`"libstdcxx_version" => "3.4.26"`, it will treat that value as an upper bound, rather
324
than a characteristic.  `Platform` objects that define artifacts generally denote the
325
SDK or version that the artifact was built with, but for platforms, these versions are
326
generally the maximal version the platform can support.  The way this transformation
327
is implemented is to change the appropriate comparison strategies to treat these pieces
328
of data as bounds rather than points in any comparison.
329
"""
330
function HostPlatform(p::AbstractPlatform)
×
331
    if haskey(p, "os_version")
×
332
        set_compare_strategy!(p, "os_version", compare_version_cap)
×
333
    end
334
    if haskey(p, "libstdcxx_version")
×
335
        set_compare_strategy!(p, "libstdcxx_version", compare_version_cap)
×
336
    end
337
    return p
×
338
end
339

340
"""
341
    arch(p::AbstractPlatform)
342

343
Get the architecture for the given `Platform` object as a `String`.
344

345
# Examples
346
```jldoctest
347
julia> arch(Platform("aarch64", "Linux"))
348
"aarch64"
349

350
julia> arch(Platform("amd64", "freebsd"))
351
"x86_64"
352
```
353
"""
354
arch(p::AbstractPlatform) = get(tags(p), "arch", nothing)
55✔
355

356
"""
357
    os(p::AbstractPlatform)
358

359
Get the operating system for the given `Platform` object as a `String`.
360

361
# Examples
362
```jldoctest
363
julia> os(Platform("armv7l", "Linux"))
364
"linux"
365

366
julia> os(Platform("aarch64", "macos"))
367
"macos"
368
```
369
"""
370
os(p::AbstractPlatform) = get(tags(p), "os", nothing)
71✔
371

372
# As a special helper, it's sometimes useful to know the current OS at compile-time
373
function os()
×
374
    if Sys.iswindows()
×
375
        return "windows"
×
376
    elseif Sys.isapple()
×
377
        return "macos"
×
378
    elseif Sys.isfreebsd()
×
379
        return "freebsd"
×
380
    elseif Sys.isopenbsd()
×
381
        return "openbsd"
×
382
    else
383
        return "linux"
×
384
    end
385
end
386

387
"""
388
    libc(p::AbstractPlatform)
389

390
Get the libc for the given `Platform` object as a `String`.  Returns `nothing` on
391
platforms with no explicit `libc` choices (which is most platforms).
392

393
# Examples
394
```jldoctest
395
julia> libc(Platform("armv7l", "Linux"))
396
"glibc"
397

398
julia> libc(Platform("aarch64", "linux"; libc="musl"))
399
"musl"
400

401
julia> libc(Platform("i686", "Windows"))
402
```
403
"""
404
libc(p::AbstractPlatform) = get(tags(p), "libc", nothing)
×
405

406
"""
407
    call_abi(p::AbstractPlatform)
408

409
Get the call ABI for the given `Platform` object as a `String`.  Returns `nothing` on
410
platforms with no explicit `call_abi` choices (which is most platforms).
411

412
# Examples
413
```jldoctest
414
julia> call_abi(Platform("armv7l", "Linux"))
415
"eabihf"
416

417
julia> call_abi(Platform("x86_64", "macos"))
418
```
419
"""
420
call_abi(p::AbstractPlatform) = get(tags(p), "call_abi", nothing)
27✔
421

422
const platform_names = Dict(
423
    "linux" => "Linux",
424
    "macos" => "macOS",
425
    "windows" => "Windows",
426
    "freebsd" => "FreeBSD",
427
    "openbsd" => "OpenBSD",
428
    nothing => "Unknown",
429
)
430

431
"""
432
    platform_name(p::AbstractPlatform)
433

434
Get the "platform name" of the given platform, returning e.g. "Linux" or "Windows".
435
"""
436
function platform_name(p::AbstractPlatform)
×
437
    return platform_names[os(p)]
×
438
end
439

440
function VNorNothing(d::Dict, key)
×
441
    v = get(d, key, nothing)
×
442
    if v === nothing
×
443
        return nothing
×
444
    end
445
    return VersionNumber(v)::VersionNumber
×
446
end
447

448
"""
449
    libgfortran_version(p::AbstractPlatform)
450

451
Get the libgfortran version dictated by this `Platform` object as a `VersionNumber`,
452
or `nothing` if no compatibility bound is imposed.
453
"""
454
libgfortran_version(p::AbstractPlatform) = VNorNothing(tags(p), "libgfortran_version")
×
455

456
"""
457
    libstdcxx_version(p::AbstractPlatform)
458

459
Get the libstdc++ version dictated by this `Platform` object, or `nothing` if no
460
compatibility bound is imposed.
461
"""
462
libstdcxx_version(p::AbstractPlatform) = VNorNothing(tags(p), "libstdcxx_version")
×
463

464
"""
465
    cxxstring_abi(p::AbstractPlatform)
466

467
Get the c++ string ABI dictated by this `Platform` object, or `nothing` if no ABI is imposed.
468
"""
469
cxxstring_abi(p::AbstractPlatform) = get(tags(p), "cxxstring_abi", nothing)
×
470

471
"""
472
    os_version(p::AbstractPlatform)
473

474
Get the OS version dictated by this `Platform` object, or `nothing` if no OS version is
475
imposed/no data is available.  This is most commonly used by MacOS and FreeBSD objects
476
where we have high platform SDK fragmentation, and features are available only on certain
477
platform versions.
478
"""
479
os_version(p::AbstractPlatform) = VNorNothing(tags(p), "os_version")
×
480

481
"""
482
    wordsize(p::AbstractPlatform)
483

484
Get the word size for the given `Platform` object.
485

486
# Examples
487
```jldoctest
488
julia> wordsize(Platform("armv7l", "linux"))
489
32
490

491
julia> wordsize(Platform("x86_64", "macos"))
492
64
493
```
494
"""
495
wordsize(p::AbstractPlatform) = (arch(p) ∈ ("i686", "armv6l", "armv7l")) ? 32 : 64
18✔
496

497
"""
498
    triplet(p::AbstractPlatform)
499

500
Get the target triplet for the given `Platform` object as a `String`.
501

502
# Examples
503
```jldoctest
504
julia> triplet(Platform("x86_64", "MacOS"))
505
"x86_64-apple-darwin"
506

507
julia> triplet(Platform("i686", "Windows"))
508
"i686-w64-mingw32"
509

510
julia> triplet(Platform("armv7l", "Linux"; libgfortran_version="3"))
511
"armv7l-linux-gnueabihf-libgfortran3"
512
```
513
"""
514
function triplet(p::AbstractPlatform)
×
515
    str = string(
×
516
        arch(p)::Union{Symbol,String},
517
        os_str(p),
518
        libc_str(p),
519
        call_abi_str(p),
520
    )
521

522
    # Tack on optional compiler ABI flags
523
    libgfortran_version_ = libgfortran_version(p)
×
524
    if libgfortran_version_ !== nothing
×
525
        str = string(str, "-libgfortran", libgfortran_version_.major)
×
526
    end
527
    cxxstring_abi_ = cxxstring_abi(p)
×
528
    if cxxstring_abi_ !== nothing
×
529
        str = string(str, "-", cxxstring_abi_)
×
530
    end
531
    libstdcxx_version_ = libstdcxx_version(p)
×
532
    if libstdcxx_version_ !== nothing
×
533
        str = string(str, "-libstdcxx", libstdcxx_version_.patch)
×
534
    end
535

536
    # Tack on all extra tags
537
    for (tag, val) in tags(p)
×
538
        if tag ∈ ("os", "arch", "libc", "call_abi", "libgfortran_version", "libstdcxx_version", "cxxstring_abi", "os_version")
×
539
            continue
×
540
        end
541
        str = string(str, "-", tag, "+", val)
×
542
    end
×
543
    return str
×
544
end
545

546
function os_str(p::AbstractPlatform)
×
547
    if os(p) == "linux"
×
548
        return "-linux"
×
549
    elseif os(p) == "macos"
×
550
        osvn = os_version(p)
×
551
        if osvn !== nothing
×
552
            return "-apple-darwin$(osvn.major)"
×
553
        else
554
            return "-apple-darwin"
×
555
        end
556
    elseif os(p) == "windows"
×
557
        return "-w64-mingw32"
×
558
    elseif os(p) == "freebsd"
×
559
        osvn = os_version(p)
×
560
        if osvn !== nothing
×
561
            return "-unknown-freebsd$(osvn.major).$(osvn.minor)"
×
562
        else
563
            return "-unknown-freebsd"
×
564
        end
565
    elseif os(p) == "openbsd"
×
566
        return "-unknown-openbsd"
×
567
    else
568
        return "-unknown"
×
569
    end
570
end
571

572
# Helper functions for Linux and FreeBSD libc/abi mishmashes
573
function libc_str(p::AbstractPlatform)
×
574
    lc = libc(p)
×
575
    if lc === nothing
×
576
        return ""
×
577
    elseif lc === "glibc"
×
578
        return "-gnu"
×
579
    else
580
        return string("-", lc)
×
581
    end
582
end
583
function call_abi_str(p::AbstractPlatform)
×
584
    cabi = call_abi(p)
×
585
    cabi === nothing ? "" : string(cabi::Union{Symbol,String})
×
586
end
587

588
Sys.isapple(p::AbstractPlatform) = os(p) == "macos"
6✔
589
Sys.islinux(p::AbstractPlatform) = os(p) == "linux"
6✔
590
Sys.iswindows(p::AbstractPlatform) = os(p) == "windows"
6✔
591
Sys.isfreebsd(p::AbstractPlatform) = os(p) == "freebsd"
×
592
Sys.isopenbsd(p::AbstractPlatform) = os(p) == "openbsd"
×
593
Sys.isbsd(p::AbstractPlatform) = os(p) ∈ ("freebsd", "openbsd", "macos")
9✔
594
Sys.isunix(p::AbstractPlatform) = Sys.isbsd(p) || Sys.islinux(p)
×
595

596
const arch_mapping = Dict(
597
    "x86_64" => "(x86_|amd)64",
598
    "i686" => "i\\d86",
599
    "aarch64" => "(aarch64|arm64)",
600
    "armv7l" => "arm(v7l)?", # if we just see `arm-linux-gnueabihf`, we assume it's `armv7l`
601
    "armv6l" => "armv6l",
602
    "powerpc64le" => "p(ower)?pc64le",
603
    "riscv64" => "(rv64|riscv64)",
604
)
605
# Keep this in sync with `CPUID.ISAs_by_family`
606
# These are the CPUID side of the microarchitectures targeted by GCC flags in BinaryBuilder.jl
607
const arch_march_isa_mapping = let
608
    function get_set(arch, name)
×
609
        all = CPUID.ISAs_by_family[arch]
×
610
        return all[findfirst(x -> x.first == name, all)].second
×
611
    end
612
    Dict(
613
        "i686" => [
614
            "pentium4" => get_set("i686", "pentium4"),
615
            "prescott" => get_set("i686", "prescott"),
616
        ],
617
        "x86_64" => [
618
            "x86_64" => get_set("x86_64", "x86_64"),
619
            "avx" => get_set("x86_64", "sandybridge"),
620
            "avx2" => get_set("x86_64", "haswell"),
621
            "avx512" => get_set("x86_64", "skylake_avx512"),
622
        ],
623
        "armv6l" => [
624
            "arm1176jzfs" => get_set("armv6l", "arm1176jzfs"),
625
        ],
626
        "armv7l" => [
627
            "armv7l" => get_set("armv7l", "armv7l"),
628
            "neonvfpv4" => get_set("armv7l", "armv7l+neon+vfpv4"),
629
        ],
630
        "aarch64" => [
631
            "armv8_0" => get_set("aarch64", "armv8.0-a"),
632
            "armv8_1" => get_set("aarch64", "armv8.1-a"),
633
            "armv8_2_crypto" => get_set("aarch64", "armv8.2-a+crypto"),
634
            "a64fx" => get_set("aarch64", "a64fx"),
635
            "apple_m1" => get_set("aarch64", "apple_m1"),
636
        ],
637
        "powerpc64le" => [
638
            "power8" => get_set("powerpc64le", "power8"),
639
        ],
640
        "riscv64" => [
641
            "riscv64" => get_set("riscv64", "riscv64"),
642
        ],
643
    )
644
end
645
const os_mapping = Dict(
646
    "macos" => "-apple-darwin[\\d\\.]*",
647
    "freebsd" => "-(.*-)?freebsd[\\d\\.]*",
648
    "openbsd" => "-(.*-)?openbsd[\\d\\.]*",
649
    "windows" => "-w64-mingw32",
650
    "linux" => "-(.*-)?linux",
651
)
652
const libc_mapping = Dict(
653
    "libc_nothing" => "",
654
    "glibc" => "-gnu",
655
    "musl" => "-musl",
656
)
657
const call_abi_mapping = Dict(
658
    "call_abi_nothing" => "",
659
    "eabihf" => "eabihf",
660
    "eabi" => "eabi",
661
)
662
const libgfortran_version_mapping = Dict(
663
    "libgfortran_nothing" => "",
664
    "libgfortran3" => "(-libgfortran3)|(-gcc4)", # support old-style `gccX` versioning
665
    "libgfortran4" => "(-libgfortran4)|(-gcc7)",
666
    "libgfortran5" => "(-libgfortran5)|(-gcc8)",
667
)
668
const cxxstring_abi_mapping = Dict(
669
    "cxxstring_nothing" => "",
670
    "cxx03" => "-cxx03",
671
    "cxx11" => "-cxx11",
672
)
673
const libstdcxx_version_mapping = Dict{String,String}(
674
    "libstdcxx_nothing" => "",
675
    "libstdcxx" => "-libstdcxx\\d+",
676
)
677

678
const triplet_regex = let
679
    # Helper function to collapse dictionary of mappings down into a regex of
680
    # named capture groups joined by "|" operators
681
    c(mapping) = string("(",join(["(?<$k>$v)" for (k, v) in mapping], "|"), ")")
×
682

683
    Regex(string(
684
        "^",
685
        # First, the core triplet; arch/os/libc/call_abi
686
        c(arch_mapping),
687
        c(os_mapping),
688
        c(libc_mapping),
689
        c(call_abi_mapping),
690
        # Next, optional things, like libgfortran/libstdcxx/cxxstring abi
691
        c(libgfortran_version_mapping),
692
        c(cxxstring_abi_mapping),
693
        c(libstdcxx_version_mapping),
694
        # Finally, the catch-all for extended tags
695
        "(?<tags>(?:-[^-]+\\+[^-]+)*)?",
696
        "\$",
697
    ))
698
end
699

700
"""
701
    parse(::Type{Platform}, triplet::AbstractString)
702

703
Parses a string platform triplet back into a `Platform` object.
704
"""
705
function Base.parse(::Type{Platform}, triplet::String; validate_strict::Bool = false)
509✔
706
    m = match(triplet_regex, triplet)
707
    if m !== nothing
708
        # Helper function to find the single named field within the giant regex
709
        # that is not `nothing` for each mapping we give it.
710
        get_field(m, mapping) = begin
711
            for k in keys(mapping)
712
                if m[k] !== nothing
713
                    # Convert our sentinel `nothing` values to actual `nothing`
714
                    if endswith(k, "_nothing")
715
                        return nothing
716
                    end
717
                    # Convert libgfortran/libstdcxx version numbers
718
                    if startswith(k, "libgfortran")
719
                        return VersionNumber(parse(Int,k[12:end]))
720
                    elseif startswith(k, "libstdcxx")
721
                        return VersionNumber(3, 4, parse(Int,m[k][11:end]))
722
                    else
723
                        return k
724
                    end
725
                end
726
            end
727
        end
728

729
        # Extract the information we're interested in:
730
        tags = Dict{String,Any}()
731
        arch = get_field(m, arch_mapping)
732
        os = get_field(m, os_mapping)
733
        tags["libc"] = get_field(m, libc_mapping)
734
        tags["call_abi"] = get_field(m, call_abi_mapping)
735
        tags["libgfortran_version"] = get_field(m, libgfortran_version_mapping)
736
        tags["libstdcxx_version"] = get_field(m, libstdcxx_version_mapping)
737
        tags["cxxstring_abi"] = get_field(m, cxxstring_abi_mapping)
738
        function split_tags(tagstr)
739
            tag_fields = split(tagstr, "-"; keepempty=false)
740
            if isempty(tag_fields)
741
                return Pair{String,String}[]
742
            end
743
            return map(v -> String(v[1]) => String(v[2]), split.(tag_fields, "+"))
744
        end
745
        merge!(tags, Dict(split_tags(m["tags"])))
746

747
        # Special parsing of os version number, if any exists
748
        function extract_os_version(os_name, pattern)
749
            m_osvn = match(pattern, m[os_name])
750
            if m_osvn !== nothing
751
                return VersionNumber(m_osvn.captures[1])
752
            end
753
            return nothing
754
        end
755
        os_version = nothing
756
        if os == "macos"
757
            os_version = extract_os_version("macos", r".*darwin([\d\.]+)"sa)
758
        end
759
        if os == "freebsd"
760
            os_version = extract_os_version("freebsd", r".*freebsd([\d.]+)"sa)
761
        end
762
        if os == "openbsd"
763
            os_version = extract_os_version("openbsd", r".*openbsd([\d.]+)"sa)
764
        end
765
        tags["os_version"] = os_version
766

767
        return Platform(arch, os, tags; validate_strict)
768
    end
769
    throw(ArgumentError("Platform `$(triplet)` is not an officially supported platform"))
770
end
771
Base.parse(::Type{Platform}, triplet::AbstractString; kwargs...) =
×
772
    parse(Platform, convert(String, triplet)::String; kwargs...)
773

774
function Base.tryparse(::Type{Platform}, triplet::AbstractString)
×
775
    try
×
776
        parse(Platform, triplet)
×
777
    catch e
778
        if isa(e, InterruptException)
×
779
            rethrow(e)
×
780
        end
781
        return nothing
×
782
    end
783
end
784

785
"""
786
    platform_dlext(p::AbstractPlatform = HostPlatform())
787

788
Return the dynamic library extension for the given platform, defaulting to the
789
currently running platform.  E.g. returns "so" for a Linux-based platform,
790
"dll" for a Windows-based platform, etc...
791
"""
792
function platform_dlext(p::AbstractPlatform = HostPlatform())
15✔
793
    if os(p) == "windows"
30✔
794
        return "dll"
4✔
795
    elseif os(p) == "macos"
22✔
796
        return "dylib"
4✔
797
    else
798
        return "so"
7✔
799
    end
800
end
801

802
"""
803
    parse_dl_name_version(path::String, platform::AbstractPlatform)
804

805
Given a path to a dynamic library, parse out what information we can
806
from the filename.  E.g. given something like "lib/libfoo.so.3.2",
807
this function returns `"libfoo", v"3.2"`.  If the path name is not a
808
valid dynamic library, this method throws an error.  If no soversion
809
can be extracted from the filename, as in "libbar.so" this method
810
returns `"libbar", nothing`.
811
"""
812
function parse_dl_name_version(path::String, os::String)
×
813
    # Use an extraction regex that matches the given OS
814
    local dlregex
×
815
    if os == "windows"
×
816
        # On Windows, libraries look like `libnettle-6.dll`
817
        dlregex = r"^(.*?)(?:-((?:[\.\d]+)*))?\.dll$"sa
×
818
    elseif os == "macos"
×
819
        # On OSX, libraries look like `libnettle.6.3.dylib`
820
        dlregex = r"^(.*?)((?:\.[\d]+)*)\.dylib$"sa
×
821
    else
822
        # On Linux and others BSD, libraries look like `libnettle.so.6.3.0`
823
        dlregex = r"^(.*?)\.so((?:\.[\d]+)*)$"sa
×
824
    end
825

826
    m = match(dlregex, basename(path))
×
827
    if m === nothing
×
828
        throw(ArgumentError("Invalid dynamic library path '$path'"))
×
829
    end
830

831
    # Extract name and version
832
    name = m.captures[1]
×
833
    version = m.captures[2]
×
834
    if version === nothing || isempty(version)
×
835
        version = nothing
×
836
    else
837
        version = VersionNumber(strip(version, '.'))
×
838
    end
839
    return name, version
×
840
end
841

842
# Adapter for `AbstractString`
843
function parse_dl_name_version(path::AbstractString, os::AbstractString)
×
844
    return parse_dl_name_version(string(path)::String, string(os)::String)
×
845
end
846

847
"""
848
    detect_libgfortran_version()
849

850
Inspects the current Julia process to determine the libgfortran version this Julia is
851
linked against (if any).
852
"""
853
function detect_libgfortran_version()
×
854
    libgfortran_paths = filter!(x -> occursin("libgfortran", x), Libdl.dllist())
×
855
    if isempty(libgfortran_paths)
×
856
        # One day, I hope to not be linking against libgfortran in base Julia
857
        return nothing
×
858
    end
859
    libgfortran_path = first(libgfortran_paths)
×
860

861
    name, version = parse_dl_name_version(libgfortran_path, os())
×
862
    if version === nothing
×
863
        # Even though we complain about this, we allow it to continue in the hopes that
864
        # we shall march on to a BRIGHTER TOMORROW.  One in which we are not shackled
865
        # by the constraints of libgfortran compiler ABIs upon our precious programming
866
        # languages; one where the mistakes of yesterday are mere memories and not
867
        # continual maintenance burdens upon the children of the dawn; one where numeric
868
        # code may be cleanly implemented in a modern language and not bestowed onto the
869
        # next generation by grizzled ancients, documented only with a faded yellow
870
        # sticky note that bears a hastily-scribbled "good luck".
871
        @warn("Unable to determine libgfortran version from '$(libgfortran_path)'")
×
872
    end
873
    return version
×
874
end
875

876
"""
877
    detect_libstdcxx_version(max_minor_version::Int=30)
878

879
Inspects the currently running Julia process to find out what version of libstdc++
880
it is linked against (if any).  `max_minor_version` is the latest version in the
881
3.4 series of GLIBCXX where the search is performed.
882
"""
883
function detect_libstdcxx_version(max_minor_version::Int=30)
×
884
    libstdcxx_paths = filter!(x -> occursin("libstdc++", x), Libdl.dllist())
×
885
    if isempty(libstdcxx_paths)
×
886
        # This can happen if we were built by clang, so we don't link against
887
        # libstdc++ at all.
888
        return nothing
×
889
    end
890

891
    # Brute-force our way through GLIBCXX_* symbols to discover which version we're linked against
892
    hdl = Libdl.dlopen(first(libstdcxx_paths))::Ptr{Cvoid}
×
893
    # Try all GLIBCXX versions down to GCC v4.8:
894
    # https://gcc.gnu.org/onlinedocs/libstdc++/manual/abi.html
895
    for minor_version in max_minor_version:-1:18
×
896
        if Libdl.dlsym(hdl, "GLIBCXX_3.4.$(minor_version)"; throw_error=false) !== nothing
×
897
            Libdl.dlclose(hdl)
×
898
            return VersionNumber("3.4.$(minor_version)")
×
899
        end
900
    end
×
901
    Libdl.dlclose(hdl)
×
902
    return nothing
×
903
end
904

905
"""
906
    detect_cxxstring_abi()
907

908
Inspects the currently running Julia process to see what version of the C++11 string ABI
909
it was compiled with (this is only relevant if compiled with `g++`; `clang` has no
910
incompatibilities yet, bless its heart).  In reality, this actually checks for symbols
911
within LLVM, but that is close enough for our purposes, as you can't mix configurations
912
between Julia and LLVM; they must match.
913
"""
914
function detect_cxxstring_abi()
×
915
    # First, if we're not linked against libstdc++, then early-exit because this doesn't matter.
916
    libstdcxx_paths = filter!(x -> occursin("libstdc++", x), Libdl.dllist())
×
917
    if isempty(libstdcxx_paths)
×
918
        # We were probably built by `clang`; we don't link against `libstdc++`` at all.
919
        return nothing
×
920
    end
921

922
    function open_libllvm(f::Function)
×
923
        for lib_name in (Base.libllvm_name, "libLLVM", "LLVM", "libLLVMSupport")
×
924
            hdl = Libdl.dlopen_e(lib_name)
×
925
            if hdl != C_NULL
×
926
                try
×
927
                    return f(hdl)
×
928
                finally
929
                    Libdl.dlclose(hdl)
×
930
                end
931
            end
932
        end
×
933
        error("Unable to open libLLVM!")
×
934
    end
935

936
    return open_libllvm() do hdl
×
937
        # Check for llvm::sys::getProcessTriple(), first without cxx11 tag:
938
        if Libdl.dlsym_e(hdl, "_ZN4llvm3sys16getProcessTripleEv") != C_NULL
×
939
            return "cxx03"
×
940
        elseif Libdl.dlsym_e(hdl, "_ZN4llvm3sys16getProcessTripleB5cxx11Ev") != C_NULL
×
941
            return "cxx11"
×
942
        else
943
            @warn("Unable to find llvm::sys::getProcessTriple() in libLLVM!")
×
944
            return nothing
×
945
        end
946
    end
947
end
948

949
"""
950
    host_triplet()
951

952
Build host triplet out of `Sys.MACHINE` and various introspective utilities that
953
detect compiler ABI values such as `libgfortran_version`, `libstdcxx_version` and
954
`cxxstring_abi`.  We do this without using any `Platform` tech as it must run before
955
we have much of that built.
956
"""
957
function host_triplet()
×
958
    str = Base.BUILD_TRIPLET
×
959

960
    if !occursin("-libgfortran", str)
×
961
        libgfortran_version = detect_libgfortran_version()
×
962
        if libgfortran_version !== nothing
×
963
            str = string(str, "-libgfortran", libgfortran_version.major)
×
964
        end
965
    end
966

967
    if !occursin("-cxx", str)
×
968
        cxxstring_abi = detect_cxxstring_abi()
×
969
        if cxxstring_abi !== nothing
×
970
            str = string(str, "-", cxxstring_abi)
×
971
        end
972
    end
973

974
    if !occursin("-libstdcxx", str)
×
975
        libstdcxx_version = detect_libstdcxx_version()
×
976
        if libstdcxx_version !== nothing
×
977
            str = string(str, "-libstdcxx", libstdcxx_version.patch)
×
978
        end
979
    end
980

981
    # Add on julia_version extended tag
982
    if !occursin("-julia_version+", str)
×
983
        str = string(str, "-julia_version+", VersionNumber(VERSION.major, VERSION.minor, VERSION.patch))
×
984
    end
985
    return str
×
986
end
987

988
"""
989
    HostPlatform()
990

991
Return the `Platform` object that corresponds to the current host system, with all
992
relevant comparison strategies set to host platform mode.  This is equivalent to:
993

994
    HostPlatform(parse(Platform, Base.BinaryPlatforms.host_triplet()))
995
"""
996
function HostPlatform()
997
    return HostPlatform(parse(Platform, host_triplet()))::Platform
251✔
998
end
999

1000
"""
1001
    platforms_match(a::AbstractPlatform, b::AbstractPlatform)
1002

1003
Return `true` if `a` and `b` are matching platforms, where matching is determined by
1004
comparing all keys contained within the platform objects, and if both objects contain
1005
entries for that key, they must match.  Comparison, by default, is performed using
1006
the `==` operator, however this can be overridden on a key-by-key basis by adding
1007
"comparison strategies" through `set_compare_strategy!(platform, key, func)`.
1008

1009
Note that as the comparison strategy is set on the `Platform` object, and not globally,
1010
a custom comparison strategy is first looked for within the `a` object, then if none
1011
is found, it is looked for in the `b` object.  Finally, if none is found in either, the
1012
default of `==(ak, bk)` is used.  We throw an error if custom comparison strategies are
1013
used on both `a` and `b` and they are not the same custom comparison.
1014

1015
The reserved tags `os_version` and `libstdcxx_version` use this mechanism to provide
1016
bounded version constraints, where an artifact can specify that it was built using APIs
1017
only available in macOS `v"10.11"` and later, or an artifact can state that it requires
1018
a libstdc++ that is at least `v"3.4.22"`, etc...
1019
"""
1020
function platforms_match(a::AbstractPlatform, b::AbstractPlatform)
×
1021
    for k in union(keys(tags(a)::Dict{String,String}), keys(tags(b)::Dict{String,String}))
×
1022
        ak = get(tags(a), k, nothing)
×
1023
        bk = get(tags(b), k, nothing)
×
1024

1025
        # Only continue if both `ak` and `bk` are not `nothing`
1026
        if ak === nothing || bk === nothing
×
1027
            continue
×
1028
        end
1029

1030
        a_comp = get_compare_strategy(a, k)
×
1031
        b_comp = get_compare_strategy(b, k)
×
1032

1033
        # Throw an error if `a` and `b` have both set non-default comparison strategies for `k`
1034
        # and they're not the same strategy.
1035
        if a_comp !== compare_default && b_comp !== compare_default && a_comp !== b_comp
×
1036
            throw(ArgumentError("Cannot compare Platform objects with two different non-default comparison strategies for the same key \"$(k)\""))
×
1037
        end
1038

1039
        # Select the custom comparator, if we have one.
1040
        comparator = a_comp
×
1041
        if b_comp !== compare_default
×
1042
            comparator = b_comp
×
1043
        end
1044

1045
        # Call the comparator, passing in which objects requested this comparison (one, the other, or both)
1046
        # For some comparators this doesn't matter, but for non-symmetrical comparisons, it does.
1047
        if !(@invokelatest(comparator(ak, bk, a_comp === comparator, b_comp === comparator))::Bool)
×
1048
            return false
×
1049
        end
1050
    end
×
1051
    return true
×
1052
end
1053

1054
function platforms_match(a::String, b::AbstractPlatform)
81✔
1055
    return platforms_match(parse(Platform, a), b)
81✔
1056
end
1057
function platforms_match(a::AbstractPlatform, b::String)
81✔
1058
    return platforms_match(a, parse(Platform, b))
81✔
1059
end
1060
platforms_match(a::String, b::String) = platforms_match(parse(Platform, a), parse(Platform, b))
×
1061

1062
# Adapters for AbstractString backedge avoidance
1063
platforms_match(a::AbstractString, b::AbstractPlatform) = platforms_match(string(a)::String, b)
×
1064
platforms_match(a::AbstractPlatform, b::AbstractString) = platforms_match(a, string(b)::String)
×
1065
platforms_match(a::AbstractString, b::AbstractString) = platforms_match(string(a)::String, string(b)::String)
×
1066

1067

1068
"""
1069
    select_platform(download_info::Dict, platform::AbstractPlatform = HostPlatform())
1070

1071
Given a `download_info` dictionary mapping platforms to some value, choose
1072
the value whose key best matches `platform`, returning `nothing` if no matches
1073
can be found.
1074

1075
Platform attributes such as architecture, libc, calling ABI, etc... must all
1076
match exactly, however attributes such as compiler ABI can have wildcards
1077
within them such as `nothing` which matches any version of GCC.
1078
"""
1079
function select_platform(download_info::Dict, platform::AbstractPlatform = HostPlatform())
×
1080
    ps = collect(filter(p -> platforms_match(p, platform), keys(download_info)))
×
1081

1082
    if isempty(ps)
×
1083
        return nothing
×
1084
    end
1085

1086
    # At this point, we may have multiple possibilities.  We now engage a multi-
1087
    # stage selection algorithm, where we first sort the matches by how complete
1088
    # the match is, e.g. preferring matches where the intersection of tags is
1089
    # equal to the union of the tags:
1090
    function match_loss(a, b)
×
1091
        a_tags = Set(keys(tags(a)))
×
1092
        b_tags = Set(keys(tags(b)))
×
1093
        return length(union(a_tags, b_tags)) - length(intersect(a_tags, b_tags))
×
1094
    end
1095

1096
    # We prefer these better matches, and secondarily reverse-sort by triplet so
1097
    # as to generally choose the latest release (e.g. a `libgfortran5` tarball
1098
    # over a `libgfortran3` tarball).
1099
    sort!(ps, lt = (a, b) -> begin
×
1100
        loss_a = match_loss(a, platform)
×
1101
        loss_b = match_loss(b, platform)
×
1102
        if loss_a != loss_b
×
1103
            return loss_a < loss_b
×
1104
        end
1105
        return triplet(a) > triplet(b)
×
1106
    end)
1107

1108
    # @invokelatest here to not get invalidated by new defs of `==(::Function, ::Function)`
1109
    return @invokelatest getindex(download_info, first(ps))
×
1110
end
1111

1112
# precompiles to reduce latency (see https://github.com/JuliaLang/julia/pull/43990#issuecomment-1025692379)
1113
Dict{Platform,String}()[HostPlatform()] = ""
1114
Platform("x86_64", "linux", Dict{String,Any}(); validate_strict=true)
1115
Platform("x86_64", "linux", Dict{String,String}(); validate_strict=false)  # called this way from Artifacts.unpack_platform
1116

1117
end # module
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc