History log of /seL4-l4v-master/HOL4/tools/Holmake/poly/genscriptdep.sml
Revision Date Author Comments
# 2338fc68 06-Feb-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Write tool to generate most of a .uo file for a Script.sml file

The output is "the same" as that which is fed to buildheap when a
script file is executed, except that the actual Script.sml file is not
mentioned, allowing some other file to be generated.