ref: 13f131f5d572bec665e09cf49b504e195f0f7c7d
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