diff options
Diffstat (limited to 'Build/source/texk/web2c/ptexdir/ptriptest')
-rwxr-xr-x | Build/source/texk/web2c/ptexdir/ptriptest | 61 |
1 files changed, 61 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/ptexdir/ptriptest b/Build/source/texk/web2c/ptexdir/ptriptest new file mode 100755 index 00000000000..4b00cd35a55 --- /dev/null +++ b/Build/source/texk/web2c/ptexdir/ptriptest @@ -0,0 +1,61 @@ +#! /bin/sh + +# Copyright (C) 2010-2013 Peter Breitenlohner <tex-live@tug.org> +# You may freely use, modify and/or distribute this file. + +testdir=$abs_srcdir/triptrap +ptestdir=$abs_srcdir/ptexdir/ptrip + +TEXMFCNF=$ptestdir; export TEXMFCNF + +rm -rf ptripdir +mkdir ptripdir +cd ptripdir + +dvitype_args="-output-level=2 -dpi=72.27 -page-start='*.*.*.*.*.*.*.*.*.*'" + +echo ">>> Running TRIP test for pTeX." >&2 +echo ">>> See $ptestdir/ptrip.diffs for example of acceptable diffs." >&2 + +# pTeX outputs direction of boxes. +P_SED1='s/, yoko direction//;s/yoko direction, //' +P_SED2='s/yoko(math) direction, //' + +is_OK=: + +set -x + +echo "*** TRIP test for pTeX ***." + +../pltotf $testdir/trip.pl trip.tfm || exit 1 + +../tftopl ./trip.tfm trip.pl || exit 1 + +diff $testdir/trip.pl trip.pl || is_OK=false + +# get same filename in log +$LN_S $testdir/trip.tex . + +rm -f trip.log +../ptex --progname=pinitex --ini <$testdir/trip1.in >ptripin.fot +sed "$P_SED1" trip.log > ptripin.log || exit 1 +diff $testdir/tripin.log ptripin.log + +# May as well test non-ini second time through. +rm -f trip.log +../ptex --progname=ptex <$testdir/trip2.in >ptrip.fot +sed "$P_SED1;$P_SED2" trip.log > ptrip.log +diff $testdir/trip.fot ptrip.fot + +# We use $DIFF instead of `diff' only for those files where there +# might actually be legitimate numerical differences. +$DIFF $DIFFFLAGS $testdir/trip.log ptrip.log + +eval ../dvitype $dvitype_args trip.dvi >ptrip.typ || exit 1 +$DIFF $DIFFFLAGS $testdir/trip.typ ptrip.typ + +$is_OK || { + echo ">>> There were some errors." >&2 + exit 1 +} + |