summaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authordimitri <dimitri@afe2bf4a-e733-0410-8a33-86f594647bc7>2001-06-17 15:02:31 (GMT)
committerdimitri <dimitri@afe2bf4a-e733-0410-8a33-86f594647bc7>2001-06-17 15:02:31 (GMT)
commitd723d351b1ec59ad9db456f820d59a6e270f21a4 (patch)
tree4174efd197ffb98e336e31881c5c95fa3e09cbcc /configure
parent6bcfa2ef74dee5be64110aa0b06b368d498c9a73 (diff)
downloadDoxygen-d723d351b1ec59ad9db456f820d59a6e270f21a4.zip
Doxygen-d723d351b1ec59ad9db456f820d59a6e270f21a4.tar.gz
Doxygen-d723d351b1ec59ad9db456f820d59a6e270f21a4.tar.bz2
Release-1.2.8-20010617
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure44
1 files changed, 42 insertions, 2 deletions
diff --git a/configure b/configure
index 0ecb8ba..99768ca 100755
--- a/configure
+++ b/configure
@@ -24,7 +24,7 @@ f_dot=NO
f_perl=NO
f_plf_auto=NO
f_prefix=/usr
-f_insttool=ginstall
+f_insttool=NO
f_english=NO
f_wizard=NO
f_xmlgen=NO
@@ -116,7 +116,7 @@ Options:
[default: /usr]
--install name Use \`name' as the name of the GNU install tool
- [default: install]
+ [default: autodetect]
--english-only Include support for English only.
@@ -265,6 +265,40 @@ if test "$f_make" = NO; then
fi
echo "using $f_make"
+# - check for install ------------------------------------------------------------
+
+echo -n " Checking for GNU install tool... "
+if test "$f_insttool" = NO; then
+ install_names="ginstall install"
+ install_dirs="/usr/bin /usr/local/bin /bin /sbin $bin_dirs"
+ install_prog=NO
+ install_found=NO
+ for i in $install_names; do
+ for j in $install_dirs; do
+ if test -x "$j/$i"; then
+ install_found=YES
+ if $j/$i --version 2>/dev/null | grep GNU >/dev/null; then
+ install_prog="$j/$i"
+ break 2
+ fi
+ fi
+ done
+ done
+ f_insttool="$install_prog"
+fi
+
+if test "$f_insttool" = NO; then
+ if test "$install_found" = YES; then
+ echo "GNU version of install is required!"
+ else
+ echo "not found!";
+ fi
+ echo
+ exit 2
+fi
+echo "using $f_insttool";
+
+
# - check for dot ------------------------------------------------------------
echo -n " Checking for dot (part of GraphViz)... "
@@ -401,6 +435,12 @@ EOF
if test $f_wizard = YES; then
echo " \$(MAKE) -C addon/doxywizard install" >> $DST
fi
+ echo "" >> $DST
+ echo "xmlgen_install:" >> $DST
+ if test $f_xmlgen = YES; then
+ echo " \$(MAKE) -C addon/xmlgen install" >> $DST
+ fi
+ echo "" >> $DST
fi
cat $SRC >> $DST
echo " Created $DST from $SRC..."