ref: f6303a73c4dba72272e65c4ab0bfdc98fcd3380b
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