DJGPP specific file.

[bison.git] / src / scan-skel.l

diff --git a/src/scan-skel.l b/src/scan-skel.l
index 06370fa6dedca1012806dd4ef4257a9d71412c53..b14fb40c1f5e467de957a116e2cbe89e6267c35c 100644 (file)
--- a/src/scan-skel.l
+++ b/src/scan-skel.l
@@ -41,6 +41,9 @@
 #define QPUTS(String) \
    fputs (quotearg_style (c_quoting_style, (String)), yyout)
 
 #define QPUTS(String) \
    fputs (quotearg_style (c_quoting_style, (String)), yyout)
 

+#define BASE_QPUTS(File) \
+   assert (File), QPUTS (base_name (File))
+

 %}
 %%
 
 %}
 %%
 


@@ -53,16 +56,25 @@
   char const *file_name = yytext + sizeof "@output " - 1;
   yytext[yyleng - 1] = '\0';
 
   char const *file_name = yytext + sizeof "@output " - 1;
   yytext[yyleng - 1] = '\0';
 

+  /* Decode special file names.  They include the directory part,
+     contrary to their "free" occurrences, used for issuing #includes,
+     which must not include the directory part.  */
+

   if (*file_name == '@')
     {
       if (strcmp (file_name, "@output_header_name@") == 0)
   if (*file_name == '@')
     {
       if (strcmp (file_name, "@output_header_name@") == 0)

-       file_name = spec_defines_file;
+       {
+         assert (spec_defines_file);
+         file_name = spec_defines_file;
+       }

       else if (strcmp (file_name, "@output_parser_name@") == 0)
       else if (strcmp (file_name, "@output_parser_name@") == 0)

-       file_name = parser_file_name;
+       {
+         assert (parser_file_name);
+         file_name = parser_file_name;
+       }

       else
        fatal ("invalid token in skeleton: %s", yytext);
     }
       else
        fatal ("invalid token in skeleton: %s", yytext);
     }

-

   if (outname)
     {
       free (outname);
   if (outname)
     {
       free (outname);


@@ -80,8 +92,8 @@
 "@oline@"  fprintf (yyout, "%d", lineno + 1);
 "@ofile@"  QPUTS (outname);
 "@dir_prefix@" QPUTS (dir_prefix);
 "@oline@"  fprintf (yyout, "%d", lineno + 1);
 "@ofile@"  QPUTS (outname);
 "@dir_prefix@" QPUTS (dir_prefix);

-"@output_parser_name@" QPUTS (parser_file_name);
-"@output_header_name@" QPUTS (spec_defines_file);
+"@output_parser_name@" BASE_QPUTS (parser_file_name);
+"@output_header_name@" BASE_QPUTS (spec_defines_file);

 
   /* This pattern must not match more than the previous @ patterns. */
 @[^{}@\n]* fatal ("invalid @ in skeleton: %s", yytext);
 
   /* This pattern must not match more than the previous @ patterns. */
 @[^{}@\n]* fatal ("invalid @ in skeleton: %s", yytext);