#!/bin/sh

TEXSRC="/users/heinz/src/tex/TeX3.14"
TEXDIR=$TEXSRC/tex
WEBDIR=$TEXSRC/web
WEB2CDIR=$TEXSRC/web2c
ISITEXDIR="/users/heinz/src/tex/sisisi/isitex"

cd $TEXSRC

( cd $ISITEXDIR; uncompress <isitex.web.Z >$TEXDIR/tex.web;\
 cp isiMakefile $TEXDIR/Makefile;\
 cp isiconvert $TEXDIR/convert; cp isictex.ch $TEXDIR/ctex.ch;\
 cp isimakefile $TEXSRC/makefile; cp isitex.defines $TEXDIR;\
 cp isiweb2c.h $WEB2CDIR/web2c.h; cp isiweb2c.c $WEB2CDIR/web2c.c;\
 cp isiweb2c.yacc $WEB2CDIR/web2c.yacc )

make "CC=gcc" TeX
if [ ! -f $TEXDIR/stamp-convert ]
then
       echo "*** ISITEX: tex.p not converted. Something's gone wrong. Stop." 1>&2
       exit 1
fi

( cd $ISITEXDIR; cp isitex6.c $TEXDIR/tex6.c; cp isitex7.c $TEXDIR/tex7.c;\
 cp isitex10.c $TEXDIR/tex10.c; cp isitexd.h $TEXDIR/texd.h;\
 cp isicoerce.h $TEXDIR/coerce.h )

make "CC=gcc" TeX
if [ ! -f $TEXDIR/virtex ]
then
       echo "*** ISITEX: make failed. Stop." 1>&2
       exit 2
fi

( cd $TEXDIR; mv tex.pool isitex.pool )

make formats
if [ ! -f $TEXSRC/stamp-formats ]
then
       echo "*** ISITEX: make formats failed. Stop." 1>&2
       exit 2
fi

echo
echo "ISITEX has been successfully compiled, and the format files have been"
echo "generated. Now follow the guidelines from the README file for further"
echo "installation. Do not forget to copy $TEXDIR/isitex.pool"
echo "to your TEXPOOL-Directory."
echo

exit 0