3 # $Id: configure,v 1.1 1999/07/19 17:00:15 root Exp $
5 # Copyright (C) 1997-2000 by Dimitri van Heesch.
7 # Permission to use, copy, modify, and distribute this software and its
8 # documentation under the terms of the GNU General Public License is hereby
9 # granted. No representations are made about the suitability of this software
10 # for any purpose. It is provided "as is" without express or implied warranty.
11 # See the GNU General Public License for more details.
13 # Documents produced by Doxygen are derivative works derived from the
14 # input used in their production; they are not affected by this license.
16 # shell script to configure doxygen
21 while test -n "$1"; do
33 echo $1: unknown argument
41 if test "$f_help" = y; then
43 Usage: $0 [--help] [--prefix dir] [--install name]
47 --help Print this help
49 --prefix dir Installation prefix directory
52 --install name Use \`name' as the name of the GNU install tool
56 test "$f_error" = y && exit 1
60 # - check for install ------------------------------------------------------------
62 echo -n " Checking for GNU install tool... "
63 if test "$f_insttool" = NO; then
64 install_names="ginstall install"
65 install_dirs="/usr/bin /usr/local/bin /bin /sbin $bin_dirs"
68 for i in $install_names; do
69 for j in $install_dirs; do
70 if test -x "$j/$i"; then
71 if test -n "`$j/$i --version 2>/dev/null | grep utils`"; then
79 f_insttool="$install_prog"
82 if test "$f_insttool" = NO; then
83 if test "$install_found" = YES; then
84 echo "GNU version of install is required!"
91 echo "using $f_insttool";
93 # ----------------------------------------------------------
96 cat > .makeconfig <<EOF
98 VERSION = `cat VERSION`
100 INSTTOOL = $f_insttool
106 for i in Makefile.in ; do
108 DST=`echo $i|sed 's%\(.*\).in$%\1%'`
112 # This file was generated from `basename $i` on $TIME
116 cat .makeconfig $SRC >> $DST
117 echo " Created $DST from $SRC..."