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