summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/ptexdir/ptriptest
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/ptexdir/ptriptest')
-rwxr-xr-xBuild/source/texk/web2c/ptexdir/ptriptest61
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
+}
+