ref: d920d42c8bad0719f8a91f5121d5f7c080e2a332
dir: /libmp/mkfile/
TARG=libmp.$L <$DSRC/mkfile-$CONF OFILES=\ betomp.$O\ crt.$O\ letomp.$O\ mpadd.$O\ mpaux.$O\ mpcmp.$O\ mpdigdiv.$O\ mpdiv.$O\ mpeuclid.$O\ mpexp.$O\ mpextendedgcd.$O\ mpfmt.$O\ mpinvert.$O\ mpleft.$O\ mpmod.$O\ mpmul.$O\ mprand.$O\ mpright.$O\ mpsub.$O\ mptobe.$O\ mptoi.$O\ mptole.$O\ mptoui.$O\ mptouv.$O\ mptov.$O\ mpvecadd.$O\ mpveccmp.$O\ mpvecdigmuladd.$O\ mpvecsub.$O\ strtomp.$O HFILE=\ dat.h\ os.h <$DSRC/mklib-$CONF