From d669b091b769a5a6e3bbccd952a19264acae5f85 Mon Sep 17 00:00:00 2001 From: Katelyn Gadd Date: Mon, 14 Sep 2015 16:23:32 -0700 Subject: [PATCH] Update runtests to compile with debugging information --- ml-proto/runtests.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ml-proto/runtests.py b/ml-proto/runtests.py index 31665647de..8abba2fbfa 100755 --- a/ml-proto/runtests.py +++ b/ml-proto/runtests.py @@ -51,7 +51,7 @@ def find_interpreter(path): def rebuild_interpreter(path): print("// building %s" % path) sys.stdout.flush() - exitCode = subprocess.call(["ocamlbuild", "-libs", "bigarray, nums, str", "-Is", "given, spec, host", "host/main.native"], cwd=os.path.abspath("src")) + exitCode = subprocess.call(["ocamlbuild", "-libs", "bigarray, nums, str", "-Is", "given, spec, host", "-cflags", "-g", "host/main.native"], cwd=os.path.abspath("src")) if (exitCode != 0): raise Exception("ocamlbuild failed with exit code %i" % exitCode) if not os.path.exists(path):