3 IMPORT Kernel, Files, Log, Strings, DswOpts, DswProcs, DswDocuments, DevCPM, DevCPT, DevCPR, DevCPS;
5 CONST
14 (* symbol values *)
31 (* module state flags *)
34 (* procesor types *)
37 (* operation system types *)
40 (* compiler types *)
43 (* internal linker types *)
51 TYPE
58 next: Selector
72 VAR
91 BEGIN
120 ELSE
129 END
132 (* --------- options --------- *)
136 BEGIN
141 RETURN i
146 BEGIN
161 END
162 ELSE
164 END
169 BEGIN
181 END
182 ELSE
184 END
189 BEGIN
193 x := def
195 RETURN x
200 BEGIN
202 RETURN p
210 BEGIN
213 ELSE
222 END
227 BEGIN
230 ELSE
236 pars := p
241 BEGIN
247 term := ch; ch := s[i]; INC(i);
248 WHILE (ch # term) & (ch # 0X) DO
249 AddChar(ch); ch := s[i]; INC(i)
250 END;
251 IF ch # 0X THEN ch := s[i]; INC(i)
253 END
256 IF ch # 0X THEN AddLine END
257 ELSE
258 AddChar(ch); ch := s[i]; INC(i)
259 END
260 END;
261 RETURN pars
262 END ToStringList;
264 PROCEDURE Help;
265 BEGIN
297 Kernel.Quit(1)
298 END Help;
300 PROCEDURE Version;
301 BEGIN
302 Log.String(version); Log.Ln;
303 Kernel.Quit(0)
304 END Version;
306 PROCEDURE ParseCommandOpts;
307 BEGIN
314 END
315 END ParseCommandOpts;
317 PROCEDURE ParseExternalOpts;
318 BEGIN
325 END
326 END ParseExternalOpts;
328 PROCEDURE ParseInfoOpts;
329 BEGIN
339 END
340 END ParseInfoOpts;
342 PROCEDURE ParseFileOpts;
343 VAR d: DevCPM.Directory;
344 BEGIN
350 END
351 END ParseFileOpts;
353 PROCEDURE ParseArgs;
354 VAR s: String;
355 BEGIN
356 exe := NIL; auto := FALSE; jobs := 1; def.next := NIL; mno := 0; rno := 0;
357 processor := anymach; os := anyos; compiler := anycp;
358 LOOP
364 s := DswOpts.str;
365 Strings.ToLower(s, s);
370 END
372 s := DswOpts.str;
373 Strings.ToLower(s, s);
382 END
384 s := DswOpts.str;
385 Strings.ToLower(s, s);
389 END
391 s := DswOpts.str;
392 Strings.ToLower(s, s);
395 END
406 | 0X: EXIT
407 END
408 END;
409 END ParseArgs;
411 PROCEDURE CheckParams;
413 PROCEDURE Default (IN name: ARRAY OF CHAR; value: BOOLEAN);
414 BEGIN
415 IF value = TRUE THEN
417 ELSE
419 END
420 END Default;
422 BEGIN
423 IF compiler = anycp THEN
425 ELSIF compiler = cpnative THEN
426 IF processor = anymach THEN
428 ELSIF processor # mach386 THEN
430 END
431 END;
432 IF (compiler = cpfront) & (linker # anyint) THEN
434 END;
435 IF (compiler = cpfront) & (exe # NIL) THEN
437 END;
438 IF (exe # NIL) & (compiler = cpnative) & (linker = anyint) THEN
440 END;
441 IF (linker = dev2) & (os = anyos) THEN
443 END;
446 END;
447 IF (cpcExe = NIL) & (compiler # anycp) THEN
450 END;
451 IF cpcExe = NIL THEN
453 END
454 END;
455 IF (cplExe = NIL) & (linker # anyint) THEN
457 IF cplExe = NIL THEN
459 END
460 END;
461 (* cpompiler *)
464 (* processor *)
468 (* operating system *)
476 (* linker *)
478 END CheckParams;
480 (* --------- loader --------- *)
482 PROCEDURE Import (m: Module; IN name: DevCPT.Name);
483 VAR i, j: INTEGER; imp: Module;
484 BEGIN
485 ASSERT(m # NIL, 20);
491 ELSE
493 i := 0; (* find module in local list *)
494 WHILE (i < m.mno) & (m.imp[i].name$ # name$) DO INC(i) END;
495 IF i >= m.mno THEN
496 j := 0; (* find module in global list *)
497 WHILE (j < mno) & (modList[j].name$ # name$) DO INC(j) END;
498 IF j >= mno THEN
499 IF ~auto THEN
501 END;
502 NEW(imp); imp.name := name$;
503 modList[mno] := imp; INC(mno)
504 ELSE
505 imp := modList[j]
506 END;
507 m.imp[m.mno] := imp; INC(m.mno)
508 ELSE DevCPM.err(1)
509 END
510 END;
511 IF debugImport THEN Log.Ln END;
512 END Import;
514 PROCEDURE ParseModule (m: Module);
515 VAR sym: BYTE; SelfName, impName, aliasName: DevCPT.Name;
517 PROCEDURE err (n: SHORTINT);
518 BEGIN DevCPM.err(n)
519 END err;
521 PROCEDURE CheckSym(s: SHORTINT);
522 BEGIN
523 IF sym = s THEN DevCPS.Get(sym) ELSE DevCPM.err(s) END
524 END CheckSym;
526 BEGIN
528 DevCPS.Init; DevCPS.Get(sym);
529 IF sym = module THEN DevCPS.Get(sym) ELSE err(16) END;
530 IF sym = ident THEN
531 SelfName := DevCPS.name$; DevCPS.Get(sym);
532 IF sym = lbrak THEN
533 INCL(DevCPM.options, DevCPM.interface); DevCPS.Get(sym);
534 IF sym = eql THEN DevCPS.Get(sym)
535 ELSE INCL(DevCPM.options, DevCPM.noCode)
536 END;
537 IF sym = string THEN INCL(m.flags, library); DevCPS.Get(sym)
538 ELSE err(string)
539 END;
540 CheckSym(rbrak)
541 END;
542 CheckSym(semicolon);
543 IF sym = import THEN DevCPS.Get(sym);
544 LOOP
545 IF sym = ident THEN
546 aliasName := DevCPS.name$; impName := aliasName$; DevCPS.Get(sym);
547 IF sym = becomes THEN DevCPS.Get(sym);
548 IF sym = ident THEN impName := DevCPS.name$; DevCPS.Get(sym) ELSE err(ident) END
549 END;
550 Import(m, impName)
551 ELSE err(ident)
552 END;
553 IF sym = comma THEN DevCPS.Get(sym)
554 ELSIF sym = ident THEN err(comma)
555 ELSE EXIT
556 END
557 END;
558 CheckSym(semicolon)
559 END;
560 LOOP (* preprocessor must read module fully *)
561 IF sym = end THEN
562 DevCPS.Get(sym);
563 IF sym = ident THEN
564 DevCPS.Get(sym);
565 IF sym = period THEN
566 IF DevCPS.name # SelfName THEN err(4) END;
567 EXIT
568 ELSIF sym = eof THEN
569 err(period);
570 EXIT
571 END
572 ELSIF sym = eof THEN
573 err(ident);
574 EXIT
575 END;
576 ELSIF sym = eof THEN
577 err(end);
578 EXIT
579 ELSE
580 DevCPS.Get(sym);
581 END
582 END
583 ELSE err(ident)
584 END;
585 DevCPS.str := NIL
586 END ParseModule;
588 PROCEDURE CheckModule (m: Module; source: String; OUT ok: BOOLEAN);
589 VAR s: Selector;
590 BEGIN
591 DevCPM.Init(source);
592 DevCPM.symList := m.dir;
593 (*DevCPM.codePath := m.outcode;*)
594 (*DevCPM.symPath := m.outsym;*)
595 DevCPM.name := m.name$;
596 INCL(DevCPM.options, DevCPM.comAware);
597 IF trap THEN
598 INCL(DevCPM.options, DevCPM.trap)
599 END;
600 (*IF oberon IN m.opts THEN INCL(DevCPM.options, DevCPM.oberon) END;*)
601 DevCPR.Init;
602 s := def.next;
603 WHILE s # NIL DO
604 DevCPR.Set(s.name, s.value);
605 s := s.next
606 END;
607 ParseModule(m);
608 DevCPR.Check;
609 ok := DevCPM.noerr;
610 DevCPR.Close;
611 DevCPM.InsertMarks;
612 DevCPM.Close;
613 Kernel.FastCollect
614 END CheckModule;
616 PROCEDURE MakePath (IN dir, name: Files.Name; IN type: Files.Type; OUT path: Files.Name);
617 BEGIN
621 END;
622 Kernel.MakeFileName(path, type)
623 END MakePath;
625 PROCEDURE Open (loc: Files.Locator; IN sub, name: Files.Name; OUT path: Files.Name; OUT text: DswDocuments.Model);
626 VAR res: INTEGER;
627 BEGIN
628 ASSERT(loc # NIL, 20);
633 IF text = NIL THEN
638 loc := Files.dir.This(sysDir).This(modDir);
640 IF text = NIL THEN
643 IF text = NIL THEN
645 END
646 END
647 END
648 END
649 END Open;
651 PROCEDURE GetSource (IN modName: ARRAY OF CHAR; list: DevCPM.Directory; OUT path: Files.Name; OUT s: String);
652 VAR
653 sub, name: Files.Name; loc: Files.Locator; base: DevCPM.Directory;
654 text: DswDocuments.Model; r: DswDocuments.Reader; i, res: INTEGER;
655 BEGIN
657 Kernel.SplitName(modName, sub, name);
658 loc := Files.dir.This(sub).This(modDir);
659 Open(loc, sub, name, path, text);
660 WHILE (text = NIL) & (base # NIL) DO
661 ASSERT(base.legacy, 100);
662 loc := Files.dir.This(base.path).This(sub).This(modDir);
663 Open(loc, sub, name, path, text);
664 base := base.next
665 END;
666 IF text # NIL THEN
667 NEW(s, text.Length() + 1);
668 IF s # NIL THEN
669 r := text.NewReader(NIL);
670 FOR i := 0 TO text.Length() - 1 DO
671 r.Read; s[i] := r.char
672 END
673 END
674 END
675 END GetSource;
677 PROCEDURE Trace (m, parent: Module; VAR lno: INTEGER);
678 VAR i: INTEGER;
679 BEGIN
680 IF ~(trace IN m.flags) THEN
681 INCL(m.flags, trace);
682 FOR i := 0 TO m.mno - 1 DO
683 Trace(m.imp[i], m, lno);
684 m.depth := MAX(m.depth, m.imp[i].depth + 1)
685 END;
686 IF ~(imported IN m.flags) THEN
687 INCL(m.flags, imported);
688 lnkList[lno] := m;
689 INC(lno)
690 END;
691 EXCL(m.flags, trace)
692 ELSE
693 Error(20, m.name$, parent.name$, 0)
694 END
695 END Trace;
697 PROCEDURE Sort;
698 VAR i, j: INTEGER; m: Module;
699 BEGIN
700 ASSERT((mno = 0) OR (lnkList[0] # NIL), 20);
701 cmpList := lnkList;
702 i := 1;
703 WHILE i < mno DO
704 m := cmpList[i];
705 j := i - 1;
706 WHILE (j >= 0) & (cmpList[j].depth > m.depth) DO
707 cmpList[j + 1] := cmpList[j];
708 DEC(j)
709 END;
710 cmpList[j + 1] := m;
711 INC(i)
712 END
713 END Sort;
715 PROCEDURE CheckDeps;
716 VAR i, j, num: INTEGER; m: Module; src: String; ok: BOOLEAN;
717 BEGIN
718 i := 0; rno := mno;
719 WHILE (err = 0) & (i < mno) DO
720 m := modList[i];
721 GetSource(m.name$, m.dir, m.odc, src);
722 IF src # NIL THEN
723 CheckModule(m, src, ok);
724 IF ~ok THEN INC(err) END
725 ELSE
727 END;
728 INC(i)
729 END;
730 INC(err, werr);
731 num := 0;
732 FOR i := 0 TO rno - 1 DO
733 Trace(modList[i], modList[i], num)
734 END;
735 ASSERT((err # 0) OR (num = mno), 100);
736 Sort;
737 IF debugOrder THEN
739 FOR i := 0 TO mno - 1 DO
741 END
742 END
743 END CheckDeps;
745 PROCEDURE IsCompiled (m: Module): BOOLEAN;
746 CONST target = {hasSym, hasObj};
747 VAR i: INTEGER; ready: BOOLEAN;
748 BEGIN
749 ASSERT(m # NIL, 20);
750 i := 0;
751 ready := ~(hasErrors IN m.flags) & (m.flags * target = target);
752 WHILE ready & (i < m.mno) DO
753 ready := IsCompiled(m.imp[i]);
754 INC(i)
755 END;
756 RETURN ready
757 END IsCompiled;
759 PROCEDURE Ready (m: Module): BOOLEAN;
760 CONST target = {hasSym, hasObj};
761 VAR i: INTEGER; ready: BOOLEAN;
762 BEGIN
763 i := 0;
764 ready := ~(hasErrors IN m.flags) & (m.flags * target # target) & (m.worker = NIL);
765 WHILE ready & (i < m.mno) DO
766 ready := IsCompiled(m.imp[i]);
767 INC(i)
768 END;
769 RETURN ready
770 END Ready;
772 PROCEDURE PutParams (w: DswProcs.Process; p: StringList);
773 VAR i: INTEGER;
774 BEGIN
775 ASSERT(w # NIL, 20);
777 IF p # NIL THEN
779 w.PutParam(p[0]);
780 FOR i := 1 TO LEN(p) - 1 DO
782 w.PutParam(p[i])
783 END;
785 END;
786 IF debugArgs THEN Log.Ln END
787 END PutParams;
789 PROCEDURE PutPathList (w: DswProcs.Process; IN par: ARRAY OF CHAR; base: DevCPM.Directory);
790 BEGIN
791 IF base # NIL THEN
792 PutPathList(w, par, base.next); (* in revese order *)
793 w.PutParam(par);
794 w.PutParam(base.path);
795 END
796 END PutPathList;
798 PROCEDURE ExecuteCompiler (m: Module): DswProcs.Process;
799 VAR w: DswProcs.Process; ok: BOOLEAN; s: Selector;
800 BEGIN
801 ASSERT(m # NIL, 20);
803 ASSERT(m.worker = NIL, 22);
804 w := DswProcs.dir.New();
805 w.Program(cpcExe);
806 IF trap THEN
808 END;
811 s := def.next;
812 WHILE s # NIL DO
815 END;
816 w.PutParam(s.name$);
817 s := s.next
818 END;
819 PutParams(w, cpcArgs);
820 w.PutParam(m.odc);
821 w.Execute(ok);
822 IF ok THEN
824 ELSE
825 w := NIL
826 END;
827 RETURN w
828 END ExecuteCompiler;
830 PROCEDURE Compile;
831 VAR i, j, num: INTEGER; ok: BOOLEAN; m: Module; w: DswProcs.Process;
832 BEGIN
833 IF mno = 0 THEN RETURN END;
834 num := 0; j := 0;
835 WHILE (err = 0) & (num < mno) OR (j > 0) DO
836 i := 0;
837 WHILE (err = 0) & (i < mno) & (j < jobs) DO
838 m := cmpList[i];
839 IF Ready(m) THEN
840 w := ExecuteCompiler(m);
842 IF w # NIL THEN
844 m.worker := w;
845 INC(j)
846 ELSE
848 INCL(m.flags, hasErrors);
849 INC(err)
850 END;
851 IF debugJobs THEN Log.Ln END
852 END;
853 INC(i)
854 END;
855 WHILE (err = 0) & (j >= jobs) OR (j > 0) DO
856 i := 0;
857 WHILE (j > 0) & (i < mno) DO
858 m := cmpList[i];
859 w := m.worker;
860 IF (w # NIL) & w.IsTerminated() THEN
862 IF w.Result() = 0 THEN
863 INCL(m.flags, hasObj);
864 INCL(m.flags, hasSym);
865 INC(num)
866 ELSE
867 INCL(m.flags, hasErrors);
868 INC(err)
869 END;
870 m.worker := NIL;
871 DEC(j)
872 END;
873 INC(i)
874 END
875 END
876 END
877 END Compile;
879 PROCEDURE LinkDev2;
880 VAR p: DswProcs.Process; i, res: INTEGER; ok: BOOLEAN;
881 BEGIN
883 ASSERT(processor = mach386, 21);
884 ASSERT(compiler = cpnative, 22);
885 p := DswProcs.dir.New();
886 p.Program(cplExe);
887 IF trap THEN
889 END;
891 IF os # anyos THEN
893 CASE os OF
899 END
900 END;
908 p.PutParam(exe);
909 PutParams(p, cplArgs);
910 i := 0;
911 WHILE i < mno DO
912 IF ~(library IN lnkList[i].flags) THEN
913 p.PutParam(lnkList[i].name$)
914 END;
915 INC(i)
916 END;
917 p.Execute(ok);
918 IF ok THEN
920 res := p.Result();
921 IF res # 0 THEN
923 END
924 ELSE
926 END
927 END LinkDev2;
929 PROCEDURE Link;
930 BEGIN
931 IF exe # NIL THEN
932 CASE linker OF
933 | anyint: (* do not link *)
934 | dev2: LinkDev2
935 END
936 END
937 END Link;
939 PROCEDURE PrintInfo;
940 VAR i: INTEGER;
941 BEGIN
942 IF printCompileModList THEN
943 FOR i := 0 TO mno - 1 DO
945 END;
946 Log.Ln
947 ELSIF printLinkModList THEN
948 FOR i := 0 TO mno - 1 DO
949 IF ~(library IN lnkList[i].flags) THEN
951 END
952 END;
953 Log.Ln
954 ELSIF printCompileFileList THEN
955 FOR i := 0 TO mno - 1 DO
957 END;
958 Log.Ln
959 (*
960 ELSIF printLinkFileList THEN
961 FOR i := 0 TO mno - 1 DO
962 IF ~(library IN lnkList[i].flags) THEN
964 END
965 END;
966 Log.Ln
967 *)
968 END
969 END PrintInfo;
971 PROCEDURE Main;
972 BEGIN
973 IF Kernel.trapCount = 0 THEN
974 ParseArgs;
975 IF err = 0 THEN
976 IF printCompileModList OR printLinkModList OR printCompileFileList THEN
977 auto := TRUE
978 END;
979 CheckParams;
980 IF err = 0 THEN
981 CheckDeps;
982 IF err = 0 THEN
983 IF printCompileModList OR printLinkModList OR printCompileFileList THEN
984 PrintInfo
985 ELSE
986 Compile;
987 IF err = 0 THEN
988 Link
989 END
990 END
991 END
992 END
993 END
995 END;
996 IF err = 0 THEN Kernel.Quit(0)
997 ELSE Kernel.Quit(1)
998 END
999 END Main;
1001 BEGIN
1002 NEW(def);
1003 ASSERT(def # NIL, 100);
1004 Kernel.intTrap := FALSE;
1005 Kernel.Start(Main)
1006 END DswMakeMain.