needed utilities for configure

[r4540]

diff --git a/filter.awk b/filter.awk
new file mode 100644 (file)
index 0000000..fdef9f0
--- /dev/null
+++ b/filter.awk
@@ -0,0 +1,9 @@
+BEGIN           { output = 0
+                 print "#ifndef _FIRM_CONFIG_H"
+                 print "#define _FIRM_CONFIG_H"
+                 print "/* This file was automtically generated from libFirm's configure */"
+                }
+/snap,[ ]*snap/ { output = 0; NEXT }
+                { if (output) print }
+/snip,[ ]*snip/ { output = 1 }
+END             { print "#endif /* _FIRM_CONFIG_H */\n" }

diff --git a/filter.sed b/filter.sed
new file mode 100644 (file)
index 0000000..92332fc
--- /dev/null
+++ b/filter.sed
@@ -0,0 +1,4 @@
+s/#undef  *\([A-Za-z][A-Za-z_]*\)/#undef \1/
+s/#define  *\([A-Za-z][A-Za-z_]*\)\(.*\)/#ifndef \1 \
+#define \1 \2 \
+#endif/