<../../mkconfig LIB=libmp.aFILES=\	mpaux\	mpfmt\	strtomp\	mptobe\	mptole\	betomp\	letomp\	mpadd\	mpsub\	mpcmp\	mpfactorial\	mpmul\	mpleft\	mpright\	mpvecadd\	mpvecsub\	mpvecdigmuladd\	mpveccmp\	mpdigdiv\	mpdiv\	mpexp\	mpmod\	mpextendedgcd\	mpinvert\	mprand\	crt\	mptoi\	mptoui\	mptov\	mptouv\ ALLOFILES=${FILES:%=%.$O}# cull things in the per-machine directories from this listOFILES=	`{$SHELLNAME ./reduce-$SHELLTYPE $O $TARGMODEL-$OBJTYPE $ALLOFILES } HFILES=\	$ROOT/$OBJDIR/include/lib9.h\	$ROOT/include/mp.h\	dat.h\ CFILES=${FILES:%=%.c}  UPDATE=mkfile\	$HFILES\	$CFILES\ <$ROOT/mkfiles/mksyslib-$SHELLTYPE