home *** CD-ROM | disk | FTP | other *** search
/ PC World Komputer 1999 mARCH / PCWK3A99.iso / Linux / DDD331 / DDD-3_1_.000 / DDD-3_1_ / ddd-3.1.1 / ddd / config-info < prev    next >
Text File  |  1998-03-25  |  3KB  |  85 lines
  1. #! /bin/sh
  2. # $Id: config-info,v 1.17 1998/03/25 12:45:27 zeller Exp $
  3. # Get configuration info from `Makefile' and `config.h'
  4.  
  5. # Copyright (C) 1995 Technische Universitaet Braunschweig, Germany.
  6. # Written by Andreas Zeller <zeller@ips.cs.tu-bs.de>.
  7. # 
  8. # This file is part of DDD.
  9. # 
  10. # DDD is free software; you can redistribute it and/or
  11. # modify it under the terms of the GNU General Public
  12. # License as published by the Free Software Foundation; either
  13. # version 2 of the License, or (at your option) any later version.
  14. # 
  15. # DDD is distributed in the hope that it will be useful,
  16. # but WITHOUT ANY WARRANTY; without even the implied warranty of
  17. # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
  18. # See the GNU General Public License for more details.
  19. # 
  20. # You should have received a copy of the GNU General Public
  21. # License along with DDD -- see the file COPYING.
  22. # If not, write to the Free Software Foundation, Inc.,
  23. # 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
  24. # 
  25. # DDD is the data display debugger.
  26. # For details, see the DDD World-Wide-Web page, 
  27. # `http://www.cs.tu-bs.de/softech/ddd/',
  28. # or send a mail to the DDD developers <ddd@ips.cs.tu-bs.de>.
  29.  
  30. # Feature info is seldom useful, so leave it out by default
  31. features=false
  32.  
  33. test "$#" = 0 && set USERINFO
  34.  
  35. for file in "$@"; do
  36.   if [ $file = '-f' -o $file = '--full' ]; then
  37.     features=true
  38.   else
  39.     test -f $file && break
  40.   fi
  41. done
  42. userinfo=`cat $file || echo "the DDD development team <ddd@ips.cs.tu-bs.de>"`
  43. userinfo=`echo "$userinfo." | 
  44. sed ':a
  45. \/......................................................../q
  46. s/.*/& /
  47. b a'`
  48. echo "// Generated automatically by \`config-info' from \`Makefile' and \`config.h'."
  49. echo "// Do not edit."
  50. echo
  51. echo '#include "configinfo.h"'
  52. echo 
  53. echo "const char *config_sccs_info = "
  54. # Issue date in ISO 8601 YYYY-MM-DD format
  55. year=`date '+%Y' 2>/dev/null || date +'%y'`
  56. case $year in
  57.   9?) year=19$year;;
  58.   ??) year=20$year;;
  59. esac
  60. month=`date '+%m'`
  61. day=`date '+%d'`
  62. date=${year}-${month}-${day}
  63. (
  64.     echo "@(#)Built $date by $userinfo"
  65.     if $features; then
  66.       echo ""
  67.       echo Features:
  68.       (
  69.       grep '#define' config.h
  70.       grep '#undef' config.h
  71.       ) |
  72.       sed 's,/\* *\(.*\) *\*/,\1,g' |
  73.       sed 's, *$,,' | sort +1 | sed 's,#undef ,#undef  ,'
  74.  
  75.       echo
  76.       echo Tools and Flags:
  77.       grep '^[_a-zA-Z]* *=' Makefile | grep -v '\\$' |
  78.       sed 's/\([_a-zA-Z]*\) *= *\(.*\)/\1=\2/' | sort -f
  79.     fi
  80. ) | sed '
  81. s/[\"]/\\&/g
  82. s/.*/"&\\n";/'
  83. echo "const char *config_info = config_sccs_info + 4;"
  84. echo "const char *config_dummy = \"@(#)\";";
  85.