ref: efbe93b047e0638cc601121d95b309724b58edb3
dir: /sys/src/libsat/mkfile/
</$objtype/mkfile LIB=/$objtype/lib/libsat.a OFILES=\ misc.$O \ satadd.$O \ satrange.$O \ satsolve.$O \ satmore.$O \ debug.$O \ satget.$O \ HFILES=\ /sys/include/sat.h\ impl.h\ </sys/src/cmd/mksyslib