xtensa: support DMA buffers in high memory
[cris-mirror.git] / scripts / kconfig / zconf.y
blob4be98050b961fe73df6bf6516b1e5a7f8135d149
1 %{
2 /*
3 * Copyright (C) 2002 Roman Zippel <zippel@linux-m68k.org>
4 * Released under the terms of the GNU GPL v2.0.
5 */
7 #include <ctype.h>
8 #include <stdarg.h>
9 #include <stdio.h>
10 #include <stdlib.h>
11 #include <string.h>
12 #include <stdbool.h>
14 #include "lkc.h"
16 #define printd(mask, fmt...) if (cdebug & (mask)) printf(fmt)
18 #define PRINTD 0x0001
19 #define DEBUG_PARSE 0x0002
21 int cdebug = PRINTD;
23 int yylex(void);
24 static void yyerror(const char *err);
25 static void zconfprint(const char *err, ...);
26 static void zconf_error(const char *err, ...);
27 static bool zconf_endtoken(const struct kconf_id *id, int starttoken, int endtoken);
29 struct symbol *symbol_hash[SYMBOL_HASHSIZE];
31 static struct menu *current_menu, *current_entry;
34 %expect 32
36 %union
38 char *string;
39 struct file *file;
40 struct symbol *symbol;
41 struct expr *expr;
42 struct menu *menu;
43 const struct kconf_id *id;
46 %token <id>T_MAINMENU
47 %token <id>T_MENU
48 %token <id>T_ENDMENU
49 %token <id>T_SOURCE
50 %token <id>T_CHOICE
51 %token <id>T_ENDCHOICE
52 %token <id>T_COMMENT
53 %token <id>T_CONFIG
54 %token <id>T_MENUCONFIG
55 %token <id>T_HELP
56 %token <string> T_HELPTEXT
57 %token <id>T_IF
58 %token <id>T_ENDIF
59 %token <id>T_DEPENDS
60 %token <id>T_OPTIONAL
61 %token <id>T_PROMPT
62 %token <id>T_TYPE
63 %token <id>T_DEFAULT
64 %token <id>T_SELECT
65 %token <id>T_IMPLY
66 %token <id>T_RANGE
67 %token <id>T_VISIBLE
68 %token <id>T_OPTION
69 %token <id>T_ON
70 %token <string> T_WORD
71 %token <string> T_WORD_QUOTE
72 %token T_UNEQUAL
73 %token T_LESS
74 %token T_LESS_EQUAL
75 %token T_GREATER
76 %token T_GREATER_EQUAL
77 %token T_CLOSE_PAREN
78 %token T_OPEN_PAREN
79 %token T_EOL
81 %left T_OR
82 %left T_AND
83 %left T_EQUAL T_UNEQUAL
84 %left T_LESS T_LESS_EQUAL T_GREATER T_GREATER_EQUAL
85 %nonassoc T_NOT
87 %type <string> prompt
88 %type <symbol> nonconst_symbol
89 %type <symbol> symbol
90 %type <expr> expr
91 %type <expr> if_expr
92 %type <id> end
93 %type <id> option_name
94 %type <menu> if_entry menu_entry choice_entry
95 %type <string> symbol_option_arg word_opt
97 %destructor {
98 fprintf(stderr, "%s:%d: missing end statement for this entry\n",
99 $$->file->name, $$->lineno);
100 if (current_menu == $$)
101 menu_end_menu();
102 } if_entry menu_entry choice_entry
105 /* Include kconf_id.c here so it can see the token constants. */
106 #include "kconf_id.c"
110 input: nl start | start;
112 start: mainmenu_stmt stmt_list | no_mainmenu_stmt stmt_list;
114 /* mainmenu entry */
116 mainmenu_stmt: T_MAINMENU prompt nl
118 menu_add_prompt(P_MENU, $2, NULL);
121 /* Default main menu, if there's no mainmenu entry */
123 no_mainmenu_stmt: /* empty */
126 * Hack: Keep the main menu title on the heap so we can safely free it
127 * later regardless of whether it comes from the 'prompt' in
128 * mainmenu_stmt or here
130 menu_add_prompt(P_MENU, strdup("Linux Kernel Configuration"), NULL);
134 stmt_list:
135 /* empty */
136 | stmt_list common_stmt
137 | stmt_list choice_stmt
138 | stmt_list menu_stmt
139 | stmt_list end { zconf_error("unexpected end statement"); }
140 | stmt_list T_WORD error T_EOL { zconf_error("unknown statement \"%s\"", $2); }
141 | stmt_list option_name error T_EOL
143 zconf_error("unexpected option \"%s\"", $2->name);
145 | stmt_list error T_EOL { zconf_error("invalid statement"); }
148 option_name:
149 T_DEPENDS | T_PROMPT | T_TYPE | T_SELECT | T_IMPLY | T_OPTIONAL | T_RANGE | T_DEFAULT | T_VISIBLE
152 common_stmt:
153 T_EOL
154 | if_stmt
155 | comment_stmt
156 | config_stmt
157 | menuconfig_stmt
158 | source_stmt
161 option_error:
162 T_WORD error T_EOL { zconf_error("unknown option \"%s\"", $1); }
163 | error T_EOL { zconf_error("invalid option"); }
167 /* config/menuconfig entry */
169 config_entry_start: T_CONFIG nonconst_symbol T_EOL
171 $2->flags |= SYMBOL_OPTIONAL;
172 menu_add_entry($2);
173 printd(DEBUG_PARSE, "%s:%d:config %s\n", zconf_curname(), zconf_lineno(), $2->name);
176 config_stmt: config_entry_start config_option_list
178 printd(DEBUG_PARSE, "%s:%d:endconfig\n", zconf_curname(), zconf_lineno());
181 menuconfig_entry_start: T_MENUCONFIG nonconst_symbol T_EOL
183 $2->flags |= SYMBOL_OPTIONAL;
184 menu_add_entry($2);
185 printd(DEBUG_PARSE, "%s:%d:menuconfig %s\n", zconf_curname(), zconf_lineno(), $2->name);
188 menuconfig_stmt: menuconfig_entry_start config_option_list
190 if (current_entry->prompt)
191 current_entry->prompt->type = P_MENU;
192 else
193 zconfprint("warning: menuconfig statement without prompt");
194 printd(DEBUG_PARSE, "%s:%d:endconfig\n", zconf_curname(), zconf_lineno());
197 config_option_list:
198 /* empty */
199 | config_option_list config_option
200 | config_option_list symbol_option
201 | config_option_list depends
202 | config_option_list help
203 | config_option_list option_error
204 | config_option_list T_EOL
207 config_option: T_TYPE prompt_stmt_opt T_EOL
209 menu_set_type($1->stype);
210 printd(DEBUG_PARSE, "%s:%d:type(%u)\n",
211 zconf_curname(), zconf_lineno(),
212 $1->stype);
215 config_option: T_PROMPT prompt if_expr T_EOL
217 menu_add_prompt(P_PROMPT, $2, $3);
218 printd(DEBUG_PARSE, "%s:%d:prompt\n", zconf_curname(), zconf_lineno());
221 config_option: T_DEFAULT expr if_expr T_EOL
223 menu_add_expr(P_DEFAULT, $2, $3);
224 if ($1->stype != S_UNKNOWN)
225 menu_set_type($1->stype);
226 printd(DEBUG_PARSE, "%s:%d:default(%u)\n",
227 zconf_curname(), zconf_lineno(),
228 $1->stype);
231 config_option: T_SELECT nonconst_symbol if_expr T_EOL
233 menu_add_symbol(P_SELECT, $2, $3);
234 printd(DEBUG_PARSE, "%s:%d:select\n", zconf_curname(), zconf_lineno());
237 config_option: T_IMPLY nonconst_symbol if_expr T_EOL
239 menu_add_symbol(P_IMPLY, $2, $3);
240 printd(DEBUG_PARSE, "%s:%d:imply\n", zconf_curname(), zconf_lineno());
243 config_option: T_RANGE symbol symbol if_expr T_EOL
245 menu_add_expr(P_RANGE, expr_alloc_comp(E_RANGE,$2, $3), $4);
246 printd(DEBUG_PARSE, "%s:%d:range\n", zconf_curname(), zconf_lineno());
249 symbol_option: T_OPTION symbol_option_list T_EOL
252 symbol_option_list:
253 /* empty */
254 | symbol_option_list T_WORD symbol_option_arg
256 const struct kconf_id *id = kconf_id_lookup($2, strlen($2));
257 if (id && id->flags & TF_OPTION) {
258 menu_add_option(id->token, $3);
259 free($3);
261 else
262 zconfprint("warning: ignoring unknown option %s", $2);
263 free($2);
266 symbol_option_arg:
267 /* empty */ { $$ = NULL; }
268 | T_EQUAL prompt { $$ = $2; }
271 /* choice entry */
273 choice: T_CHOICE word_opt T_EOL
275 struct symbol *sym = sym_lookup($2, SYMBOL_CHOICE);
276 sym->flags |= SYMBOL_AUTO;
277 menu_add_entry(sym);
278 menu_add_expr(P_CHOICE, NULL, NULL);
279 printd(DEBUG_PARSE, "%s:%d:choice\n", zconf_curname(), zconf_lineno());
282 choice_entry: choice choice_option_list
284 $$ = menu_add_menu();
287 choice_end: end
289 if (zconf_endtoken($1, T_CHOICE, T_ENDCHOICE)) {
290 menu_end_menu();
291 printd(DEBUG_PARSE, "%s:%d:endchoice\n", zconf_curname(), zconf_lineno());
295 choice_stmt: choice_entry choice_block choice_end
298 choice_option_list:
299 /* empty */
300 | choice_option_list choice_option
301 | choice_option_list depends
302 | choice_option_list help
303 | choice_option_list T_EOL
304 | choice_option_list option_error
307 choice_option: T_PROMPT prompt if_expr T_EOL
309 menu_add_prompt(P_PROMPT, $2, $3);
310 printd(DEBUG_PARSE, "%s:%d:prompt\n", zconf_curname(), zconf_lineno());
313 choice_option: T_TYPE prompt_stmt_opt T_EOL
315 if ($1->stype == S_BOOLEAN || $1->stype == S_TRISTATE) {
316 menu_set_type($1->stype);
317 printd(DEBUG_PARSE, "%s:%d:type(%u)\n",
318 zconf_curname(), zconf_lineno(),
319 $1->stype);
320 } else
321 YYERROR;
324 choice_option: T_OPTIONAL T_EOL
326 current_entry->sym->flags |= SYMBOL_OPTIONAL;
327 printd(DEBUG_PARSE, "%s:%d:optional\n", zconf_curname(), zconf_lineno());
330 choice_option: T_DEFAULT nonconst_symbol if_expr T_EOL
332 if ($1->stype == S_UNKNOWN) {
333 menu_add_symbol(P_DEFAULT, $2, $3);
334 printd(DEBUG_PARSE, "%s:%d:default\n",
335 zconf_curname(), zconf_lineno());
336 } else
337 YYERROR;
340 choice_block:
341 /* empty */
342 | choice_block common_stmt
345 /* if entry */
347 if_entry: T_IF expr nl
349 printd(DEBUG_PARSE, "%s:%d:if\n", zconf_curname(), zconf_lineno());
350 menu_add_entry(NULL);
351 menu_add_dep($2);
352 $$ = menu_add_menu();
355 if_end: end
357 if (zconf_endtoken($1, T_IF, T_ENDIF)) {
358 menu_end_menu();
359 printd(DEBUG_PARSE, "%s:%d:endif\n", zconf_curname(), zconf_lineno());
363 if_stmt: if_entry if_block if_end
366 if_block:
367 /* empty */
368 | if_block common_stmt
369 | if_block menu_stmt
370 | if_block choice_stmt
373 /* menu entry */
375 menu: T_MENU prompt T_EOL
377 menu_add_entry(NULL);
378 menu_add_prompt(P_MENU, $2, NULL);
379 printd(DEBUG_PARSE, "%s:%d:menu\n", zconf_curname(), zconf_lineno());
382 menu_entry: menu visibility_list depends_list
384 $$ = menu_add_menu();
387 menu_end: end
389 if (zconf_endtoken($1, T_MENU, T_ENDMENU)) {
390 menu_end_menu();
391 printd(DEBUG_PARSE, "%s:%d:endmenu\n", zconf_curname(), zconf_lineno());
395 menu_stmt: menu_entry menu_block menu_end
398 menu_block:
399 /* empty */
400 | menu_block common_stmt
401 | menu_block menu_stmt
402 | menu_block choice_stmt
405 source_stmt: T_SOURCE prompt T_EOL
407 printd(DEBUG_PARSE, "%s:%d:source %s\n", zconf_curname(), zconf_lineno(), $2);
408 zconf_nextfile($2);
409 free($2);
412 /* comment entry */
414 comment: T_COMMENT prompt T_EOL
416 menu_add_entry(NULL);
417 menu_add_prompt(P_COMMENT, $2, NULL);
418 printd(DEBUG_PARSE, "%s:%d:comment\n", zconf_curname(), zconf_lineno());
421 comment_stmt: comment depends_list
424 /* help option */
426 help_start: T_HELP T_EOL
428 printd(DEBUG_PARSE, "%s:%d:help\n", zconf_curname(), zconf_lineno());
429 zconf_starthelp();
432 help: help_start T_HELPTEXT
434 if (current_entry->help) {
435 free(current_entry->help);
436 zconfprint("warning: '%s' defined with more than one help text -- only the last one will be used",
437 current_entry->sym->name ?: "<choice>");
440 /* Is the help text empty or all whitespace? */
441 if ($2[strspn($2, " \f\n\r\t\v")] == '\0')
442 zconfprint("warning: '%s' defined with blank help text",
443 current_entry->sym->name ?: "<choice>");
445 current_entry->help = $2;
448 /* depends option */
450 depends_list:
451 /* empty */
452 | depends_list depends
453 | depends_list T_EOL
454 | depends_list option_error
457 depends: T_DEPENDS T_ON expr T_EOL
459 menu_add_dep($3);
460 printd(DEBUG_PARSE, "%s:%d:depends on\n", zconf_curname(), zconf_lineno());
463 /* visibility option */
465 visibility_list:
466 /* empty */
467 | visibility_list visible
468 | visibility_list T_EOL
471 visible: T_VISIBLE if_expr
473 menu_add_visibility($2);
476 /* prompt statement */
478 prompt_stmt_opt:
479 /* empty */
480 | prompt if_expr
482 menu_add_prompt(P_PROMPT, $1, $2);
485 prompt: T_WORD
486 | T_WORD_QUOTE
489 end: T_ENDMENU T_EOL { $$ = $1; }
490 | T_ENDCHOICE T_EOL { $$ = $1; }
491 | T_ENDIF T_EOL { $$ = $1; }
495 T_EOL
496 | nl T_EOL
499 if_expr: /* empty */ { $$ = NULL; }
500 | T_IF expr { $$ = $2; }
503 expr: symbol { $$ = expr_alloc_symbol($1); }
504 | symbol T_LESS symbol { $$ = expr_alloc_comp(E_LTH, $1, $3); }
505 | symbol T_LESS_EQUAL symbol { $$ = expr_alloc_comp(E_LEQ, $1, $3); }
506 | symbol T_GREATER symbol { $$ = expr_alloc_comp(E_GTH, $1, $3); }
507 | symbol T_GREATER_EQUAL symbol { $$ = expr_alloc_comp(E_GEQ, $1, $3); }
508 | symbol T_EQUAL symbol { $$ = expr_alloc_comp(E_EQUAL, $1, $3); }
509 | symbol T_UNEQUAL symbol { $$ = expr_alloc_comp(E_UNEQUAL, $1, $3); }
510 | T_OPEN_PAREN expr T_CLOSE_PAREN { $$ = $2; }
511 | T_NOT expr { $$ = expr_alloc_one(E_NOT, $2); }
512 | expr T_OR expr { $$ = expr_alloc_two(E_OR, $1, $3); }
513 | expr T_AND expr { $$ = expr_alloc_two(E_AND, $1, $3); }
516 /* For symbol definitions, selects, etc., where quotes are not accepted */
517 nonconst_symbol: T_WORD { $$ = sym_lookup($1, 0); free($1); };
519 symbol: nonconst_symbol
520 | T_WORD_QUOTE { $$ = sym_lookup($1, SYMBOL_CONST); free($1); }
523 word_opt: /* empty */ { $$ = NULL; }
524 | T_WORD
528 void conf_parse(const char *name)
530 const char *tmp;
531 struct symbol *sym;
532 int i;
534 zconf_initscan(name);
536 sym_init();
537 _menu_init();
539 if (getenv("ZCONF_DEBUG"))
540 yydebug = 1;
541 yyparse();
542 if (yynerrs)
543 exit(1);
544 if (!modules_sym)
545 modules_sym = sym_find( "n" );
547 tmp = rootmenu.prompt->text;
548 rootmenu.prompt->text = _(rootmenu.prompt->text);
549 rootmenu.prompt->text = sym_expand_string_value(rootmenu.prompt->text);
550 free((char*)tmp);
552 menu_finalize(&rootmenu);
553 for_all_symbols(i, sym) {
554 if (sym_check_deps(sym))
555 yynerrs++;
557 if (yynerrs)
558 exit(1);
559 sym_set_change_count(1);
562 static const char *zconf_tokenname(int token)
564 switch (token) {
565 case T_MENU: return "menu";
566 case T_ENDMENU: return "endmenu";
567 case T_CHOICE: return "choice";
568 case T_ENDCHOICE: return "endchoice";
569 case T_IF: return "if";
570 case T_ENDIF: return "endif";
571 case T_DEPENDS: return "depends";
572 case T_VISIBLE: return "visible";
574 return "<token>";
577 static bool zconf_endtoken(const struct kconf_id *id, int starttoken, int endtoken)
579 if (id->token != endtoken) {
580 zconf_error("unexpected '%s' within %s block",
581 id->name, zconf_tokenname(starttoken));
582 yynerrs++;
583 return false;
585 if (current_menu->file != current_file) {
586 zconf_error("'%s' in different file than '%s'",
587 id->name, zconf_tokenname(starttoken));
588 fprintf(stderr, "%s:%d: location of the '%s'\n",
589 current_menu->file->name, current_menu->lineno,
590 zconf_tokenname(starttoken));
591 yynerrs++;
592 return false;
594 return true;
597 static void zconfprint(const char *err, ...)
599 va_list ap;
601 fprintf(stderr, "%s:%d: ", zconf_curname(), zconf_lineno());
602 va_start(ap, err);
603 vfprintf(stderr, err, ap);
604 va_end(ap);
605 fprintf(stderr, "\n");
608 static void zconf_error(const char *err, ...)
610 va_list ap;
612 yynerrs++;
613 fprintf(stderr, "%s:%d: ", zconf_curname(), zconf_lineno());
614 va_start(ap, err);
615 vfprintf(stderr, err, ap);
616 va_end(ap);
617 fprintf(stderr, "\n");
620 static void yyerror(const char *err)
622 fprintf(stderr, "%s:%d: %s\n", zconf_curname(), zconf_lineno() + 1, err);
625 static void print_quoted_string(FILE *out, const char *str)
627 const char *p;
628 int len;
630 putc('"', out);
631 while ((p = strchr(str, '"'))) {
632 len = p - str;
633 if (len)
634 fprintf(out, "%.*s", len, str);
635 fputs("\\\"", out);
636 str = p + 1;
638 fputs(str, out);
639 putc('"', out);
642 static void print_symbol(FILE *out, struct menu *menu)
644 struct symbol *sym = menu->sym;
645 struct property *prop;
647 if (sym_is_choice(sym))
648 fprintf(out, "\nchoice\n");
649 else
650 fprintf(out, "\nconfig %s\n", sym->name);
651 switch (sym->type) {
652 case S_BOOLEAN:
653 fputs(" bool\n", out);
654 break;
655 case S_TRISTATE:
656 fputs(" tristate\n", out);
657 break;
658 case S_STRING:
659 fputs(" string\n", out);
660 break;
661 case S_INT:
662 fputs(" integer\n", out);
663 break;
664 case S_HEX:
665 fputs(" hex\n", out);
666 break;
667 default:
668 fputs(" ???\n", out);
669 break;
671 for (prop = sym->prop; prop; prop = prop->next) {
672 if (prop->menu != menu)
673 continue;
674 switch (prop->type) {
675 case P_PROMPT:
676 fputs(" prompt ", out);
677 print_quoted_string(out, prop->text);
678 if (!expr_is_yes(prop->visible.expr)) {
679 fputs(" if ", out);
680 expr_fprint(prop->visible.expr, out);
682 fputc('\n', out);
683 break;
684 case P_DEFAULT:
685 fputs( " default ", out);
686 expr_fprint(prop->expr, out);
687 if (!expr_is_yes(prop->visible.expr)) {
688 fputs(" if ", out);
689 expr_fprint(prop->visible.expr, out);
691 fputc('\n', out);
692 break;
693 case P_CHOICE:
694 fputs(" #choice value\n", out);
695 break;
696 case P_SELECT:
697 fputs( " select ", out);
698 expr_fprint(prop->expr, out);
699 fputc('\n', out);
700 break;
701 case P_IMPLY:
702 fputs( " imply ", out);
703 expr_fprint(prop->expr, out);
704 fputc('\n', out);
705 break;
706 case P_RANGE:
707 fputs( " range ", out);
708 expr_fprint(prop->expr, out);
709 fputc('\n', out);
710 break;
711 case P_MENU:
712 fputs( " menu ", out);
713 print_quoted_string(out, prop->text);
714 fputc('\n', out);
715 break;
716 default:
717 fprintf(out, " unknown prop %d!\n", prop->type);
718 break;
721 if (menu->help) {
722 int len = strlen(menu->help);
723 while (menu->help[--len] == '\n')
724 menu->help[len] = 0;
725 fprintf(out, " help\n%s\n", menu->help);
729 void zconfdump(FILE *out)
731 struct property *prop;
732 struct symbol *sym;
733 struct menu *menu;
735 menu = rootmenu.list;
736 while (menu) {
737 if ((sym = menu->sym))
738 print_symbol(out, menu);
739 else if ((prop = menu->prompt)) {
740 switch (prop->type) {
741 case P_COMMENT:
742 fputs("\ncomment ", out);
743 print_quoted_string(out, prop->text);
744 fputs("\n", out);
745 break;
746 case P_MENU:
747 fputs("\nmenu ", out);
748 print_quoted_string(out, prop->text);
749 fputs("\n", out);
750 break;
751 default:
754 if (!expr_is_yes(prop->visible.expr)) {
755 fputs(" depends ", out);
756 expr_fprint(prop->visible.expr, out);
757 fputc('\n', out);
761 if (menu->list)
762 menu = menu->list;
763 else if (menu->next)
764 menu = menu->next;
765 else while ((menu = menu->parent)) {
766 if (menu->prompt && menu->prompt->type == P_MENU)
767 fputs("\nendmenu\n", out);
768 if (menu->next) {
769 menu = menu->next;
770 break;
776 #include "zconf.lex.c"
777 #include "util.c"
778 #include "confdata.c"
779 #include "expr.c"
780 #include "symbol.c"
781 #include "menu.c"