#! /bin/sh
# $Id: config-info,v 1.5 1996/01/11 16:35:50 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 the DDD Library.
# 
# The DDD Library is free software; you can redistribute it and/or
# modify it under the terms of the GNU Library General Public
# License as published by the Free Software Foundation; either
# version 2 of the License, or (at your option) any later version.
# 
# The DDD Library 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 Library General Public License for more details.
# 
# You should have received a copy of the GNU Library General Public
# License along with the DDD Library -- see the file COPYING.LIB.
# If not, write to the Free Software Foundation, Inc.,
# 675 Mass Ave, Cambridge, MA 02139, USA.
# 
# DDD is the data display debugger.
# For details, see the DDD World-Wide-Web page, 
# `http://www.cs.tu-bs.de/softech/ddd/',
# or send a mail to the DDD developers at `ddd@ips.cs.tu-bs.de'.

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 "Built by `cat ./USERINFO`"
    echo "on `date`."

    echo
    echo Features:
    (
    grep '#define' config.h
    grep '#undef' config.h
    ) | sed 's,/\* *\(.*\) *\*/,\1,g' |
    sed 's, *$,,' | sort +1 | sed 's,#undef ,#undef  ,'

    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 ";"
