Give pragma files a '.def' suffix

Author: reuk

scripts/minisat-2.2.1-patch

@@ -46,10 +46,10 @@ index 4757b20..c3fae2b 100644
          unsigned has_extra : 1;
          unsigned reloced   : 1;
          unsigned size      : 27; }                        header;
-+#include <util/pragma_push>
-+#include <util/pragma_wzero_length_array>
++#include <util/pragma_push.def>
++#include <util/pragma_wzero_length_array.def>
      union { Lit lit; float act; uint32_t abs; CRef rel; } data[0];
-+#include <util/pragma_pop>
++#include <util/pragma_pop.def>
 
      friend class ClauseAllocator;
 

src/ansi-c/scanner.l

@@ -164,9 +164,9 @@ int cpp_operator(int token)
   }
 }
 
-#include <util/pragma_wsign_compare>
-#include <util/pragma_wnull_conversion>
-#include <util/pragma_wdeprecated_register>
+#include <util/pragma_wsign_compare.def>
+#include <util/pragma_wnull_conversion.def>
+#include <util/pragma_wdeprecated_register.def>
 
 /*** macros for easier rule definition **********************************/
 %}

src/assembler/scanner.l

@@ -15,9 +15,9 @@ static int isatty(int) { return 0; }
 
 #include "assembler_parser.h"
 
-#include <util/pragma_wsign_compare>
-#include <util/pragma_wnull_conversion>
-#include <util/pragma_wdeprecated_register>
+#include <util/pragma_wsign_compare.def>
+#include <util/pragma_wnull_conversion.def>
+#include <util/pragma_wdeprecated_register.def>
 
 /*** macros for easier rule definition **********************************/
 %}

src/jsil/scanner.l

@@ -36,9 +36,9 @@ static int make_identifier()
   return TOK_IDENTIFIER;
 }
 
-#include <util/pragma_wsign_compare>
-#include <util/pragma_wnull_conversion>
-#include <util/pragma_wdeprecated_register>
+#include <util/pragma_wsign_compare.def>
+#include <util/pragma_wnull_conversion.def>
+#include <util/pragma_wdeprecated_register.def>
 
 %}
 

src/json/scanner.l

@@ -19,9 +19,9 @@ static int isatty(int) { return 0; }
 #include "json_parser.h"
 #include "json_y.tab.h"
 
-#include <util/pragma_wsign_compare>
-#include <util/pragma_wnull_conversion>
-#include <util/pragma_wdeprecated_register>
+#include <util/pragma_wsign_compare.def>
+#include <util/pragma_wnull_conversion.def>
+#include <util/pragma_wdeprecated_register.def>
 
 %}
 

src/memory-models/scanner.l

@@ -19,9 +19,9 @@ static int isatty(int) { return 0; }
 
 unsigned comment_nesting;
 
-#include <util/pragma_wsign_compare>
-#include <util/pragma_wnull_conversion>
-#include <util/pragma_wdeprecated_register>
+#include <util/pragma_wsign_compare.def>
+#include <util/pragma_wnull_conversion.def>
+#include <util/pragma_wdeprecated_register.def>
 
 %}
 

src/util/pragma_pop renamed to src/util/pragma_pop.def

@@ -31,9 +31,9 @@ static char *word(char *s)
   return buf;
 }
 
-#include <util/pragma_wsign_compare>
-#include <util/pragma_wnull_conversion>
-#include <util/pragma_wdeprecated_register>
+#include <util/pragma_wsign_compare.def>
+#include <util/pragma_wnull_conversion.def>
+#include <util/pragma_wdeprecated_register.def>
 
 %}