t/instdir-texi.sh

   1 #! /bin/sh
   2 # Copyright (C) 2009-2012 Free Software Foundation, Inc.
   3 #
   4 # This program is free software; you can redistribute it and/or modify
   5 # it under the terms of the GNU General Public License as published by
   6 # the Free Software Foundation; either version 2, or (at your option)
   7 # any later version.
   8 #
   9 # This program is distributed in the hope that it will be useful,
  10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12 # GNU General Public License for more details.
  13 #
  14 # You should have received a copy of the GNU General Public License
  15 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
  16
  17 # If $(infodir) is the empty string, then nothing should be installed there.
  18 # Likewise for the other install-* targets used for texinfo files.
  19
  20 required='makeinfo tex texi2dvi'
  21 . ./defs || exit 1
  22
  23 dvips --help \
  24   || skip_ "dvips is missing"
  25 pdfetex --version || pdftex --version \
  26   || skip_ "pdeftex and pdftex are both missing"
  27
  28 cat >>configure.ac <<'END'
  29 AC_OUTPUT
  30 END
  31
  32 cat >Makefile.am <<'END'
  33 info_TEXINFOS = foo.texi
  34 END
  35
  36 cat >foo.texi << 'END'
  37 \input texinfo
  38 @setfilename foo.info
  39 @settitle foo
  40 @node Top
  41 Hello walls.
  42 @include version.texi
  43 @bye
  44 END
  45
  46 $ACLOCAL
  47 $AUTOCONF
  48 $AUTOMAKE --add-missing
  49
  50 cwd=$(pwd) || fatal_ "getting current working directory"
  51 instdir=$cwd/inst
  52 destdir=$cwd/dest
  53 mkdir build
  54 cd build
  55 ../configure --prefix="$instdir"
  56 $MAKE all dvi ps pdf html
  57 ls -l
  58
  59 infodir= htmldir= dvidir= psdir= pdfdir=
  60 export infodir htmldir dvidir psdir pdfdir
  61
  62 $MAKE -e install install-html install-dvi install-ps install-pdf
  63 test ! -e "$instdir"
  64 $MAKE -e install install-html install-dvi install-ps install-pdf \
  65          DESTDIR="$destdir"
  66 test ! -e "$instdir"
  67 test ! -e "$destdir"
  68 $MAKE -e uninstall > stdout || { cat stdout; exit 1; }
  69 cat stdout
  70 grep 'rm -f' stdout && exit 1
  71 $MAKE -e uninstall DESTDIR="$destdir"
  72
  73 :