]>
Commit | Line | Data |
---|---|---|
1 | # Extract all examples from the manual source. -*- AWK -*- | |
2 | ||
3 | # This file is part of GNU Bison | |
4 | # Copyright (C) 1992, 2000-2001, 2005-2006, 2009-2010 Free Software | |
5 | # Foundation, Inc. | |
6 | # | |
7 | # This program is free software: you can redistribute it and/or modify | |
8 | # it under the terms of the GNU General Public License as published by | |
9 | # the Free Software Foundation, either version 3 of the License, or | |
10 | # (at your option) any later version. | |
11 | # | |
12 | # This program is distributed in the hope that it will be useful, | |
13 | # but WITHOUT ANY WARRANTY; without even the implied warranty of | |
14 | # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
15 | # GNU General Public License for more details. | |
16 | # | |
17 | # You should have received a copy of the GNU General Public License | |
18 | # along with this program. If not, see <http://www.gnu.org/licenses/>. | |
19 | ||
20 | # This script is for use with any Awk that conforms to POSIX. | |
21 | # It was derived from a similar script tests/generate.awk in GNU m4. | |
22 | # | |
23 | # Usage: extexi input-file.texi ... -- [FILES to extract] | |
24 | BEGIN { | |
25 | if (!output_dir) | |
26 | output_dir = "."; | |
27 | for (argc = 1; argc < ARGC; ++argc) | |
28 | if (ARGV[argc] == "--") | |
29 | break; | |
30 | for (i = argc + 1; i < ARGC; ++i) | |
31 | file_wanted[ARGV[i]] = 1; | |
32 | ARGC = argc; | |
33 | } | |
34 | ||
35 | /^@node / { | |
36 | if (seq > 0) | |
37 | print "AT_CLEANUP"; | |
38 | ||
39 | split ($0, tmp, ","); | |
40 | node = substr(tmp[1], 7); | |
41 | seq = 0; | |
42 | } | |
43 | ||
44 | /^@comment file: / { | |
45 | if (!file_wanted[$3]) | |
46 | message("ignoring " $3); | |
47 | else | |
48 | { | |
49 | message("extracting " $3); | |
50 | file = $3; | |
51 | } | |
52 | } | |
53 | ||
54 | /^@example$/, /^@end example$/ { | |
55 | if (!file) | |
56 | next; | |
57 | ||
58 | if ($0 ~ /^@example$/) | |
59 | { | |
60 | input = files_output[file] ? "\n" : ""; | |
61 | ||
62 | # FNR is starting at 0 instead of 1, and | |
63 | # #line report the line number of the *next* line. | |
64 | # => + 2. | |
65 | # Note that recent Bison support it, but not Flex. | |
66 | if (file ~ /\.[chy]*$/) | |
67 | input = "#line " (FNR + 1) " \"" FILENAME "\"\n"; | |
68 | next; | |
69 | } | |
70 | ||
71 | if ($0 ~ /^@end example$/) | |
72 | { | |
73 | if (input == "") | |
74 | fatal("no contents: " file); | |
75 | ||
76 | input = normalize(input); | |
77 | # No spurious end of line: use printf. | |
78 | if (files_output[file]) | |
79 | # The parens around the output file seem to be required | |
80 | # by awk on Mac OS X Tiger (darwin 8.4.6). | |
81 | printf ("%s", input) >> (output_dir "/" file); | |
82 | else | |
83 | printf ("%s", input) > (output_dir "/" file); | |
84 | close (output_dir "/" file); | |
85 | files_output[file] = 1; | |
86 | ||
87 | file = input = ""; | |
88 | next; | |
89 | } | |
90 | ||
91 | input = input $0 "\n"; | |
92 | } | |
93 | ||
94 | ||
95 | # We have to handle CONTENTS line per line, since anchors in AWK are | |
96 | # referring to the whole string, not the lines. | |
97 | function normalize(contents, i, lines, n, line, res) { | |
98 | # Remove the Texinfo tags. | |
99 | n = split (contents, lines, "\n"); | |
100 | # We don't want the last field which empty: it's behind the last \n. | |
101 | for (i = 1; i < n; ++i) | |
102 | { | |
103 | line = lines[i]; | |
104 | ||
105 | # Whole line commands. | |
106 | if (line ~ /^@(c |comment|dots|end (ignore|group)|ignore|group)/) | |
107 | # Gperf accepts empty lines as valid input!!! | |
108 | if (file ~ /\.gperf$/) | |
109 | continue; | |
110 | else | |
111 | line = ""; | |
112 | ||
113 | gsub (/"@value\{VERSION\}"/, "\"" VERSION "\"", line) | |
114 | gsub (/^@result\{\}/, "", line); | |
115 | gsub (/^@error\{\}/, "", line); | |
116 | gsub ("@[{]", "{", line); | |
117 | gsub ("@}", "}", line); | |
118 | gsub ("@@", "@", line); | |
119 | gsub ("@comment.*", "", line); | |
120 | ||
121 | res = res line "\n"; | |
122 | } | |
123 | return res; | |
124 | } | |
125 | ||
126 | ||
127 | function message(msg) { | |
128 | if (! message_printed[msg]) | |
129 | { | |
130 | print "extexi: " msg > "/dev/stderr"; | |
131 | message_printed[msg] = 1; | |
132 | } | |
133 | } | |
134 | ||
135 | function fatal(msg) { | |
136 | message(msg); | |
137 | exit 1 | |
138 | } |