       Holmake
       HOLDIR=/home/kxs/hol98; export HOLDIR
       /home/kxs/hol98/bin/mosmlc -I ${HOLDIR}/src/portableML \
            -I ${HOLDIR}/src/0 \
            -I ${HOLDIR}/src/bool \
            -I ${HOLDIR}/src/basicHol90 \
            -I ${HOLDIR}/src/combin \
            -I ${HOLDIR}/src/lite \
            -I ${HOLDIR}/src/ho_match \
            -I ${HOLDIR}/src/refute \
            -I ${HOLDIR}/src/meson/src \
            -I ${HOLDIR}/src/taut \
            -I ${HOLDIR}/src/arith/src \
            -I ${HOLDIR}/src/decision/src \
            -I ${HOLDIR}/src/datatype \
            -I ${HOLDIR}/src/num \
            -I ${HOLDIR}/src/reduce/src \
            -I ${HOLDIR}/src/list/src \
            -I ${HOLDIR}/src/option \
            -I ${HOLDIR}/src/one \
            -I ${HOLDIR}/src/sum \
            -I ${HOLDIR}/src/tree \
            -I ${HOLDIR}/src/pair/src \
            -I ${HOLDIR}/src/simp/src \
            -I ${HOLDIR}/src/tfl/src \
            -I ${HOLDIR}/src/boss \
            -I ${HOLDIR}/src/goalstack \
            -I `pwd`/..   \
       -o cpe cpe.uo
