diff options
| author | Carlos O'Donell <carlos@codesourcery.com> | 2006-05-24 17:57:58 +0000 |
|---|---|---|
| committer | Carlos O'Donell <carlos@gcc.gnu.org> | 2006-05-24 17:57:58 +0000 |
| commit | 65d6e994083e218dc58ac45b62be281abc99663f (patch) | |
| tree | 6b0c7c3c2e57021fd73772383eb541aaae55292b /configure.in | |
| parent | 740dfbde6788eb4f7e5be59fb7dd9b72a73e8494 (diff) | |
| download | gcc-65d6e994083e218dc58ac45b62be281abc99663f.zip gcc-65d6e994083e218dc58ac45b62be281abc99663f.tar.gz gcc-65d6e994083e218dc58ac45b62be281abc99663f.tar.bz2 | |
Makefile.def: Add install-html target.
2006-05-24 Carlos O'Donell <carlos@codesourcery.com>
* Makefile.def: Add install-html target. Add datarootdir
docdir and htmldir to flags_to_pass.
* Makefile.tpl: Add install-html target.
* Makefile.in: Regenerate.
* configure.in: Add --with-datarootdir, --with-docdir, and
--with-htmldir options. AC_SUBST datarootdir, docdir and htmldir.
* configure: Regenerate.
From-SVN: r114048
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/configure.in b/configure.in index c78cec7..bf37b80 100644 --- a/configure.in +++ b/configure.in @@ -1068,6 +1068,26 @@ fi ACX_PROG_GNAT ACX_PROG_CMP_IGNORE_INITIAL +# Check for html and install-html +AC_ARG_WITH(datarootdir, +[ --with-datarootdir Use datarootdir as the data root directory.], +[datarootdir="\${prefix}/${withval}"], +[datarootdir="\${prefix}/share"]) + +AC_ARG_WITH(docdir, +[ --with-docdir Install documentation in this directory.], +[docdir="\${prefix}/${withval}"], +[docdir="\${datarootdir}/doc"]) + +AC_ARG_WITH(htmldir, +[ --with-htmldir Install html in this directory.], +[htmldir="\${prefix}/${withval}"], +[htmldir="\${docdir}"]) + +AC_SUBST(datarootdir) +AC_SUBST(docdir) +AC_SUBST(htmldir) + # Check for GMP and MPFR gmplibs= gmpinc= |