restore Build,TODO from r57911

git-svn-id: svn://tug.org/texlive/trunk@57915 c570f23f-e606-0410-a88d-b1316a301751

1 files changed, 488 insertions, 0 deletions

diff --git a/Build/source/texk/web2c/omegaware/otangle.ch b/Build/source/texk/web2c/omegaware/otangle.ch
new file mode 100644
index 00000000000..16eac2844ad
--- /dev/null
+++ b/Build/source/texk/web2c/omegaware/otangle.ch
@@ -0,0 +1,488 @@
+% otangle.ch: web2c changes to file tangle.ch
+%
+% This file is part of the Omega project, which
+% is based in the web2c distribution of TeX.
+%
+% Copyright (c) 1994--1998 John Plaice and Yannis Haralambous
+% applies only to the changes to the original tangle.ch.
+%
+% otangle.ch for C compilation with web2c.
+%
+%  10/9/82 (HT) Original version
+%  11/29   (HT) New version, with conversion to lowercase handled properly
+%               Also, new control sequence:
+%                       @=...text...@>   Put ...text... verbatim on a line
+%                                        by itself in the Pascal output.
+%                                        (argument must fit on one line)
+%               This control sequence facilitates putting #include "gcons.h"
+%               (for example) in files meant for the pc compiler.
+%               Also, changed command line usage, so that the absence of a
+%               change file implies no change file, rather than one with the
+%               same name as the web file, with .ch at the end.
+%  1/15/83 (HT) Changed to work with version 1.2, which incorporates the
+%               above change (though unbundling the output line breaking),
+%               so mainly had to remove stuff.
+%  2/17    (HT) Fixed bug that caused 0-9 in identifiers to be converted to
+%               Q-Y on output.
+%  3/18    (HT) Brought up to work with Version 1.5.  Added -r command line
+%               flag to cause a .rpl file to be written with all the lines
+%               of the .web file that were replaced because of the .ch file
+%               (useful for comparing with previous .rpl files, to see if a
+%               change file will still work with a new version of a .web file)
+%               Also, made it write a newline just before exit.
+%  4/12    (PC) Merged with Pavel's version, including adding a call to exit()
+%               at the end depending upon the value of history.
+%  4/16    (PC) Brought up to date with version 1.5 released April, 1983.
+%  6/28   (HWT) Brought up to date with version 1.7 released June, 1983.
+%               With new change file format, the -r option is now unnecessary.
+%  7/17   (HWT) Brought up to date with version 2.0 released July, 1983.
+% 12/18/83 (ETM) Brought up to date with version 2.5 released November, 1983.
+% 11/07/84 (ETM) Brought up to date with version 2.6.
+% 12/15/85 (ETM) Brought up to date with version 2.8.
+% 03/07/88 (ETM) Converted for use with WEB2C
+% 01/02/89 (PAM) Cosmetic upgrade to version 2.9
+% 11/30/89 (KB)  Version 4.
+% (more recent changes in the ChangeLog)
+
+@x [0] Print only changes.
+\pageno=\contentspagenumber \advance\pageno by 1
+@y
+\pageno=\contentspagenumber \advance\pageno by 1
+\let\maybe=\iffalse
+\def\title{TANGLE changes for C}
+@z
+
+@x [1] Define my_name
+@d banner=='This is OTANGLE, Version 4.4'
+@y
+@d my_name=='otangle'
+@d banner=='This is OTANGLE, Version 4.4'
+@z
+
+@x [2] Eliminate the |end_of_TANGLE| label.
+@d end_of_TANGLE = 9999 {go here to wrap it up}
+
+@y
+@z
+@x
+label end_of_TANGLE; {go here to finish}
+@y
+@z
+
+@x [?] Define and call parse_arguments.
+procedure initialize;
+  var @<Local variables for initialization@>@/
+  begin @<Set initial values@>@/
+@y
+@<Define |parse_arguments|@>
+procedure initialize;
+  var @<Local variables for initialization@>@/
+  begin
+    kpse_set_program_name (argv[0], my_name);
+    parse_arguments;
+    @<Set initial values@>@/
+@z
+
+@x [8] Constants: increase id lengths, for TeX--XeT and tex2pdf.
+@!buf_size=100; {maximum length of input line}
+@y
+@!buf_size=3000; {maximum length of input line}
+@z
+@x
+@!max_names=10239; {number of identifiers, strings, module names;
+  must be less than 10240}
+@!max_texts=10239; {number of replacement texts, must be less than 10240}
+@y
+@!max_names=10239; {number of identifiers, strings, module names;
+  must be less than 10240}
+@!max_texts=10239; {number of replacement texts, must be less than 10240}
+@z
+
+@x
+@!stack_size=50; {number of simultaneous levels of macro expansion}
+@!max_id_length=12; {long identifiers are chopped to this length, which must
+  not exceed |line_length|}
+@!unambig_length=7; {identifiers must be unique if chopped to this length}
+  {note that 7 is more strict than \PASCAL's 8, but this can be varied}
+@y
+@!stack_size=100; {number of simultaneous levels of macro expansion}
+@!max_id_length=50; {long identifiers are chopped to this length, which must
+  not exceed |line_length|}
+@!unambig_length=25; {identifiers must be unique if chopped to this length}
+@z
+
+% [??] The text_char type is used as an array index into xord.  The
+% default type `char' produces signed integers, which are bad array
+% indices in C.
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@x
+@d text_char == char {the data type of characters in text files}
+@y
+@d text_char == ASCII_code {the data type of characters in text files}
+@z
+
+@x [17] enable maximum character set
+for i:=1 to @'37 do xchr[i]:=' ';
+for i:=@'200 to @'377 do xchr[i]:=' ';
+@y
+for i:=1 to @'37 do xchr[i]:=chr(i);
+for i:=@'200 to @'377 do xchr[i]:=chr(i);
+@z
+
+@x [20] terminal output: use standard i/o
+@d print(#)==write(term_out,#) {`|print|' means write on the terminal}
+@y
+@d term_out==stdout
+@d print(#)==write(term_out,#) {`|print|' means write on the terminal}
+@z
+
+@x
+@<Globals...@>=
+@!term_out:text_file; {the terminal as an output file}
+@y
+@z
+
+@x [21] init terminal
+@ Different systems have different ways of specifying that the output on a
+certain file will appear on the user's terminal. Here is one way to do this
+on the \PASCAL\ system that was used in \.{TANGLE}'s initial development:
+@^system dependencies@>
+
+@<Set init...@>=
+rewrite(term_out,'TTY:'); {send |term_out| output to the terminal}
+@y
+@ Different systems have different ways of specifying that the output on a
+certain file will appear on the user's terminal.
+@^system dependencies@>
+
+@<Set init...@>=
+ {Nothing need be done for C.}
+@z
+
+@x [22] flush terminal buffer
+@d update_terminal == break(term_out) {empty the terminal output buffer}
+@y
+@d update_terminal == fflush(term_out) {empty the terminal output buffer}
+@z
+
+@x [24] open input files
+begin reset(web_file); reset(change_file);
+@y
+begin web_file := kpse_open_file(web_name, kpse_web_format);
+if chg_name then change_file := kpse_open_file(chg_name, kpse_web_format);
+@z
+
+@x [26] Open output files (except for the pool file).
+rewrite(Pascal_file); rewrite(pool);
+@y
+rewrite (Pascal_file, pascal_name);
+@z
+
+@x [28] Fix f^.
+    begin buffer[limit]:=xord[f^]; get(f);
+    incr(limit);
+    if buffer[limit-1]<>" " then final_limit:=limit;
+    if limit=buf_size then
+      begin while not eoln(f) do get(f);
+@y
+    begin buffer[limit]:=xord[getc(f)];
+    incr(limit);
+    if buffer[limit-1]<>" " then final_limit:=limit;
+    if limit=buf_size then
+      begin while not eoln(f) do vgetc(f);
+@z
+
+@x [??] Fix `jump_out'.
+@d fatal_error(#)==begin new_line; print(#); error; mark_fatal; jump_out;
+  end
+
+@<Error handling...@>=
+procedure jump_out;
+begin goto end_of_TANGLE;
+end;
+@y
+@d jump_out==uexit(1)
+@d fatal_error(#)==begin new_line; write(stderr, #);
+     error; mark_fatal; uexit(1);
+  end
+@z
+
+@x [38] Provide for a larger `byte_mem' and `tok_mem'. Extra capacity:
+@d ww=2 {we multiply the byte capacity by approximately this amount}
+@d zz=3 {we multiply the token capacity by approximately this amount}
+@y
+@d ww=3 {we multiply the byte capacity by approximately this amount}
+@d zz=4 {we multiply the token capacity by approximately this amount}
+@z
+
+@x [58] Remove conversion to uppercase
+    begin if buffer[i]>="a" then chopped_id[s]:=buffer[i]-@'40
+    else chopped_id[s]:=buffer[i];
+@y
+    begin chopped_id[s]:=buffer[i];
+@z
+
+@x [63] Remove conversion to uppercase
+    begin if c>="a" then c:=c-@'40; {merge lowercase with uppercase}
+@y
+    begin
+@z
+
+@x [64] Delayed pool file opening.
+@<Define and output a new string...@>=
+begin ilk[p]:=numeric; {strings are like numeric macros}
+if l-double_chars=2 then {this string is for a single character}
+  equiv[p]:=buffer[id_first+1]+1073741824
+else  begin equiv[p]:=string_ptr+1073741824;
+  l:=l-double_chars-1;
+@y
+@<Define and output a new string...@>=
+begin ilk[p]:=numeric; {strings are like numeric macros}
+if l-double_chars=2 then {this string is for a single character}
+  equiv[p]:=buffer[id_first+1]+1073741824
+else  begin
+  {Avoid creating empty pool files.}
+  if string_ptr = 65536 then begin
+    {Change |".web"| to |".pool"| and use the current directory.}
+    pool_name := basename_change_suffix (web_name, '.web', '.pool');
+    rewrite (pool, pool_name);
+  end;
+  equiv[p]:=string_ptr+1073741824;
+  l:=l-double_chars-1;
+@z
+
+@x [105] Accept DIV, div, MOD, and mod
+ (((out_contrib[1]="D")and(out_contrib[2]="I")and(out_contrib[3]="V")) or@|
+ ((out_contrib[1]="M")and(out_contrib[2]="O")and(out_contrib[3]="D")) ))or@|
+@^uppercase@>
+@y
+  (((out_contrib[1]="D")and(out_contrib[2]="I")and(out_contrib[3]="V")) or@|
+  ((out_contrib[1]="d")and(out_contrib[2]="i")and(out_contrib[3]="v")) or@|
+  ((out_contrib[1]="M")and(out_contrib[2]="O")and(out_contrib[3]="D")) or@|
+  ((out_contrib[1]="m")and(out_contrib[2]="o")and(out_contrib[3]="d")) ))or@|
+@z
+
+@x [110] lowercase ids
+@^uppercase@>
+  if ((out_buf[out_ptr-3]="D")and(out_buf[out_ptr-2]="I")and
+    (out_buf[out_ptr-1]="V"))or @/
+     ((out_buf[out_ptr-3]="M")and(out_buf[out_ptr-2]="O")and
+    (out_buf[out_ptr-1]="D")) then@/ goto bad_case
+@y
+  if ((out_buf[out_ptr-3]="D")and(out_buf[out_ptr-2]="I")and
+    (out_buf[out_ptr-1]="V"))or @/
+     ((out_buf[out_ptr-3]="d")and(out_buf[out_ptr-2]="i")and
+    (out_buf[out_ptr-1]="v"))or @/
+     ((out_buf[out_ptr-3]="M")and(out_buf[out_ptr-2]="O")and
+    (out_buf[out_ptr-1]="D"))or @/
+     ((out_buf[out_ptr-3]="m")and(out_buf[out_ptr-2]="o")and
+    (out_buf[out_ptr-1]="d")) then@/ goto bad_case
+@z
+
+@x [114] lowercase operators (`and', `or', etc.)
+and_sign: begin out_contrib[1]:="A"; out_contrib[2]:="N"; out_contrib[3]:="D";
+@^uppercase@>
+  send_out(ident,3);
+  end;
+not_sign: begin out_contrib[1]:="N"; out_contrib[2]:="O"; out_contrib[3]:="T";
+  send_out(ident,3);
+  end;
+set_element_sign: begin out_contrib[1]:="I"; out_contrib[2]:="N";
+  send_out(ident,2);
+  end;
+or_sign: begin out_contrib[1]:="O"; out_contrib[2]:="R"; send_out(ident,2);
+@y
+and_sign: begin out_contrib[1]:="a"; out_contrib[2]:="n"; out_contrib[3]:="d";
+  send_out(ident,3);
+  end;
+not_sign: begin out_contrib[1]:="n"; out_contrib[2]:="o"; out_contrib[3]:="t";
+  send_out(ident,3);
+  end;
+set_element_sign: begin out_contrib[1]:="i"; out_contrib[2]:="n";
+  send_out(ident,2);
+  end;
+or_sign: begin out_contrib[1]:="o"; out_contrib[2]:="r"; send_out(ident,2);
+@z
+
+@x [116] Remove conversion to uppercase
+@ Single-character identifiers represent themselves, while longer ones
+appear in |byte_mem|. All must be converted to uppercase,
+with underlines removed. Extremely long identifiers must be chopped.
+
+(Some \PASCAL\ compilers work with lowercase letters instead of
+uppercase. If this module of \.{TANGLE} is changed, it's also necessary
+to change from uppercase to lowercase in the modules that are
+listed in the index under ``uppercase''.)
+@^system dependencies@>
+@^uppercase@>
+
+@d up_to(#)==#-24,#-23,#-22,#-21,#-20,#-19,#-18,#-17,#-16,#-15,#-14,
+  #-13,#-12,#-11,#-10,#-9,#-8,#-7,#-6,#-5,#-4,#-3,#-2,#-1,#
+
+@<Cases related to identifiers@>=
+"A",up_to("Z"): begin out_contrib[1]:=cur_char; send_out(ident,1);
+  end;
+"a",up_to("z"): begin out_contrib[1]:=cur_char-@'40; send_out(ident,1);
+  end;
+identifier: begin k:=0; j:=byte_start[cur_val]; w:=cur_val mod ww;
+  while (k<max_id_length)and(j<byte_start[cur_val+ww]) do
+    begin incr(k); out_contrib[k]:=byte_mem[w,j]; incr(j);
+    if out_contrib[k]>="a" then out_contrib[k]:=out_contrib[k]-@'40
+    else if out_contrib[k]="_" then decr(k);
+    end;
+  send_out(ident,k);
+  end;
+@y
+@ Single-character identifiers represent themselves, while longer ones
+appear in |byte_mem|. All must be converted to lowercase,
+with underlines removed. Extremely long identifiers must be chopped.
+@^system dependencies@>
+
+@d up_to(#)==#-24,#-23,#-22,#-21,#-20,#-19,#-18,#-17,#-16,#-15,#-14,
+  #-13,#-12,#-11,#-10,#-9,#-8,#-7,#-6,#-5,#-4,#-3,#-2,#-1,#
+
+@<Cases related to identifiers@>=
+"A",up_to("Z"),
+"a",up_to("z"): begin out_contrib[1]:=cur_char; send_out(ident,1);
+  end;
+identifier: begin k:=0; j:=byte_start[cur_val]; w:=cur_val mod ww;
+  while (k<max_id_length)and(j<byte_start[cur_val+ww]) do
+    begin incr(k); out_contrib[k]:=byte_mem[w,j]; incr(j);
+    if out_contrib[k]="_" then decr(k);
+    end;
+  send_out(ident,k);
+  end;
+@z
+
+@x [179] make term_in = input
+any error stop will set |debug_cycle| to zero.
+@y
+any error stop will set |debug_cycle| to zero.
+
+@d term_in==stdin
+@z
+
+@x
+@!term_in:text_file; {the user's terminal as an input file}
+@y
+@z
+
+@x [180] remove term_in reset
+reset(term_in,'TTY:','/I'); {open |term_in| as the terminal, don't do a |get|}
+@y
+@z
+
+@x [182] write newline just before exit; use value of |history|
+print_ln(banner); {print a ``banner line''}
+@y
+print (banner); {print a ``banner line''}
+print_ln (version_string);
+@z
+
+@x Eliminate the |end_of_TANGLE| label.
+end_of_TANGLE:
+@y
+@z
+
+@x
+@<Print the job |history|@>;
+@y
+@<Print the job |history|@>;
+new_line;
+if (history <> spotless) and (history <> harmless_message)
+then uexit (1)
+else uexit (0);
+@z
+
+@x [188] System-dependent changes.
+This module should be replaced, if necessary, by changes to the program
+that are necessary to make \.{TANGLE} work at a particular installation.
+It is usually best to design your change file so that all changes to
+previous modules preserve the module numbering; then everybody's version
+will be consistent with the printed program. More extensive changes,
+which introduce new modules, can be inserted here; then only the index
+itself will get a new module number.
+@^system dependencies@>
+@y
+Parse a Unix-style command line.
+
+@d argument_is (#) == (strcmp (long_options[option_index].name, #) = 0)
+
+@<Define |parse_arguments|@> =
+procedure parse_arguments;
+const n_options = 3; {Pascal won't count array lengths for us.}
+var @!long_options: array[0..n_options] of getopt_struct;
+    @!getopt_return_val: integer;
+    @!option_index: c_int_type;
+    @!current_option: 0..n_options;
+begin
+  @<Define the option table@>;
+  repeat
+    getopt_return_val := getopt_long_only (argc, argv, '', long_options,
+                                           address_of (option_index));
+    if getopt_return_val = -1 then begin
+      {End of arguments; we exit the loop below.} ;
+
+    end else if getopt_return_val = "?" then begin
+      usage (my_name);
+
+    end else if argument_is ('help') then begin
+      usage_help (OTANGLE_HELP, nil);
+
+    end else if argument_is ('version') then begin
+      print_version_and_exit
+        (banner, nil, 'J. Plaice, Y. Haralambous, D.E. Knuth', nil);
+
+    end; {Else it was a flag; |getopt| has already done the assignment.}
+  until getopt_return_val = -1;
+
+  {Now |optind| is the index of first non-option on the command line.}
+  if (optind + 1 <> argc) and (optind + 2 <> argc) then begin
+    write_ln (stderr, my_name, ': Need one or two file arguments.');
+    usage (my_name);
+  end;
+
+  {Supply |".web"| and |".ch"| extensions if necessary.}
+  web_name := extend_filename (cmdline (optind), 'web');
+  if optind + 2 = argc then begin
+    chg_name := extend_filename (cmdline (optind + 1), 'ch');
+  end;
+
+  {Change |".web"| to |".p"| and use the current directory.}
+  pascal_name := basename_change_suffix (web_name, '.web', '.p');
+end;
+
+@ Here are the options we allow.  The first is one of the standard GNU options.
+@.-help@>
+
+@<Define the option...@> =
+current_option := 0;
+long_options[current_option].name := 'help';
+long_options[current_option].has_arg := 0;
+long_options[current_option].flag := 0;
+long_options[current_option].val := 0;
+incr (current_option);
+
+@ Another of the standard options.
+@.-version@>
+
+@<Define the option...@> =
+long_options[current_option].name := 'version';
+long_options[current_option].has_arg := 0;
+long_options[current_option].flag := 0;
+long_options[current_option].val := 0;
+incr (current_option);
+
+@ An element with all zeros always ends the list.
+
+@<Define the option...@> =
+long_options[current_option].name := 0;
+long_options[current_option].has_arg := 0;
+long_options[current_option].flag := 0;
+long_options[current_option].val := 0;
+
+@ Global filenames.
+
+@<Globals...@>=
+@!web_name,@!chg_name,@!pascal_name,@!pool_name:const_c_string;
+@z