From: Tim King Date: Tue, 1 Dec 2015 06:55:26 +0000 (-0500) Subject: Separating the steps of the old mkoptions script into smaller phases. X-Git-Tag: cvc5-1.0.0~6153 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6c6796a72eb58eafd0d05c57d95656d6553e29d5;p=cvc5.git Separating the steps of the old mkoptions script into smaller phases. --- diff --git a/src/expr/Makefile.am b/src/expr/Makefile.am index c5a032abc..1dbb24e09 100644 --- a/src/expr/Makefile.am +++ b/src/expr/Makefile.am @@ -37,7 +37,9 @@ libexpr_la_SOURCES = \ pickler.cpp \ node_self_iterator.h \ expr_stream.h \ - kind_map.h + kind_map.h \ + options_handlers.h \ + options_handlers.cpp nodist_libexpr_la_SOURCES = \ kind.h \ diff --git a/src/expr/options_handlers.cpp b/src/expr/options_handlers.cpp new file mode 100644 index 000000000..05fb8c203 --- /dev/null +++ b/src/expr/options_handlers.cpp @@ -0,0 +1,66 @@ +/********************* */ +/*! \file options_handlers.cpp + ** \verbatim + ** Original author: Morgan Deters + ** Major contributors: none + ** Minor contributors (to current version): none + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2014 New York University and The University of Iowa + ** See the file COPYING in the top-level source directory for licensing + ** information.\endverbatim + ** + ** \brief Custom handlers and predicates for expression package options + ** + ** Custom handlers and predicates for expression package options. + **/ + +#include "cvc4_private.h" + +#include "expr/options_handlers.h" +#include "util/dump.h" +#include "util/output.h" + +namespace CVC4 { +namespace expr { + +void setDefaultExprDepth(std::string option, int depth, SmtEngine* smt) { + if(depth < -1) { + throw OptionException("--default-expr-depth requires a positive argument, or -1."); + } + + Debug.getStream() << Expr::setdepth(depth); + Trace.getStream() << Expr::setdepth(depth); + Notice.getStream() << Expr::setdepth(depth); + Chat.getStream() << Expr::setdepth(depth); + Message.getStream() << Expr::setdepth(depth); + Warning.getStream() << Expr::setdepth(depth); + // intentionally exclude Dump stream from this list +} + +void setDefaultDagThresh(std::string option, int dag, SmtEngine* smt) { + if(dag < 0) { + throw OptionException("--default-dag-thresh requires a nonnegative argument."); + } + + Debug.getStream() << Expr::dag(dag); + Trace.getStream() << Expr::dag(dag); + Notice.getStream() << Expr::dag(dag); + Chat.getStream() << Expr::dag(dag); + Message.getStream() << Expr::dag(dag); + Warning.getStream() << Expr::dag(dag); + Dump.getStream() << Expr::dag(dag); +} + +void setPrintExprTypes(std::string option, SmtEngine* smt) { + Debug.getStream() << Expr::printtypes(true); + Trace.getStream() << Expr::printtypes(true); + Notice.getStream() << Expr::printtypes(true); + Chat.getStream() << Expr::printtypes(true); + Message.getStream() << Expr::printtypes(true); + Warning.getStream() << Expr::printtypes(true); + // intentionally exclude Dump stream from this list +} + +}/* CVC4::expr namespace */ +}/* CVC4 namespace */ + diff --git a/src/expr/options_handlers.h b/src/expr/options_handlers.h index e2a92ade7..32735efa3 100644 --- a/src/expr/options_handlers.h +++ b/src/expr/options_handlers.h @@ -19,49 +19,19 @@ #ifndef __CVC4__EXPR__OPTIONS_HANDLERS_H #define __CVC4__EXPR__OPTIONS_HANDLERS_H -#include "util/output.h" -#include "util/dump.h" +#include namespace CVC4 { -namespace expr { +class SmtEngine; -inline void setDefaultExprDepth(std::string option, int depth, SmtEngine* smt) { - if(depth < -1) { - throw OptionException("--default-expr-depth requires a positive argument, or -1."); - } +namespace expr { - Debug.getStream() << Expr::setdepth(depth); - Trace.getStream() << Expr::setdepth(depth); - Notice.getStream() << Expr::setdepth(depth); - Chat.getStream() << Expr::setdepth(depth); - Message.getStream() << Expr::setdepth(depth); - Warning.getStream() << Expr::setdepth(depth); - // intentionally exclude Dump stream from this list -} -inline void setDefaultDagThresh(std::string option, int dag, SmtEngine* smt) { - if(dag < 0) { - throw OptionException("--default-dag-thresh requires a nonnegative argument."); - } +void setDefaultExprDepth(std::string option, int depth, SmtEngine* smt); - Debug.getStream() << Expr::dag(dag); - Trace.getStream() << Expr::dag(dag); - Notice.getStream() << Expr::dag(dag); - Chat.getStream() << Expr::dag(dag); - Message.getStream() << Expr::dag(dag); - Warning.getStream() << Expr::dag(dag); - Dump.getStream() << Expr::dag(dag); -} +void setDefaultDagThresh(std::string option, int dag, SmtEngine* smt); -inline void setPrintExprTypes(std::string option, SmtEngine* smt) { - Debug.getStream() << Expr::printtypes(true); - Trace.getStream() << Expr::printtypes(true); - Notice.getStream() << Expr::printtypes(true); - Chat.getStream() << Expr::printtypes(true); - Message.getStream() << Expr::printtypes(true); - Warning.getStream() << Expr::printtypes(true); - // intentionally exclude Dump stream from this list -} +void setPrintExprTypes(std::string option, SmtEngine* smt); }/* CVC4::expr namespace */ }/* CVC4 namespace */ diff --git a/src/options/Makefile.am b/src/options/Makefile.am index ad0ec7914..90ea66ff2 100644 --- a/src/options/Makefile.am +++ b/src/options/Makefile.am @@ -47,6 +47,41 @@ OPTIONS_FILES_SRCS = \ OPTIONS_FILES = \ $(patsubst %.cpp,%,$(filter %.cpp,$(OPTIONS_FILES_SRCS))) +OPTIONS_CPPS = \ + $(filter %.cpp,$(OPTIONS_FILES_SRCS)) + +OPTIONS_HEADS = \ + $(filter %.h,$(OPTIONS_FILES_SRCS)) + +OPTIONS_SEDS = \ + $(patsubst %,%.sed,$(OPTIONS_FILES)) + +OPTIONS_OBJ = \ + $(patsubst %.cpp,%.$(OBJEXT),$(OPTIONS_CPP)) + + + + +DOCUMENTATION_FILES = \ + ../../doc/cvc4.1 \ + ../../doc/libcvc4.3 \ + ../../doc/SmtEngine.3cvc \ + ../../doc/options.3cvc + +TEMPLATE_FILES = \ + base_options_template.h \ + base_options_template.cpp \ + options_holder_template.h \ + options_template.cpp \ + ../smt/smt_options_template.cpp \ + ../../doc/cvc4.1_template \ + ../../doc/libcvc4.3_template \ + ../../doc/SmtEngine.3cvc_template \ + ../../doc/options.3cvc_template + +TEMPLATE_SEDS = \ + $(patsubst %,%.sed,$(TEMPLATE_FILES)) + AM_CPPFLAGS = \ -D__BUILDING_CVC4LIB \ -I@builddir@/.. -I@srcdir@/../include -I@srcdir@/.. @@ -57,7 +92,7 @@ noinst_LTLIBRARIES = liboptions.la liboptions_la_SOURCES = \ options.h \ base_options_handlers.h \ - option_exception.h + option_exception.h nodist_liboptions_la_SOURCES = \ options.cpp \ @@ -111,12 +146,23 @@ BUILT_SOURCES = \ exprs-builts \ ../smt/smt_options.cpp \ options.cpp \ - options_holder.h + options_holder.h \ + $(OPTIONS_FILES_SRCS) + + + +# The documentation files are added to BUILT_SOURCES to get the files to +# be built. Alternative suggestions for building these files would be +# appreciated. +BUILT_SOURCES += \ + $(DOCUMENTATION_FILES) + CLEANFILES = \ $(OPTIONS_FILES_SRCS) \ $(BUILT_SOURCES) \ - options-stamp + options-stamp \ + $(DOCUMENTATION_FILES) EXTRA_DIST = \ mkoptions \ @@ -133,7 +179,8 @@ EXTRA_DIST = \ options_holder.h \ $(OPTIONS_FILES_SRCS) \ mktagheaders \ - mktags + mktags \ + $(DOCUMENTATION_FILES) # listing {Debug,Trace}_tags too ensures that make doesn't auto-remove it @@ -174,24 +221,110 @@ MOSTLYCLEANFILES = \ Debug_tags.h \ Trace_tags.h -options_holder.h options.cpp ../smt/smt_options.cpp $(OPTIONS_FILES_SRCS): options-stamp -options-stamp: options_holder_template.h options_template.cpp ../smt/smt_options_template.cpp base_options_template.h base_options_template.cpp mkoptions $(OPTIONS_FILES) +# mkoptions template-sed template-file (options-file)* +# mkoptions apply-sed-files-to-template sed-file template-file filename + +$(TEMPLATE_SEDS) : %.sed : % mkoptions +# echo "template seds" +# echo "$@" +# echo $(TEMPLATE_SEDS) + $(AM_V_at)chmod +x @srcdir@/mkoptions + $(AM_V_GEN)(@srcdir@/mkoptions template-sed "$<" ) > "$@" + + +$(OPTIONS_SEDS) : %.sed : @srcdir@/% mkoptions +# echo "sedheads" +# echo "$@" +# echo $(OPTIONS_SEDS) + $(AM_V_at)chmod +x @srcdir@/mkoptions + $(AM_V_at)mkdir -p `dirname "$@"` + $(AM_V_GEN)(@srcdir@/mkoptions module-sed "$<" ) > "$@" + +$(OPTIONS_HEADS) : %.h : %.sed mkoptions base_options_template.h base_options_template.h.sed +# echo heads +# echo "$@" +# echo $(OPTIONS_HEADS) + $(AM_V_at)chmod +x @srcdir@/mkoptions + $(AM_V_at)mkdir -p `dirname "$@"` + $(AM_V_GEN)(@srcdir@/mkoptions apply-sed-files-to-template \ + @srcdir@/base_options_template.h \ + base_options_template.h.sed \ + "$<" \ + ) > "$@" + +# Bit of a hack here. The .h file needs to always be built before the .cpp file is compiled. +$(OPTIONS_CPPS) : %.cpp : %.sed mkoptions base_options_template.cpp base_options_template.cpp.sed +# echo "cpps" +# echo "$@" +# echo "$<" +# echo $(OPTIONS_CPPS) +# echo $(OPTIONS_FILES_SRCS) + $(AM_V_at)chmod +x @srcdir@/mkoptions + $(AM_V_at)mkdir -p `dirname "$@"` + $(AM_V_GEN)(@srcdir@/mkoptions apply-sed-files-to-template \ + @srcdir@/base_options_template.cpp \ + base_options_template.cpp.sed \ + "$<" \ + ) > "$@" + + + +summary.sed : mkoptions $(OPTIONS_FILES) + $(AM_V_at)chmod +x @srcdir@/mkoptions + $(AM_V_GEN)(@srcdir@/mkoptions summary-sed \ + $(foreach o,$(OPTIONS_FILES),"$(srcdir)/$(o)") \ + ) > summary.sed + + + +# mkoptions apply-sed-to-template sed-file template-file +options_holder.h : options_holder_template.h options_holder_template.h.sed summary.sed mkoptions $(OPTIONS_HEADERS) +# echo "$(OPTIONS_FILES)" + $(AM_V_at)chmod +x @srcdir@/mkoptions + $(AM_V_GEN)(@srcdir@/mkoptions apply-sed-files-to-template \ + @srcdir@/options_holder_template.h \ + @builddir@/options_holder_template.h.sed \ + summary.sed \ + ) > "$@" + +# mkoptions apply-sed-to-template sed-file template-file +options.cpp : options_template.cpp options_template.cpp.sed mkoptions summary.sed $(OPTIONS_HEADERS) +# echo "$(OPTIONS_FILES)" $(AM_V_at)chmod +x @srcdir@/mkoptions - $(AM_V_GEN)(@srcdir@/mkoptions \ - @srcdir@/options_holder_template.h @builddir@/options_holder.h \ - @srcdir@/options_template.cpp @builddir@/options.cpp \ - @srcdir@/../smt/smt_options_template.cpp @builddir@/../smt/smt_options.cpp \ - @top_builddir@/doc/cvc4.1_template @top_builddir@/doc/cvc4.1 \ - @top_builddir@/doc/libcvc4.3_template @top_builddir@/doc/libcvc4.3 \ - @top_builddir@/doc/SmtEngine.3cvc_template @top_builddir@/doc/SmtEngine.3cvc \ - @top_builddir@/doc/options.3cvc_template @top_builddir@/doc/options.3cvc \ - -t \ - @srcdir@/base_options_template.h @srcdir@/base_options_template.cpp \ - $(foreach o,$(OPTIONS_FILES),"$(srcdir)/$(o)" "$(patsubst %/,%,$(dir $(o)))") \ - ) - touch "$@" - -$(OPTIONS_FILES):; + $(AM_V_GEN)(@srcdir@/mkoptions apply-sed-files-to-template \ + @srcdir@/options_template.cpp \ + @builddir@/options_template.cpp.sed \ + summary.sed \ + ) > "$@" + + +# mkoptions apply-sed-to-template sed-file template-file +../smt/smt_options.cpp : ../smt/smt_options_template.cpp ../smt/smt_options_template.cpp.sed mkoptions summary.sed $(OPTIONS_HEADERS) +# echo "$(OPTIONS_FILES)" + $(AM_V_at)chmod +x @srcdir@/mkoptions + $(AM_V_GEN)(@srcdir@/mkoptions apply-sed-files-to-template \ + @srcdir@/../smt/smt_options_template.cpp \ + @builddir@/../smt/smt_options_template.cpp.sed \ + summary.sed \ + ) > "$@" + + + + +$(DOCUMENTATION_FILES) : % : %_template %_template.sed mkoptions summary.sed +# echo "$<" +# echo "$@" + $(AM_V_at)chmod +x @srcdir@/mkoptions + $(AM_V_GEN)(@srcdir@/mkoptions apply-sed-files-to-template \ + "$<" \ + "$<".sed \ + @builddir@/summary.sed \ + ) > "$@" + + + +options-stamp: options_holder_template.h options_template.cpp ../smt/smt_options_template.cpp base_options_template.h base_options_template.cpp mkoptions $(OPTIONS_FILE_SRCS) + # This rule is ugly. It's needed to ensure that automake's dependence # includes are available during distclean, even though they come from @@ -201,3 +334,4 @@ $(OPTIONS_FILES):; .PHONY: exprs-builts exprs-builts:; $(AM_V_at)[ "$(FROM_EXPR)" != 1 ] && $(MAKE) -C ../expr builts || true + diff --git a/src/options/mkoptions b/src/options/mkoptions index b4cea04d1..54c731a70 100755 --- a/src/options/mkoptions +++ b/src/options/mkoptions @@ -2,73 +2,80 @@ # # mkoptions # Morgan Deters for CVC4 -# Copyright (c) 2011-2014 The CVC4 Project -# -# The purpose of this script is to create options.{h,cpp} -# from template files and a list of options. +# Tim King for CVC4 +# Copyright (c) 2011-2015 The CVC4 Project # # Invocation: # -# mkoptions (template-file output-file)+ -t options.h-template options.cpp-template (options-file output-dir)+ +# mkoptions module-sed options-file +# mkoptions summary-sed (options-file)* +# mkoptions template-sed template-file +# mkoptions apply-sed-files-to-template template-file (sed-file)* +# +# The primary purpose of this script is to create options.{h,cpp} +# from template files and a list of options. This additionally generates +# the several documentation files, smt/smt_options.{h,cpp}, and +# options_holder.{h,cpp}. This script can in broad terms be thought of +# as an interpreter for a domain specific language within bash. +# +# The process for generating the files is as follows. +# 1) Scan all of the option files that are of interest. +# For an options.h file this is a single option file. For the system wide +# aggregates, like documentation, this is all of the option files. # +# 2) Each option file is effectively a bash script. To oversimplify, each line +# in the file corresponds to executing a command in this file. +# The side effect of running the bash script is to populate the internal +# variables of this script. +# See the "eval" call in scan_module to see how internal functions are +# called. +# +# 3) The internal variables are then compiled into a map from variables to +# string values. These maps are printed to standard output. This output +# is a valid sed file. +# +# 4) These sed maps are then applied to templates files to generate the final +# output files. +# +# Example of generating a module: +# mkoptions module-sed src/options/base_options.h src/theory -copyright=2011-2014 +copyright=2011-2015 me=$(basename "$0") function usage { - echo "usage: $me (template-file output-file)+ -t options.h-template options.cpp-template (options-file output-dir)+" >&2 + echo "usage: $me module-sed options-file" >&2 + echo "usage: $me summary-sed (options-file)*" >&2 + echo "usage: $me template-sed template-file" >&2 + echo "usage: $me apply-sed-files-to-template template-file (sed-file)*" >&2 } -progress_char=/ -if [ -t 1 ]; then r="\r"; else r=""; fi -function progress { - file="$(expr "$1" : '.*\(.................................................................\)')" - if [ -z "$file" ]; then file="$1"; else file="[...]$file"; fi - [ -t 1 ] && printf "$r%c %-70s (%3d%%)" "$progress_char" "$file" "$(($2*100/$3))" - progress_char="`echo "$progress_char" | tr -- '-\\\\|/' '\\\\|/-'`" -} +# progress_char=/ +# if [ -t 1 ]; then r="\r"; else r=""; fi +# function progress { +# file="$(expr "$1" : '.*\(.................................................................\)')" +# if [ -z "$file" ]; then file="$1"; else file="[...]$file"; fi +# [ -t 1 ] && printf "$r%c %-70s (%3d%%)" "$progress_char" "$file" "$(($2*100/$3))" +# progress_char="`echo "$progress_char" | tr -- '-\\\\|/' '\\\\|/-'`" +# } function NOTE { - printf "$r%-80s\n" "$kf:$lineno: note: $@" + printf "$r%-80s\n" "$kf:$lineno: note: $@" >&2 } function WARN { - printf "$r%-80s\n" "$kf:$lineno: warning: $@" + printf "$r%-80s\n" "$kf:$lineno: warning: $@" >&2 } function ERR { - printf "$r%-80s\n" "$kf:$lineno: error: $@" + printf "$r%-80s\n" "$kf:$lineno: error: $@" >&2 exit 1 } -declare -a templates -declare -a outputs -while [ "$1" != -t ]; do - if [ "$#" -lt 2 ]; then - echo "$me: error: expected -t on command line" >&2 - usage - exit 1 - fi - templates[${#templates[@]}]="$1"; shift - if [ "$1" = -t ]; then - echo "$me: error: mismatched number of templates and output files (before -t)" >&2 - usage - exit 1 - fi - outputs[${#outputs[@]}]="$1"; shift -done - -shift -if [ "$#" -lt 3 ]; then - echo "$me: error: not enough arguments" >&2 - usage - exit 1 -fi - -options_h_template="$1"; shift -options_cpp_template="$1"; shift +#options_h_template="$1"; shift +#options_cpp_template="$1"; shift all_modules_defaults= all_modules_short_options= @@ -1397,64 +1404,38 @@ function check_include { fi } -function output_module { +function apply_sed_files_to_template { template="$1" - output="$2" + sed_files="$2" + command="$3" - filename="$(basename "$output")" + filename="$(basename "$sed_file")" + filename="${filename%.*}" - #echo "generating module $output from $template" + echo "applying sed files $sed_files to $template to get $filename " 1>&2 - # generate warnings about incorrect #line annotations in templates - nl -ba -s' ' "$template" | grep '^ *[0-9][0-9]* # *line' | - awk '{OFS="";if($1+1!=$3) print "'"$template"':",$1,": warning: incorrect annotation \"#line ",$3,"\" (it should be \"#line ",($1+1),"\")"}' >&2 - - mkdir -p "`dirname "$output"`" - cp "$template" "$output.working" - echo -n > "$output.sed" - for var in \ - module_id \ - module_name \ - module_includes \ - module_optionholder_spec \ - module_decls \ - module_specializations \ - module_inlines \ - module_accessors \ - module_global_definitions \ - template \ - ; do - progress "$output" $count $total - repl="$(eval "echo \"\${$var}\"" | sed 's,\\,\\\\,g;s/,/\\,/g;s,&,\\\&,g;$!s,$,\\,g')" - # a little nasty; for multi-line replacements, bash can eat a final - # (blank) newline, and so we get a final \ on the final line, leading - # to malformed replacements in the sed script - repl2="$(echo "$repl" | sed '$s,\\*$,,')" - while [ "$repl" != "$repl2" ]; do - repl="$repl2" - repl2="$(echo "$repl" | sed '$s,\\*$,,')" - done - repl="$repl2" - echo -n ";s,$(eval echo "\$\{$var\}"),$repl,g" >>"$output.sed" + sed_args="" + for file in $sed_files; do + sed_args+=" -f $file" done - sed -f "$output.sed" "$output.working" >"$output.working2" - mv -f "$output.working2" "$output.working" - error="$(grep '.*\${[^}]*}.*' "$output.working" | head -n 1)" + + echo "applying sed files $sed_args " 1>&2 + + output_working=$(sed $sed_args "$template") + error="$(echo "$output_working" | grep '.*\${[^}]*}.*' | head -n 1)" if [ -n "$error" ]; then error="$(echo "$error" | sed 's,.*\${\([^}]*\)}.*,\1,')" - rm -f "$output.working" - rm -f "$output.sed" kf="$template" lineno=0 ERR "undefined replacement \${$error}" fi - ( - + # Output header (if this is a .cpp or .c or .h file) and then the # processed text - if expr "$output" : '.*\.cpp$' &>/dev/null || expr "$output" : '.*\.[ch]$' &>/dev/null; then + if expr "$filename" : '.*\.cpp$' &>/dev/null || expr "$filename" : '.*\.[ch]$' &>/dev/null; then + cat <"$output.tmp" +function output_module_sed { + options_file="$1" - rm -f "$output.working" - rm -f "$output.sed" - if diff -q "$output" "$output.tmp" &>/dev/null; then - rm -f "$output.tmp" - else - mv -f "$output.tmp" "$output" - printf "${r}regenerated %-68s\n" "$output" - fi + echo "generating sed file from $options_file" 1>&2 + + + for var in \ + module_id \ + module_name \ + module_includes \ + module_optionholder_spec \ + module_decls \ + module_specializations \ + module_inlines \ + module_accessors \ + module_global_definitions \ + ; do + repl="$(eval "echo \"\${$var}\"" | sed 's,\\,\\\\,g;s/,/\\,/g;s,&,\\\&,g;$!s,$,\\,g')" + # a little nasty; for multi-line replacements, bash can eat a final + # (blank) newline, and so we get a final \ on the final line, leading + # to malformed replacements in the sed script + repl2="$(echo "$repl" | sed '$s,\\*$,,')" + while [ "$repl" != "$repl2" ]; do + repl="$repl2" + repl2="$(echo "$repl" | sed '$s,\\*$,,')" + done + repl="$repl2" + echo -n ";s,$(eval echo "\$\{$var\}"),$repl,g" + done } -total=$(($#/2+23*${#templates[@]})) -count=0 -while [ $# -gt 0 ]; do - kf="$1"; shift - if [ $# -eq 0 ]; then - echo "$me: error: mismatched number of templates and output files (after -t)" >&2 - usage - exit 1 - fi - outdir="$1"; shift +function output_summary_sed { + echo "generating summary sed" 1>&2 - #echo "scanning $kf" + long_option_value_end=$n_long + + for var in \ + smt_getoption_handlers \ + smt_setoption_handlers \ + long_option_value_begin \ + long_option_value_end \ + option_handler_includes \ + all_modules_defaults \ + all_modules_short_options \ + all_modules_long_options \ + all_modules_smt_options \ + all_modules_option_handlers \ + all_modules_get_options \ + include_all_option_headers \ + all_modules_contributions \ + all_custom_handlers \ + common_documentation \ + remaining_documentation \ + common_manpage_documentation \ + remaining_manpage_documentation \ + common_manpage_smt_documentation \ + remaining_manpage_smt_documentation \ + common_manpage_internals_documentation \ + remaining_manpage_internals_documentation \ + ; do + let ++count + repl="$(eval "echo \"\${$var}\"" | sed 's,\\,\\\\,g;s/,/\\,/g;s,&,\\\&,g;$!s,$,\\,g')" + # a little nasty; for multi-line replacements, bash can eat a final + # (blank) newline, and so we get a final \ on the final line, leading + # to malformed replacements in the sed script + repl2="$(echo "$repl" | sed '$s,\\*$,,')" + while [ "$repl" != "$repl2" ]; do + repl="$repl2" + repl2="$(echo "$repl" | sed '$s,\\*$,,')" + done + repl="$repl2" + echo -n ";s,$(eval echo "\$\{$var\}"),$repl,g" + done +} + + +function output_template_sed { + template="$1" + + echo "generating $template" 1>&2 + + # generate warnings about incorrect #line annotations in templates + nl -ba -s' ' "$template" | grep '^ *[0-9][0-9]* # *line' | + awk '{OFS="";if($1+1!=$3) print "'"$template"':",$1,": warning: incorrect annotation \"#line ",$3,"\" (it should be \"#line ",($1+1),"\")"}' >&2 + + long_option_value_end=$n_long + + for var in \ + template \ + ; do + let ++count + repl="$(eval "echo \"\${$var}\"" | sed 's,\\,\\\\,g;s/,/\\,/g;s,&,\\\&,g;$!s,$,\\,g')" + # a little nasty; for multi-line replacements, bash can eat a final + # (blank) newline, and so we get a final \ on the final line, leading + # to malformed replacements in the sed script + repl2="$(echo "$repl" | sed '$s,\\*$,,')" + while [ "$repl" != "$repl2" ]; do + repl="$repl2" + repl2="$(echo "$repl" | sed '$s,\\*$,,')" + done + repl="$repl2" + echo -n ";s,$(eval echo "\$\{$var\}"),$repl,g" + done +} + + + +function scan_module { + kf="$1"; + + echo "scanning $kf" >&2 let ++count - progress "$kf" $count $total + #progress "$kf" $count $total seen_module=false seen_endmodule=false @@ -1541,12 +1611,13 @@ while [ $# -gt 0 ]; do doc-alternate "$(echo "$line" | sed 's,^/,,')" else line="$(echo "$line" | sed 's,\([<>&()!?*]\),\\\1,g')" - progress "$kf" $count $total + #progress "$kf" $count $total if ! eval "$line"; then ERR "error was due to evaluation of this line" fi fi done < "$kf" + if ! $seen_module; then ERR "no module content found in file!" fi @@ -1554,144 +1625,60 @@ while [ $# -gt 0 ]; do ERR "no \"endmodule\" declaration found (it is required at the end)" fi - output_module "$options_h_template" "$outdir/$(basename "$kf").h" - output_module "$options_cpp_template" "$outdir/$(basename "$kf").cpp" -done - -## final outputs - -regenerated=false -i=0; while [ $i -lt ${#templates[@]} ]; do - -template="${templates[$i]}" -output="${outputs[$i]}" - -progress "$output" $count $total - -let ++i - -filename="$(basename "$output")" - -#echo "generating $output from $template" - -# generate warnings about incorrect #line annotations in templates -nl -ba -s' ' "$template" | grep '^ *[0-9][0-9]* # *line' | - awk '{OFS="";if($1+1!=$3) print "'"$template"':",$1,": warning: incorrect annotation \"#line ",$3,"\" (it should be \"#line ",($1+1),"\")"}' >&2 - -long_option_value_end=$n_long - -cp "$template" "$output.working" -echo -n > "$output.sed" -for var in \ - smt_getoption_handlers \ - smt_setoption_handlers \ - long_option_value_begin \ - long_option_value_end \ - template \ - option_handler_includes \ - all_modules_defaults \ - all_modules_short_options \ - all_modules_long_options \ - all_modules_smt_options \ - all_modules_option_handlers \ - all_modules_get_options \ - include_all_option_headers \ - all_modules_contributions \ - all_custom_handlers \ - common_documentation \ - remaining_documentation \ - common_manpage_documentation \ - remaining_manpage_documentation \ - common_manpage_smt_documentation \ - remaining_manpage_smt_documentation \ - common_manpage_internals_documentation \ - remaining_manpage_internals_documentation \ - ; do - let ++count - progress "$output" $count $total - repl="$(eval "echo \"\${$var}\"" | sed 's,\\,\\\\,g;s/,/\\,/g;s,&,\\\&,g;$!s,$,\\,g')" - # a little nasty; for multi-line replacements, bash can eat a final - # (blank) newline, and so we get a final \ on the final line, leading - # to malformed replacements in the sed script - repl2="$(echo "$repl" | sed '$s,\\*$,,')" - while [ "$repl" != "$repl2" ]; do - repl="$repl2" - repl2="$(echo "$repl" | sed '$s,\\*$,,')" - done - repl="$repl2" - echo -n ";s,$(eval echo "\$\{$var\}"),$repl,g" >>"$output.sed" -done -sed -f "$output.sed" "$output.working" >"$output.working2" -mv -f "$output.working2" "$output.working" -error="$(grep '.*\${[^}]*}.*' "$output.working" | head -n 1)" -if [ -n "$error" ]; then - error="$(echo "$error" | sed 's,.*\${\([^}]*\)}.*,\1,')" - echo "$template:0: error: undefined replacement \${$error}" >&2 - rm -f "$output.working" - rm -f "$output.sed" - exit 1 -fi - -progress "$output" $count $total - -( - -# Output header (if this is a .cpp or .c or .h file) and then the -# processed text - -if expr "$output" : '.*\.cpp$' &>/dev/null || expr "$output" : '.*\.[ch]$' &>/dev/null; then - -cat <&2 +} -EOF -fi -cat "$output.working" +running_command="$1" -) >"$output.tmp" +if [ "$running_command" = "module-sed" ]; then +# mkoptions module-sed options-file + echo "args: $#" >&2 + if [ "$#" -eq 2 ]; then + options_file="$2" + scan_module "$options_file" + output_module_sed "$options_file" + else + usage + exit 1 + fi +elif [ "$running_command" = "apply-sed-files-to-template" ]; then +# mkoptions apply-sed-files-to-template template-file (sed-file)* + echo "args: $#" >&2 + if [ "$#" -ge 2 ]; then + shift; + options_template="$1"; shift + sed_files="$@" + apply_sed_files_to_template "$options_template" "$sed_files" "$*" + else + usage + exit 1 + fi +elif [ "$running_command" = "summary-sed" ]; then +# mkoptions summary-sed (options-file)* + echo "args: $#" >&2 + shift; -rm -f "$output.working" -rm -f "$output.sed" -if diff -q "$output" "$output.tmp" &>/dev/null; then - regenerated=false + while [ $# -gt 0 ]; do + kf="$1"; shift + scan_module "$kf" + done + output_summary_sed +elif [ "$running_command" = "template-sed" ]; then +# mkoptions template-sed template-file + if [ "$#" -eq 2 ]; then + template_file="$2" + output_template_sed "$template_file" + else + echo "$me: error: expected -t on command line" >&2 + usage + exit 1 + fi else - mv -f "$output.tmp" "$output" - printf "${r}regenerated %-68s\n" "$output" - regenerated=true + echo "$me: error: $running_command" >&2 + usage + exit 1 fi -rm -f "$output.tmp" -done +exit 0 -if ! $regenerated; then - [ -t 1 ] && printf "$r%-80s$r" "" -fi