1 files changed, 92 insertions, 0 deletions
diff --git a/build-aux/yyrename b/build-aux/yyrename
new file mode 100755
index 0000000..5e7b1db
--- /dev/null
+++ b/build-aux/yyrename
@@ -0,0 +1,92 @@
+#! /bin/sh
+# Rename yy.* identifiers to avoid name clashes.  This file is part of Grecs.
+# Copyright (C) 2011 Sergey Poznyakoff
+#
+# Grecs is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3, or (at your option)
+# any later version.
+#
+# Grecs is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with Grecs.  If not, see <http://www.gnu.org/licenses/>.
+
+# Usage: yyrename [-f OUTFILE [OUTFILE...]] COMMAND INFILE
+# Makefile.am:
+#  LEXCOMPILE = yyrename -f $(LEX_OUTPUT_ROOT).c \
+#                        '$(LEX) $(LFLAGS) $(AM_LFLAGS)'
+#  YACCCOMPILE = yyrename '$(YACC) $(YFLAGS) $(AM_YFLAGS)'
+#
+# This script runs COMMAND with INFILE as its argument and scans
+# OUTFILEs for identifiers starting with 'yy'.  These identifiers
+# are renamed by replacing 'yy' with the selected prefix.
+#
+# The prefix is looked up in the file yytrans, located in the INFILE's
+# directory.  If this file does not exist, the prefix is constructed
+# by concatenating the string 'grecs_' and the ``root name''.  The root
+# name is build by removing '-lex.l' or '-gram.y' from the base name.
+# If the latter does not end in any of these, the root name
+# is constructed by removing the suffix from the base name.
+#
+# The yytrans file is a line-oriented lookup table.  Empty lines are
+# ignored, usual UNIX comment lines are honored.  The remaining lines
+# must consist of two words separated by any amount of whitespace.
+# The first word is a look-up key, the second one provides a translation
+# (yy replacement) for that key.
+#
+# Two look-ups are tried: first the base name and then the root name.
+# If both result in a non-empty replacement, the former is preferred
+# over the latter.
+#
+# The -f option supplies a list of output file names generated by COMMAND.
+# If not supplied, the following defaults are used: y.tab.c and y.tab.h, if
+# INFILE ends in '.y', and yy.lex.c, if it ends in '.l'.  If INFILE does not
+# end in any of these suffixes, error is reported.
+#
+# BUGS: Any occurrence of 'yy' is replaced, not only 'yy' prefixes.
+#
+case $1 in
+-f) files=$2
+    shift
+    shift
+esac
+
+base=`expr "$2" : '.*/\(.*\)\.[ly]'`
+dir=`dirname "$2"`
+case $2 in
+*.y) test -z "$files" && files="y.tab.c y.tab.h"
+     root=`expr "$2" : '.*/\(.*\)-gram\.y'`;;
+*.l) test -z "$files" && files=lex.yy.c
+     root=`expr "$2" : '.*/\(.*\)-lex\.l'`;;
+*)   if test -z "$files"; then
+       echo >&2 "$0: suffix unknown, files must be given (use -f)"
+       exit 1
+     fi
+     root=$base
+esac
+
+if test -f $dir/yytrans; then
+  pfx=`awk '
+{ sub(/#.*$/,"") }
+NF == 2 && $1=="'$base'" { exact=$2 }
+NF == 2 && $1=="'$root'" { root=$2 }
+{ next }
+END { print exact ? exact : root ? root : "" }' $dir/yytrans`
+else
+  pfx=
+fi
+if test -z "$pfx"; then
+  pfx=grecs_`echo $root | tr .- __`
+fi
+
+eval $* || exit $?
+
+for file in $files
+do
+  mv $file ${file}.tmp
+  sed "s/yy/$pfx/g" ${file}.tmp > $file
+done