#!/bin/sh
#   Copyright (C) 1996-1997 by Haruo Yokota,
#     Japan Advanced Inst. of Sci. and Tech.,
#     1-1 Asahidai, Tatsunokuchi, Ishikawa 923-12, Japan.

KLIC=/usr/lang/klic-3.001/bin/klic
EXP=./kl1expand
EXP0=./kl1expand0

echo +++++ $1 +++++
cat $1.kl1 |$EXP user > tmp.kl1
cat $1.kl1 |$EXP0 user > tmp0.kl1
$KLIC -v -C $1.kl1 tmp.kl1 tmp0.kl1
echo ---- $EXP
cmp $1.c tmp.c
echo ---- $EXP0
cmp $1.c tmp0.c
