index 5d1a68f85758850af00f8a5423956419fb3fc9db..916ab178adb689e23174dc5872ecc5fa6e7015c2 100644 (file)
(* compiler options: *)
checks = 0; allchecks = 1; assert = 2; obj = 3; ref = 4; allref = 5;
srcpos = 6; reallib = 7; signatures = 8;
+ (* pVarInd = 14; bigEnd = 15; *) ctime = 16;
+ mainprog = 20; include0 = 21;
hint = 29; oberon = 30; errorTrap = 31;
- defopt = {checks, assert, obj, ref, allref, srcpos, signatures};
+ defopt = {checks, assert, obj, ref, allref, srcpos, signatures, ctime};
+
+ version = "0.2";
emulong = 0;
defopt2 = {};
INCL(opts2, emulong)
ELSIF p = "-no-long-calls" THEN
EXCL(opts2, emulong)
+ ELSIF p = "-version" THEN
+ Console.WriteStr(version); Console.WriteLn;
+ Kernel.Quit(0)
+ ELSIF p = "-use-time" THEN
+ INCL(opts, ctime)
+ ELSIF p = "-no-use-time" THEN
+ EXCL(opts, ctime)
ELSE
Console.WriteStr("unknown option ");
Console.WriteStr(p); Console.WriteLn;