1val _ = PolyML.Compiler.prompt1:="";
2val _ = PolyML.Compiler.prompt2:="";
3val _ = PolyML.print_depth 0;
4val origdir = OS.FileSys.getDir();
5OS.FileSys.chDir "../../../tools-poly";
6val _ = use "poly/poly-init.ML";
7OS.FileSys.chDir origdir;
8
9structure BasicIO = SML90;
10exception Interrupt = SML90.Interrupt
11
12fun useC f = (use ("../" ^ f ^ ".sig"); use ("../" ^ f ^ ".sml"))
13
14fun useS f = use ("../" ^ f ^ ".sml")
15
16val _ = use "../Systeml.sig"
17val _ = use "../../../tools-poly/Holmake/Systeml.sml";
18
19val _ = use "../hmcore.ML";
20
21val _ = use "genscriptdep.sml";
22
23fun main() = genscriptdep.main()
24