107 |
("LOG_FILE", OS.Path.joinBaseExt{base= #outBase spec, ext= SOME "evtlog"}), |
("LOG_FILE", OS.Path.joinBaseExt{base= #outBase spec, ext= SOME "evtlog"}), |
108 |
("PREFIX", #namespace spec), |
("PREFIX", #namespace spec), |
109 |
("SRCFILE", #srcFile spec), |
("SRCFILE", #srcFile spec), |
110 |
|
("DATE", Date.toString(Date.fromTimeLocal(Time.now()))), |
111 |
("PROG_NAME", #outBase spec), |
("PROG_NAME", #outBase spec), |
112 |
("STRAND", Atom.toString name), |
("STRAND", Atom.toString name), |
113 |
("STRANDTY", Atom.toString name ^ "_strand"), |
("STRANDTY", Atom.toString name ^ "_strand"), |