target (more_recent [o_file] [c_file]);
require (file_exists c_file);
sh "cd $builddir && cc -c %s -o %s" c_file o_file
-
-(* XXX IMPLICIT *)
-let () =
- try goal_all ()
- with
- | Goal_result (Goal_failed msg) ->
- prerr_endline ("error: " ^ msg);
- exit 1
- | exn ->
- prerr_endline (Printexc.to_string exn);
- exit 1