From d4ffb69424c1f1d61fd52e1c931f1d073a8287cb Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Sat, 19 Sep 2020 17:07:11 +0200 Subject: [PATCH] glr: support api.header.include * data/skeletons/glr.c: here. --- data/skeletons/glr.c | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/data/skeletons/glr.c b/data/skeletons/glr.c index c405a39d..3c531149 100644 --- a/data/skeletons/glr.c +++ b/data/skeletons/glr.c @@ -32,7 +32,9 @@ m4_if(b4_skeleton, ["glr.c"], m4_define_default([b4_stack_depth_max], [10000]) m4_define_default([b4_stack_depth_init], [200]) - +# Included header. +b4_percent_define_default([[api.header.include]], + [["@basename(]b4_spec_header_file[@)"]]) ## ------------------------ ## ## Pure/impure interfaces. ## @@ -228,8 +230,8 @@ b4_copyright([Skeleton implementation for Bison GLR parsers in C], ]b4_cast_define[ ]b4_null_define[ -]b4_header_if([[#include "@basename(]b4_spec_header_file[@)"]], - [b4_shared_declarations])[ +]b4_header_if([[#include ]b4_percent_define_get([[api.header.include]])], + [b4_shared_declarations])[ ]b4_glr_cc_if([b4_glr_cc_setup], [b4_declare_symbol_enum])[