-- -only_check -- -only_C -- -output_C -- -O_verbose -- -verbose ---- Give information about what the compiler is doing. -------------------------- -- main Knot.base/knot.sa Knot.base/knot_base.module Knot.dia/knot_dia.module Knot.inv/knot_inv.module Knot.rep/knot_rep.module local_lib/local_lib.module -- end