#!/bin/sh
# $Id: config-info,v 1.1.1.1 1995/05/01 15:47:10 zeller Exp $
# Get Configuration Info from `Makefile' and `config.h'

# Copyright (C) 1995 Technische Universitaet Braunschweig, Germany.
# Written by Andreas Zeller (zeller@ips.cs.tu-bs.de).
# 
# This file is part of DDD.
# 
# DDD 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 2 of the License, or (at your option) any later version.
# 
# DDD 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 DDD -- see the file COPYING.
# If not, write to the Free Software Foundation, Inc.,
# 675 Mass Ave, Cambridge, MA 02139, USA.
# 
# DDD is the GDB-based data display debugger.
# Contact ddd@ips.cs.tu-bs.de for details.

echo "// Generated automatically by \`config-info' from \`Makefile' and \`config.h'."
echo "// Do not edit."
echo
echo '#include "configinfo.h"'
echo 
echo "const char *config_info = "
(
    echo Features:
    (
    grep '#define' config.h   | 
	sed 's/#define  *\([_a-zA-Z0-9]*\)  *\(.*\)/\1=\2/'
    grep '#undef' config.h    | 
	sed 's/.*#undef  *\([_a-zA-Z0-9]*\).*/\1=/'
    ) | grep -v '[$]' | sort

    echo
    echo Tools and Flags:
    grep '^[_a-zA-Z]* *=' Makefile | grep -v '\\$' |
	sed 's/\([_a-zA-Z]*\) *= *\(.*\)/\1=\2/' | sort -f

)  | sed '
s/[\"]/\\&/g
s/.*/"&\\n"/'
echo ";"
