diff options
| author | barras | 2004-03-17 17:38:30 +0000 |
|---|---|---|
| committer | barras | 2004-03-17 17:38:30 +0000 |
| commit | ad4c5a227ba70f01a4970767ccf69a7b79e16a39 (patch) | |
| tree | 812439160b7ee5275b7b7b7d1855cbb2faecdd46 /configure | |
| parent | 5855215c24e6e0e36faef51ab1d0102170eb7999 (diff) | |
install de coqdoc
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5523 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 38 |
1 files changed, 19 insertions, 19 deletions
@@ -36,7 +36,7 @@ libdir_spec=no mandir_spec=no emacslib_spec=no emacs_spec=no -texdir_spec=no +coqdocdir_spec=no reals_opt=no reals=all arch_spec=no @@ -56,8 +56,8 @@ while : ; do libdir=$2/lib/coq mandir_spec=yes mandir=$2/man - texdir_spec=yes - texdir=$2/share/texmf + coqdocdir_spec=yes + coqdocdir=$2/share/texmf/tex/latex/misc shift;; -local|--local) local=true bindir_spec=yes @@ -68,8 +68,8 @@ while : ; do mandir=$COQTOP/man emacslib_spec=yes emacslib=$COQTOP/tools/emacs - texdir_spec=yes - texdir=$COQTOP/share/texmf + coqdocdir_spec=yes + coqdocdir=$COQTOP/tools/coqdoc reals_opt=yes reals=all;; -src|--src) COQTOP=$2 @@ -89,8 +89,8 @@ while : ; do -emacs |--emacs) emacs_spec=yes emacs=$2 shift;; - -texdir|--texdir) texdir_spec=yes - texdir=$2 + -coqdocdir|--coqdocdir) coqdocdir_spec=yes + coqdocdir=$2 shift;; -arch|--arch) arch_spec=yes arch=$2 @@ -160,7 +160,7 @@ case $ARCH in libdir_def=/usr/local/lib/coq mandir_def=/usr/local/man emacslib_def=/usr/share/emacs/site-lisp - texdir_def=/usr/share/texmf;; + coqdocdir_def=/usr/share/texmf/tex/latex/misc;; esac emacs_def=emacs @@ -209,15 +209,15 @@ 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 $coqdocdir_spec in + no) echo "Where should I install Coqdoc TeX/LaTeX files [$coqdocdir_def] ?" + read COQDOCDIR - case $TEXDIR in - "") TEXDIR=$texdir_def;; + case $COQDOCDIR in + "") COQDOCDIR=$coqdocdir_def;; *) true;; esac;; - yes) TEXDIR=$texdir;; + yes) COQDOCDIR=$coqdocdir;; esac case $reals_opt in @@ -378,10 +378,10 @@ case $ARCH in esac # mktexlsr -MKTEXLSR=`which mktexlsr` -case $MKTEXLSR in - "") MKTEXLSR=true;; -esac +#MKTEXLSR=`which mktexlsr` +#case $MKTEXLSR in +# "") MKTEXLSR=true;; +#esac # Summary of the configuration @@ -491,7 +491,7 @@ sed -e "s|LOCALINSTALLATION|$local|" \ -e "s|MANDIRDIRECTORY|$MANDIR|" \ -e "s|EMACSLIBDIRECTORY|$EMACSLIB|" \ -e "s|EMACSCOMMAND|$EMACS|" \ - -e "s|TEXDIRECTORY|$TEXDIR|" \ + -e "s|COQDOCDIRECTORY|$COQDOCDIR|" \ -e "s|MKTEXLSRCOMMAND|$MKTEXLSR|" \ -e "s|ARCHITECTURE|$ARCH|" \ -e "s|OSDEPENDENTLIBS|$OSDEPLIBS|" \ |