src/Tools/8bit/perl/generators/gen-isa2latex.pl
author wenzelm
Mon, 17 Mar 1997 12:25:22 +0100
changeset 2795 d136fff43370
parent 1907 d069f23e941f
child 4173 e87fa74113aa
permissions -rwxr-xr-x
fixed perl path;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2795
d136fff43370 fixed perl path;
wenzelm
parents: 1907
diff changeset
     1
#!/usr/local/dist/bin/perl
1826
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     2
'di';
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     3
'ig00';
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     4
###############################################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     5
# Title:      Tools/8bit/perl/generators/gen-isa2latex
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     6
# ID:         $Id$
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     7
# Author:     Franz Regensburger
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     8
# Copyright   1996 TU Muenchen
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
     9
#
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    10
# configures the converter isa2latex with user provided settings
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    11
#
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    12
# Franz Regensburger <regensbu@informatik.tu-muenchen.de> 8.3.95
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    13
# 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    14
###############################################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    15
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    16
# I like to see the output as it happens (flushed output)
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    17
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    18
$| = 1;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    19
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    20
# cash current working directory 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    21
require "pwd.pl";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    22
&initpwd;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    23
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    24
$initial_dir = $ENV{'PWD'};
1907
d069f23e941f Minor improvements of the scripts
oheimb
parents: 1826
diff changeset
    25
$GMAKE= "gmake";
1826
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    26
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    27
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    28
# comand line processing
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    29
# processes all known switches and ingnores others.
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    30
# first non-switch which is the name of a text file is 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    31
# interpreted as name of configuration file.
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    32
#
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    33
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    34
# initialize
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    35
$config_file="";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    36
$do_debug = 0;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    37
$do_ddebug = 0;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    38
#$install_source = 0;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    39
#$cleanup = 0;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    40
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    41
while (@ARGV){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    42
    $cur_arg = shift @ARGV;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    43
    if ($cur_arg eq '-d')  {$do_debug = 1;}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    44
    elsif ($cur_arg eq '-dd') {$do_debug = 1; $do_ddebug = 1;}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    45
#    elsif ($cur_arg eq '-c')  {$cleanup = 1;}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    46
#    elsif ($cur_arg eq '-s')  {$install_source = 1;}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    47
    elsif ((-T $cur_arg) && !$config_file) {$config_file = $cur_arg;}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    48
}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    49
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    50
# complain if no configuration file is found
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    51
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    52
if ($config_file eq "") {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    53
    print "\nno configuration file suplied or argument is not a text file\n\n";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    54
    print "usage gen-isa2latex [-d -dd ] configfile\n", 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    55
#    print "usage gen-isa2latex [-d -dd -s -c ] configfile\n", 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    56
          "options must be separated by blanks!";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    57
    die "\n";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    58
}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    59
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    60
print "debug mode is on\n" if $do_debug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    61
print "double debug mode is on\n" if $do_ddebug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    62
print "name of configuration file is $config_file\n" if $do_debug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    63
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    64
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    65
# open the configuration file
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    66
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    67
open(CONFIG,$config_file) || die "can't open $config_file: $!\n";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    68
print "opened configuration file,\nprocessing\n" if $do_debug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    69
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    70
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    71
# search for general setup variables
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    72
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    73
print "\ngeneral setup\n" if $do_debug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    74
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    75
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    76
# search for CONV_SOURCE_DIR
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    77
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    78
$conv_source_dir = 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    79
    &look_for_value('^\s*CONV_SOURCE_DIR\s*"(.*)"',"CONV_SOURCE_DIR");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    80
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    81
if ($conv_source_dir eq "") {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    82
    die "\ncan't find CONV_SOURCE_DIR  in configuration file\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    83
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    84
if (! (-d $conv_source_dir)){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    85
    die "\nCONV_SOURCE_DIR is not a directory\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    86
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    87
if (! (-r $conv_source_dir)){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    88
    die "\nno read permission for directory CONV_SOURCE_DIR \n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    89
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    90
#if ($install_source && !(-w $conv_source_dir)){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    91
#    die "\noption -s used but no write permission for directory CONV_SOURCE_DIR\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    92
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    93
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    94
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    95
# search for CONV_TEMP_DIR
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    96
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    97
#$conv_temp_dir = &look_for_value('^\s*CONV_TEMP_DIR\s*"(.*)"',"CONV_TEMP_DIR");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    98
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
    99
#if ($conv_temp_dir eq "") {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   100
#    die "\ncan't find CONV_TEMP_DIR  in configuration file\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   101
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   102
#if (! (-d $conv_temp_dir)){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   103
#    die "\nCONV_TEMP_DIR is not a directory\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   104
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   105
#if (!(-r $conv_temp_dir && -w $conv_temp_dir && -x $conv_temp_dir)){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   106
#    die "\nneed read, write and execute permission for directory CONV_TEMP_DIR\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   107
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   108
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   109
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   110
# search for CONV_SUB_DIR
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   111
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   112
#$conv_sub_dir = &look_for_value('^\s*CONV_SUB_DIR\s*"(.*)"',"CONV_SUB_DIR");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   113
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   114
#if ($conv_sub_dir eq "") {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   115
#    die "\ncan't find CONV_SUB_DIR  in configuration file\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   116
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   117
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   118
# process switsch -c for cleanup
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   119
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   120
#if ($cleanup) { # cleanup $conv_sub_dir
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   121
#    chdir $conv_temp_dir || die "can't cd to $conv_temp_dir: $!\n";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   122
#    $status = system("rm -rf $conv_sub_dir/*; rmdir $conv_sub_dir");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   123
#    if ($status) {die "can't remove subdirectory $conv_sub_dir: $!\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   124
#    print "cleanup done, exit configuration script\n";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   125
#    exit(0);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   126
#}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   127
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   128
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   129
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   130
# configuration of LOW_TABLE
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   131
print "\nsetup for LOW_TABLE\n" if $do_debug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   132
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   133
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   134
# search for START_LOW_TABLE
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   135
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   136
$start_low_table = 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   137
    &look_for_value('^\s*START_LOW_TABLE\s*"(\d+)"',"START_LOW_TABLE");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   138
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   139
if ($start_low_table eq "") {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   140
    die "\ncan't find START_LOW_TABLE in configuration file\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   141
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   142
if ($start_low_table < 32 || 127 < $start_low_table) {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   143
    die "\nSTART_LOW_TABLE not in range 32 .. 127\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   144
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   145
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   146
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   147
# search for BEGIN_LOW_TABLE
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   148
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   149
$found = &look_for_label('^\s*BEGIN_LOW_TABL(E)',"BEGIN_LOW_TABLE");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   150
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   151
if ($found eq "") {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   152
    die "\ncan't find BEGIN_LOW_TABLE in configuration file\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   153
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   154
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   155
# read the LOW_TABLE
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   156
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   157
$index = 0;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   158
$found = 0;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   159
$end_low_table = 0;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   160
$pattern = '^>\s*"([^"]*)"';
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   161
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   162
while (<CONFIG> ){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   163
    if (/^\s*END_LOW_TABLE/){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   164
	    print "line $.: END_LOW_TABLE found\n" if $do_debug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   165
	    $found = 1;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   166
	    $end_low_table = $start_low_table + $index - 1;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   167
	    last;}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   168
    elsif (($temp) = /$pattern/){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   169
	$low_table[$index]= &double_bs($temp);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   170
	 # backslashes are duplicated
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   171
	print "line $.: \"$low_table[$index]\"\n" if $do_ddebug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   172
	$index +=1;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   173
    }
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   174
}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   175
if (!$found){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   176
	die "\ncan't find END_LOW_TABLE in configuration file\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   177
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   178
if ($end_low_table < $start_low_table || 127 < $end_low_table){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   179
	die "\nEND_LOW_TABLE $end_low_table not in range $start_low_table .. 127\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   180
    else {print 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   181
	"computed index for END_LOW_TABLE is $end_low_table\n" if $do_debug;}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   182
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   183
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   184
# configuration of HI_TABLE
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   185
print "\nsetup for HI_TABLE\n" if $do_debug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   186
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   187
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   188
# search for START_HI_TABLE
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   189
#
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   190
$start_hi_table = 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   191
    &look_for_value('^\s*START_HI_TABLE\s*"(\d+)"',"START_HI_TABLE");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   192
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   193
if ($start_hi_table eq "") {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   194
    die "\ncan't find START_HI_TABLE in configuration file\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   195
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   196
if ($start_hi_table < 128 || 255 < $start_hi_table) {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   197
    die "\nSTART_HI_TABLE not in range 128 .. 255\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   198
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   199
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   200
# search for BEGIN_HI_TABLE
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   201
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   202
$found = &look_for_label('^\s*BEGIN_HI_TABL(E)',"BEGIN_HI_TABLE");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   203
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   204
if ($found eq "") {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   205
    die "\ncan't find BEGIN_HI_TABLE in configuration file\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   206
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   207
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   208
# read the HI_TABLE
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   209
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   210
$index = 0;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   211
$max_hi_len1 = 0; # for pretty printing
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   212
$max_hi_len2 = 0; # for pretty printing
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   213
$max_hi_len3 = 0; # for pretty printing
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   214
$found = 0;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   215
$end_hi_table = 0;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   216
$pattern = '^>\s*"([^"]*)"\s*"([^"]*)"\s*"([^"]*)"';
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   217
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   218
while (<CONFIG> ){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   219
    if (/^\s*END_HI_TABLE/){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   220
	    print "line $.: END_HI_TABLE found\n" if $do_debug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   221
	    $found = 1;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   222
	    $end_hi_table = $start_hi_table + $index - 1;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   223
	    last;}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   224
    elsif (($temp_1,$temp_2,$temp_3) = /$pattern/){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   225
	$temp1 =            $temp_1 ;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   226
	$temp2 = &double_bs($temp_2);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   227
	$temp3 = &double_bs($temp_3);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   228
	$max_hi_len1 = length($temp1) if $max_hi_len1 < length($temp1);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   229
	$max_hi_len2 = length($temp2) if $max_hi_len2 < length($temp2);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   230
	$max_hi_len3 = length($temp3) if $max_hi_len3 < length($temp3);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   231
	$hi_table[$index]= join('"',$temp1, $temp2, $temp3);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   232
	# the " as seperator is perfect since it cannot occur inside the strings
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   233
	# backslashes are duplicated
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   234
	printf "line $.: \"%s\" \t\t \"%s\" \t\t \"%s\"\n", 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   235
	                 $temp1, $temp2, $temp3          if $do_ddebug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   236
	$index +=1;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   237
    }
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   238
}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   239
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   240
if (!$found){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   241
	die "\ncan't find END_HI_TABLE in configuration file\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   242
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   243
if ($end_hi_table < $start_hi_table || 255 < $end_hi_table ){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   244
	die "\nEND_HI_TABLE $end_hi_table not in range $start_low_table .. 255\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   245
else 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   246
  {print "computed index for END_HI_TABLE is $end_hi_table\n"  if $do_debug; }
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   247
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   248
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   249
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   250
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   251
# configuration of SEQ_TABLE
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   252
print "\nsetup for SEQ_TABLE\n" if $do_debug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   253
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   254
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   255
# search for BEGIN_SEQ_TABLE
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   256
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   257
$found = &look_for_label('^\s*BEGIN_SEQ_TABL(E)',"BEGIN_SEQ_TABLE");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   258
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   259
if ($found eq "") {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   260
    die "\ncan't find BEGIN_SEQ_TABLE in configuration file\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   261
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   262
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   263
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   264
# read the SEQ_TABLE
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   265
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   266
$index = 0;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   267
$max_seq_len1 = 0; # for pretty printing
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   268
$max_seq_len2 = 0; # for pretty printing
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   269
$max_seq_len3 = 0; # for pretty printing
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   270
$max_seq_len4 = 0; # for pretty printing
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   271
$found = 0;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   272
$seq_table = 0;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   273
$pattern = '^>\s*"([^"]*)"\s*"([^"]*)"\s*"([^"]*)"\s*"([^"]*)"';
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   274
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   275
while (<CONFIG> ){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   276
    if (/^\s*END_SEQ_TABLE/){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   277
	    print "line $.: END_SEQ_TABLE found\n" if $do_debug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   278
	    $found = 1;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   279
	    $seq_table = $index;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   280
	    last;}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   281
        elsif (($temp_1,$temp_2,$temp_3,$temp_4) = /$pattern/){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   282
	    $temp1 =            $temp_1 ;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   283
	    $temp2 =            $temp_2 ;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   284
	    $temp3 = &double_bs($temp_3) ;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   285
	    $temp4 = &double_bs($temp_4);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   286
	    $max_seq_len1 = length($temp1) if $max_seq_len1 < length($temp1);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   287
	    $max_seq_len2 = length($temp2) if $max_seq_len2 < length($temp2);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   288
	    $max_seq_len3 = length($temp4) if $max_seq_len3 < length($temp3);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   289
	    $max_seq_len4 = length($temp3) if $max_seq_len4 < length($temp4);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   290
	    $seq_table[$index]= join('"',$temp1, $temp2, $temp3, $temp4);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   291
	     # the " as seperator is perfect since it cannot occur inside the strings
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   292
	     # backslashes are only expanded in the latex replacement
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   293
	    printf "line $.: \"%s\" \t\t \"%s\" \t\t \"%s\" \t\t \"%s\"\n", 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   294
	                     $temp1, $temp2, $temp3, $temp4   if $do_ddebug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   295
	    $index +=1;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   296
	}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   297
}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   298
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   299
if ($found == 0) {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   300
    die "\ncan't find END_SEQ_TABLE in configuration file\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   301
else {print "computed index for SEQ_TABLE is $seq_table\n"  if $do_debug; }
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   302
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   303
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   304
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   305
# we reached the end of the configuration file
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   306
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   307
print "\nprocessing of configuration file completed\n" if $do_debug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   308
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   309
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   310
# close the handle for config file
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   311
close(CONFIG);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   312
print "closed configuration file\n" if $do_debug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   313
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   314
#######################################################################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   315
# copy sources and modify them
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   316
#######################################################################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   317
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   318
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   319
# change to temporary directory, 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   320
# make subdir and copy sources
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   321
# change to subdir
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   322
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   323
#print "\ncopying sources\n" if $do_debug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   324
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   325
#chdir $conv_temp_dir || die "can't cd to $conv_temp_dir: $!\n";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   326
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   327
# cleanup if directory exists
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   328
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   329
#if (-d $conv_sub_dir){ # directory exists 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   330
#    $status = system("rm -rf $conv_sub_dir/*; rmdir $conv_sub_dir");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   331
#    if ($status) {die "can't remove subdirectory $conv_sub_dir: $!\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   332
#}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   333
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   334
# make the new sub dir
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   335
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   336
#mkdir($conv_sub_dir,0755) || die "can't create subdirectory $conv_sub_dir: $!\n";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   337
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   338
#$status = system("cp -r $conv_source_dir/* $conv_sub_dir") ;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   339
#if ($status) { die "can't copy files from CONV_SOURCE_DIR to CONV_SUB_DIR: $!\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   340
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   341
#chdir $conv_sub_dir || die "can't cd to $conv_sub_dir: $!\n";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   342
 chdir $conv_source_dir || die "can't cd to $conv_source_dir: $!\n";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   343
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   344
print "\nconfiguring sources\n" if $do_debug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   345
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   346
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   347
# configure conv-defs.h
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   348
# 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   349
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   350
$filename = "conv-defs.h";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   351
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   352
print "\nconfiguring $filename\n" if $do_debug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   353
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   354
open(INFILE ,$filename) || die "can't open $filename in CONV_SOURCE_DIR: $!\n";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   355
print "opened $filename for reading\n" if $do_ddebug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   356
open(OUTFILE,">tmp.txt") || die "can't open temporary file tmp.txt: $!\n";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   357
print "opened tmp.txt for writing\n" if $do_ddebug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   358
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   359
$found = &replicate_until('^\s*\/\*\s*BEGIN\s*gen-isa2late(x)','BEGIN gen-isa2latex');
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   360
if ($found eq "") {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   361
    die "\ncan't find BEGIN gen-isa2latex\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   362
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   363
## replace
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   364
printf(OUTFILE "%s\n", "/* BEGIN gen-isa2latex */");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   365
printf(OUTFILE "#define START_LOW_TABLE %s\n", $start_low_table);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   366
printf(OUTFILE "#define END_LOW_TABLE   %s\n", $end_low_table);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   367
printf(OUTFILE "#define START_HI_TABLE  %s\n", $start_hi_table);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   368
printf(OUTFILE "#define END_HI_TABLE    %s\n", $end_hi_table);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   369
printf(OUTFILE "#define SEQ_TABLE       %s\n", $seq_table);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   370
printf(OUTFILE "%s\n", "/* END gen-isa2latex */");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   371
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   372
$found = &skip_until('^\s*\/\*\s*END\s*gen-isa2late(x)','END gen-isa2latex');
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   373
if ($found eq "") {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   374
    die "\ncan't find END gen-isa2latex\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   375
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   376
## the rest
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   377
while (<INFILE> ){printf(OUTFILE "%s",$_);}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   378
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   379
close(INFILE);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   380
close(OUTFILE);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   381
print "closed $filename and tmp.txt\n" if $do_ddebug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   382
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   383
$status = system("cp tmp.txt $filename") ;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   384
if ($status) { die "can't copy tmp.txt to $filename: $!\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   385
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   386
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   387
# configure conv-tables.h
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   388
# 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   389
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   390
$filename = "conv-tables.h";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   391
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   392
print "\nconfiguring $filename\n" if $do_debug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   393
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   394
open(INFILE ,$filename) || die "can't open $filename in CONV_SOURCE_DIR: $!\n";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   395
print "opened $filename for reading\n" if $do_ddebug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   396
open(OUTFILE,">tmp.txt") || die "can't open temporary file tmp.txt: $!\n";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   397
print "opened tmp.txt for writing\n" if $do_ddebug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   398
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   399
### LOW TABLE
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   400
$found = &replicate_until('^\s*\/\*\s*BEGIN_OF_LOW_TABL(E)','BEGIN_OF_LOW_TABLE');
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   401
if ($found eq "") {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   402
    die "\ncan't find BEGIN_OF_LOW_TABLE\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   403
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   404
## replace
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   405
printf(OUTFILE "%s\n", "/* BEGIN_OF_LOW_TABLE */");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   406
printf(OUTFILE "%s\n",
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   407
       "char *translationTableLow[END_LOW_TABLE - START_LOW_TABLE + 1] = {");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   408
$index = $start_low_table;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   409
$sep = ",\n";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   410
while ($index <= $end_low_table) {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   411
    $sep = "\n" if $index == $end_low_table;   
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   412
    printf(OUTFILE "   \"%s\"".$sep, $low_table[$index - $start_low_table]);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   413
    $index++;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   414
}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   415
printf(OUTFILE "%s\n","};");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   416
printf(OUTFILE "%s\n", "/* END_OF_LOW_TABLE */");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   417
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   418
$found = &skip_until('^\s*\/\*\s*END_OF_LOW_TABL(E)','END_OF_LOW_TABLE');
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   419
if ($found eq "") {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   420
    die "\ncan't find END_OF_LOW_TABLE\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   421
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   422
### HI TABLE
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   423
$found = &replicate_until('^\s*\/\*\s*BEGIN_OF_HI_TABL(E)','BEGIN_OF_HI_TABLE');
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   424
if ($found eq "") {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   425
    die "\ncan't find BEGIN_OF_HI_TABLE\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   426
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   427
## replace
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   428
printf(OUTFILE "%s\n", "/* BEGIN_OF_HI_TABLE */");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   429
printf(OUTFILE "%s\n",
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   430
       "char *translationTableHi[END_HI_TABLE - START_HI_TABLE + 1][2] = {");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   431
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   432
$index = $start_hi_table;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   433
$sep = ",\n";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   434
while ($index <= $end_hi_table) {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   435
    $sep = "\n" if $index == $end_hi_table;   
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   436
    ($temp1,$temp2,$temp3) = split(/\"/,$hi_table[$index - $start_hi_table]); 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   437
    printf(OUTFILE "   {%-".($max_hi_len2+3)."s,%s}".$sep,
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   438
	   "\"".$temp2."\"","\"".$temp3."\"");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   439
    $index++;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   440
}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   441
printf(OUTFILE "%s\n","};");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   442
printf(OUTFILE "%s\n", "/* END_OF_HI_TABLE */");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   443
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   444
$found = &skip_until('^\s*\/\*\s*END_OF_HI_TABL(E)','END_OF_HI_TABLE');
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   445
if ($found eq "") {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   446
    die "\ncan't find END_OF_HI_TABLE\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   447
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   448
### SEQ TABLE
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   449
$found = &replicate_until('^\s*\/\*\s*BEGIN_OF_SEQ_TABL(E)','BEGIN_OF_SEQ_TABLE');
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   450
if ($found eq "") {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   451
    die "\ncan't find BEGIN_OF_SEQ_TABLE\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   452
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   453
## replace
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   454
printf(OUTFILE "%s\n", "/* BEGIN_OF_SEQ_TABLE */");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   455
printf(OUTFILE "%s\n",
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   456
       "char *translationTableSeq[SEQ_TABLE][2] = {");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   457
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   458
$index = 0;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   459
$sep = ",\n";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   460
while ($index <= $seq_table - 1) {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   461
    $sep = "\n" if $index == $seq_table - 1;   
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   462
    ($temp1,$temp2,$temp3,$temp4) = split(/\"/,$seq_table[$index]); 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   463
    printf(OUTFILE "   {%-".($max_seq_len3+3)."s,%s}".$sep,
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   464
	   "\"".$temp3."\"","\"".$temp4."\"");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   465
    $index++;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   466
}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   467
printf(OUTFILE "%s\n","};");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   468
printf(OUTFILE "%s\n", "/* END_OF_SEQ_TABLE */");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   469
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   470
$found = &skip_until('^\s*\/\*\s*END_OF_SEQ_TABL(E)','END_OF_SEQ_TABLE');
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   471
if ($found eq "") {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   472
    die "\ncan't find END_OF_SEQ_TABLE\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   473
## the rest
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   474
while (<INFILE> ){printf(OUTFILE "%s",$_);}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   475
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   476
close(INFILE);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   477
close(OUTFILE);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   478
print "closed $filename and tmp.txt\n" if $do_ddebug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   479
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   480
$status = system("cp tmp.txt $filename") ;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   481
if ($status) { die "can't copy tmp.txt to $filename: $!\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   482
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   483
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   484
# configure conv-lex.x
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   485
# 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   486
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   487
$filename = "conv-lex.x";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   488
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   489
print "\nconfiguring $filename\n" if $do_debug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   490
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   491
open(INFILE ,$filename) || die "can't open $filename in CONV_SOURCE_DIR: $!\n";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   492
print "opened $filename for reading\n" if $do_ddebug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   493
open(OUTFILE,">tmp.txt") || die "can't open temporary file tmp.txt: $!\n";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   494
print "opened tmp.txt for writing\n" if $do_ddebug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   495
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   496
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   497
### HI TABLE
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   498
$found = &replicate_until('^\s*\/\*\s*BEGIN_OF_HI_TABL(E)','BEGIN_OF_HI_TABLE');
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   499
if ($found eq "") {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   500
    die "\ncan't find BEGIN_OF_HI_TABLE\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   501
## replace
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   502
printf(OUTFILE "%s\n", "  /* BEGIN_OF_HI_TABLE */");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   503
$index = $start_hi_table;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   504
while ($index <= $end_hi_table) {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   505
    ($temp1,$temp2,$temp3) = split(/\"/,$hi_table[$index-$start_hi_table]); 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   506
    printf(OUTFILE "<ISAA>%-".($max_hi_len1+3)."s\t"."put((char)%d,FALSE,0);\n",
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   507
	   $temp1,$index);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   508
    $index++;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   509
}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   510
printf(OUTFILE "%s\n", "  /* END_OF_HI_TABLE */");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   511
$found = &skip_until('^\s*\/\*\s*END_OF_HI_TABL(E)','END_OF_HI_TABLE');
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   512
if ($found eq "") {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   513
    die "\ncan't find END_OF_SEQ_TABLE\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   514
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   515
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   516
### SEQ TABLE
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   517
$found = &replicate_until('^\s*\/\*\s*BEGIN_OF_SEQ_TABL(E)','BEGIN_OF_SEQ_TABLE');
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   518
if ($found eq "") {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   519
    die "\ncan't find BEGIN_OF_SEQ_TABLE\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   520
## replace
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   521
printf(OUTFILE "%s\n", "  /* BEGIN_OF_SEQ_TABLE */");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   522
$index = 0;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   523
while ($index < $seq_table ) {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   524
    ($temp1,$temp2,$temp3,$temp4) = split(/\"/,$seq_table[$index]); 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   525
    printf(OUTFILE "<ISA,ISAA>%-".($max_seq_len1+3)."s\t"."put((char)32,TRUE,%d);\n",
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   526
	   $temp1,$index);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   527
    printf(OUTFILE "<ISAA>%-".($max_seq_len2+3)."s    \t"."put((char)32,TRUE,%d);\n",
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   528
	   $temp2,$index);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   529
    $index++;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   530
}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   531
printf(OUTFILE "%s\n", "  /* END_OF_SEQ_TABLE */");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   532
$found = &skip_until('^\s*\/\*\s*END_OF_SEQ_TABL(E)','END_OF_SEQ_TABLE');
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   533
if ($found eq "") {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   534
    die "\ncan't find END_OF_SEQ_TABLE\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   535
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   536
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   537
## the rest
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   538
while (<INFILE> ){printf(OUTFILE "%s",$_);}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   539
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   540
close(INFILE);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   541
close(OUTFILE);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   542
print "closed $filename and tmp.txt\n" if $do_ddebug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   543
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   544
$status = system("cp tmp.txt $filename") ;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   545
if ($status) { die "can't copy tmp.txt to $filename: $!\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   546
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   547
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   548
# execute  Makefile
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   549
# 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   550
print "\nexecuting Makefile\n" if $do_debug;
1907
d069f23e941f Minor improvements of the scripts
oheimb
parents: 1826
diff changeset
   551
$status = system($GMAKE) ;
d069f23e941f Minor improvements of the scripts
oheimb
parents: 1826
diff changeset
   552
if ($status) { die "\"".$GMAKE."\" executed abnormally: $!\n";}
1826
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   553
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   554
#$status = system("cp $conv_temp_dir/$conv_sub_dir/isa2latex $conv_source_dir");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   555
#    if ($status) { die "can't copy binary file to CONV_SOURCE_DIR: $!\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   556
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   557
#print "\nexecuting Makefile, cleaning up\n" if $do_debug;
1907
d069f23e941f Minor improvements of the scripts
oheimb
parents: 1826
diff changeset
   558
#$status = system($GMAKE." clean");
d069f23e941f Minor improvements of the scripts
oheimb
parents: 1826
diff changeset
   559
#if ($status) { die "\"".$GMAKE." clean\" executed abnormally: $!\n";}
1826
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   560
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   561
#######################################################################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   562
# process -s option
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   563
#######################################################################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   564
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   565
#if ($install_source){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   566
#    print "\ninstall new files in CONV_SOURCE_DIR due to -s option\n" if $do_debug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   567
#    $status = system("cp -r $conv_temp_dir/$conv_sub_dir/* $conv_source_dir");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   568
#    if ($status) { die "can't copy new files to CONV_SOURCE_DIR: $!\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   569
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   570
#    print "copied new files to CONV_SOURCE_DIR\n" if $do_debug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   571
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   572
#    chdir $initial_dir || die "can't cd to initial dir $initial_dir: $!\n";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   573
#    $status = system("cp $config_file $conv_source_dir");
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   574
#    if ($status) { die "can't copy configuration file to CONV_SOURCE_DIR: $!\n";}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   575
#
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   576
#   print "copied configuration file to CONV_SOURCE_DIR\n" if $do_debug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   577
   
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   578
#}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   579
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   580
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   581
########################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   582
# END of script
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   583
# 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   584
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   585
print "\nconfiguration and generation of isa2latex properly terminated\n".
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   586
      "have fun with isa2latex!\n\n";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   587
exit(0);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   588
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   589
#######################################################################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   590
# subroutines
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   591
#######################################################################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   592
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   593
sub look_for_value {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   594
    local ($pattern,$label) = @_;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   595
    local ($temp) = "";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   596
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   597
    while (<CONFIG> ){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   598
	if (($temp) = /$pattern/){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   599
	    print "line $.: $label is $temp\n" if $do_debug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   600
	    last;}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   601
    }
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   602
    return $temp;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   603
}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   604
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   605
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   606
sub look_for_label {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   607
    local ($pattern,$label) = @_;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   608
    local ($temp) = "";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   609
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   610
    while (<CONFIG> ){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   611
	if (($temp) = /$pattern/){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   612
	    print "line $.: $label found\n" if $do_debug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   613
	    last;}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   614
    }
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   615
    return $temp;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   616
}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   617
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   618
sub replicate_until {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   619
    local ($pattern,$label) = @_;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   620
    local ($temp) = "";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   621
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   622
    while (<INFILE> ){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   623
	if (($temp) = /$pattern/){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   624
	    print "line $.: $label found\n" if $do_debug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   625
	    last;}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   626
	else {printf(OUTFILE "%s",$_);}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   627
    }
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   628
    return $temp;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   629
}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   630
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   631
sub skip_until {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   632
    local ($pattern,$label) = @_;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   633
    local ($temp) = "";
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   634
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   635
    while (<INFILE> ){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   636
	if (($temp) = /$pattern/){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   637
	    print "line $.: $label found\n" if $do_debug;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   638
	    last;}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   639
    }
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   640
    return $temp;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   641
}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   642
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   643
sub double_bs {
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   644
    local ($string) = @_;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   645
    local ($element);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   646
    local (@temp1);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   647
    local (@temp2) = (); 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   648
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   649
    # find the hex-numbers
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   650
    @temp1 = split(/(\\x[0-9a-fA-F][0-9a-fA-F])/,$string);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   651
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   652
    #duplicate all backslashes in elements which are not hexnumbers
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   653
    while(@temp1) { 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   654
	$element = shift(@temp1);
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   655
	if ($element =~ /\\x[0-9a-fA-F][0-9a-fA-F]/){
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   656
	    push(@temp2,$element);} 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   657
	else{
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   658
	    $element =~ s/\\/\\\\/g;
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   659
	    push(@temp2,$element);}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   660
    }
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   661
    return (join('',@temp2));
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   662
}
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   663
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   664
###############################################################
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   665
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   666
    # These next few lines are legal in both Perl and nroff.
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   667
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   668
.00;                       # finish .ig
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   669
 
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   670
'di           \" finish diversion--previous line must be blank
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   671
.nr nl 0-1    \" fake up transition to first page again
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   672
.nr % 0         \" start at page 1
2a2c0dbeb4ac Initial revision
oheimb
parents:
diff changeset
   673
'; __END__ ##### From here on it's a standard manual page #####