Revision 338110c24c572589e97c751c87ffa75c8b4546b2 authored by Tim Holy on 09 January 2018, 18:18:37 UTC, committed by Tim Holy on 13 January 2018, 11:50:03 UTC
1 parent c5cd13e
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, hton(Int32(sizeof(filename))))
        write(io, filename)
        write(io, hton(UInt64(sizeof(src))))
        write(io, src)
    end
    write(io, Int32(0))
end
back to top