diff options
| author | filliatr | 2004-02-24 15:26:16 +0000 |
|---|---|---|
| committer | filliatr | 2004-02-24 15:26:16 +0000 |
| commit | 2e69a376c541fe644b14e7e23eead013864626c4 (patch) | |
| tree | 9b62399ef47d07196fe9d2f0b4dc14558a53432e /configure | |
| parent | f76b56baed0ee1cc332532d6fc3e82e2f52e3ba9 (diff) | |
coqdoc
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5379 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 30 |
1 files changed, 29 insertions, 1 deletions
@@ -36,6 +36,7 @@ libdir_spec=no mandir_spec=no emacslib_spec=no emacs_spec=no +texdir_spec=no reals_opt=no reals=all arch_spec=no @@ -55,6 +56,8 @@ while : ; do libdir=$2/lib/coq mandir_spec=yes mandir=$2/man + texdir_spec=yes + texdir=$2/share/texmf shift;; -local|--local) local=true bindir_spec=yes @@ -65,6 +68,8 @@ while : ; do mandir=$COQTOP/man emacslib_spec=yes emacslib=$COQTOP/tools/emacs + texdir_spec=yes + texdir=$COQTOP/share/texmf reals_opt=yes reals=all;; -src|--src) COQTOP=$2 @@ -84,6 +89,9 @@ while : ; do -emacs |--emacs) emacs_spec=yes emacs=$2 shift;; + -texdir|--texdir) texdir_spec=yes + texdir=$2 + shift;; -arch|--arch) arch_spec=yes arch=$2 shift;; @@ -151,7 +159,8 @@ case $ARCH in bindir_def=/usr/local/bin libdir_def=/usr/local/lib/coq mandir_def=/usr/local/man - emacslib_def=/usr/share/emacs/site-lisp;; + emacslib_def=/usr/share/emacs/site-lisp + texdir_def=/usr/share/texmf;; esac emacs_def=emacs @@ -200,6 +209,17 @@ case $emacslib_spec in yes) EMACSLIB=$emacslib;; esac +case $texdir_spec in + no) echo "Where should I install TeX/LaTeX files [$texdir_def] ?" + read TEXDIR + + case $TEXDIR in + "") TEXDIR=$texdir_def;; + *) true;; + esac;; + yes) TEXDIR=$texdir;; +esac + case $reals_opt in no) echo "Should I compile the complete theory of real analysis [Y/N, default is Y] ?" read reals_ans @@ -357,6 +377,12 @@ case $ARCH in fi esac +# mktexlsr +MKTEXLSR=`which mktexlsr` +case $MKTEXLSR in + "") MKTEXLSR=true;; +esac + # Summary of the configuration echo "" @@ -465,6 +491,8 @@ sed -e "s|LOCALINSTALLATION|$local|" \ -e "s|MANDIRDIRECTORY|$MANDIR|" \ -e "s|EMACSLIBDIRECTORY|$EMACSLIB|" \ -e "s|EMACSCOMMAND|$EMACS|" \ + -e "s|TEXDIRECTORY|$TEXDIR|" \ + -e "s|MKTEXLSRCOMMAND|$MKTEXLSR|" \ -e "s|ARCHITECTURE|$ARCH|" \ -e "s|OSDEPENDENTLIBS|$OSDEPLIBS|" \ -e "s|OSDEPENDENTP4OPTFLAGS|$OSDEPP4OPTFLAGS|" \ |