let deps = file :: deps in
let moo = MatitaMisc.obj_file_of_script file in
Printf.printf "%s: %s\n" moo (String.concat " " deps);
let deps = file :: deps in
let moo = MatitaMisc.obj_file_of_script file in
Printf.printf "%s: %s\n" moo (String.concat " " deps);