int do_file(const char *filename)
{
char *file_name_in_path = 0;
FILE *fp = include_search_path.open_file_cautious(filename,
&file_name_in_path);
int err = errno;
string whole_filename(file_name_in_path ? file_name_in_path : filename);
whole_filename += '\0';
a_delete file_name_in_path;
if (fp == 0) {
error("can't open `%1': %2", whole_filename.contents(), strerror(err));
return 0;
}
current_filename = whole_filename.contents();
current_lineno = 1;
set_location();
enum { START, MIDDLE, HAD_DOT, HAD_s, HAD_so, HAD_l, HAD_lf } state = START;
for (;;) {
int c = getc(fp);
if (c == EOF)
break;
switch (state) {
case START:
if (c == '.')
state = HAD_DOT;
else {
putchar(c);
if (c == '\n') {
current_lineno++;
state = START;
}
else
state = MIDDLE;
}
break;
case MIDDLE:
putchar(c);
if (c == '\n') {
current_lineno++;
state = START;
}
break;
case HAD_DOT:
if (c == 's')
state = HAD_s;
else if (c == 'l')
state = HAD_l;
else {
putchar('.');
putchar(c);
if (c == '\n') {
current_lineno++;
state = START;
}
else
state = MIDDLE;
}
break;
case HAD_s:
if (c == 'o')
state = HAD_so;
else {
putchar('.');
putchar('s');
putchar(c);
if (c == '\n') {
current_lineno++;
state = START;
}
else
state = MIDDLE;
}
break;
case HAD_so:
if (c == ' ' || c == '\n' || compatible_flag) {
string line;
for (; c != EOF && c != '\n'; c = getc(fp))
line += c;
current_lineno++;
line += '\n';
line += '\0';
do_so(line.contents());
state = START;
}
else {
fputs(".so", stdout);
putchar(c);
state = MIDDLE;
}
break;
case HAD_l:
if (c == 'f')
state = HAD_lf;
else {
putchar('.');
putchar('l');
putchar(c);
if (c == '\n') {
current_lineno++;
state = START;
}
else
state = MIDDLE;
}
break;
case HAD_lf:
if (c == ' ' || c == '\n' || compatible_flag) {
string line;
for (; c != EOF && c != '\n'; c = getc(fp))
line += c;
current_lineno++;
line += '\n';
line += '\0';
interpret_lf_args(line.contents());
printf(".lf%s", line.contents());
state = START;
}
else {
fputs(".lf", stdout);
putchar(c);
state = MIDDLE;
}
break;
default:
assert(0);
}
}
switch (state) {
case HAD_DOT:
fputs(".\n", stdout);
break;
case HAD_l:
fputs(".l\n", stdout);
break;
case HAD_s:
fputs(".s\n", stdout);
break;
case HAD_lf:
fputs(".lf\n", stdout);
break;
case HAD_so:
fputs(".so\n", stdout);
break;
case MIDDLE:
putc('\n', stdout);
break;
case START:
break;
}
if (fp != stdin)
fclose(fp);
current_filename = 0;
return 1;
}
