tests/instdir-texi.test

   1 #! /bin/sh
   2 # Copyright (C) 2009, 2011 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-html tex texi2dvi'
  21 . ./defs || Exit 1
  22
  23 dvips --help || Exit 77
  24 pdfetex --help || pdftex --help || Exit 77
  25
  26 set -e
  27
  28 cat >>configure.in <<'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 instdir=`pwd`/inst
  51 destdir=`pwd`/dest
  52 mkdir build
  53 cd build
  54 ../configure --prefix="$instdir"
  55 $MAKE all dvi ps pdf html
  56 ls -l
  57
  58 infodir= htmldir= dvidir= psdir= pdfdir=
  59 export infodir htmldir dvidir psdir pdfdir
  60
  61 $MAKE -e install install-html install-dvi install-ps install-pdf
  62 test ! -d "$instdir"
  63 $MAKE -e install install-html install-dvi install-ps install-pdf DESTDIR="$destdir"
  64 test ! -d "$instdir"
  65 test ! -d "$destdir"
  66 $MAKE -e uninstall > stdout || { cat stdout; Exit 1; }
  67 cat stdout
  68 grep 'rm -f' stdout && Exit 1
  69 $MAKE -e uninstall DESTDIR="$destdir"
  70
  71 :