(* Goal: Make sure a C file is compiled (to an object file). *)
and compiled c_file =
let o_file = change_file_extension "o" c_file in
target (more_recent [o_file] [c_file]);
require (file_exists c_file);
(* Goal: Make sure a C file is compiled (to an object file). *)
and compiled c_file =
let o_file = change_file_extension "o" c_file in
target (more_recent [o_file] [c_file]);
require (file_exists c_file);