* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
*)
+open Printf
+
open Utils
let rec evaluate_targets env exprs =
| [] -> env
| d :: _ -> Ast.Env.add "^" d env in
let code = Ast.to_shell_script env loc code in
- Printf.printf "running : %s\n" code
+ let code = "set -e\nset -x\n\n" ^ code in
+ let r = Sys.command code in
+ if r <> 0 then (
+ eprintf "*** goal ā%sā failed with exit code %d\n" name r;
+ exit 1
+ )
);
(* Check all targets were updated (else it's an error). *)