ref: 882ec4ba3d42f15e630119e1f43e5400123539b5
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