if [ ! -f "$1" ] ; then
	echo "makelib: $1 does not exist"
	exit 1
fi
awk -f oplib.awk @$1
cp alib.c @alib.ctm
mv alib.ctm alib.c
