diff options
| author | carlos <carlos@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-05-24 17:57:58 +0000 |
|---|---|---|
| committer | carlos <carlos@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-05-24 17:57:58 +0000 |
| commit | e0dbdbbfc016a3e83eddc1618885a21ad0ccaed5 (patch) | |
| tree | 6b0c7c3c2e57021fd73772383eb541aaae55292b /configure.in | |
| parent | cd71c8444ee3061c2c4b395530a0de050dfd1ee9 (diff) | |
| download | gcc-e0dbdbbfc016a3e83eddc1618885a21ad0ccaed5.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@114048 138bc75d-0d04-0410-961f-82ee72b054a4
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 c78cec75a19..bf37b8058b3 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= |