Revision 18df941d50aafdcc134f3048b298bd301f336617 authored by Navid C. Constantinou on 07 February 2024, 20:44:57 UTC, committed by GitHub on 07 February 2024, 20:44:57 UTC
1 parent e2c8809
Raw File
write_base_cache.jl
# Write the sys source cache in format readable by Base._read_dependency_src
cachefile = ARGS[1]
open(cachefile, "w") do io
    for (_, filename) in Base._included_files
        src = read(filename, String)
        write(io, Int32(sizeof(filename)))
        write(io, filename)
        write(io, UInt64(sizeof(src)))
        write(io, src)
    end
    write(io, Int32(0))
end
back to top