Skip to content

Commit b0be723

Browse files
committed
Merge pull request #63 from kg/runtests-debug-info
Update runtests to compile with debugging information
2 parents 193e1ef + d669b09 commit b0be723

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

ml-proto/runtests.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -51,7 +51,7 @@ def find_interpreter(path):
5151
def rebuild_interpreter(path):
5252
print("// building %s" % path)
5353
sys.stdout.flush()
54-
exitCode = subprocess.call(["ocamlbuild", "-libs", "bigarray, nums, str", "-Is", "given, spec, host", "host/main.native"], cwd=os.path.abspath("src"))
54+
exitCode = subprocess.call(["ocamlbuild", "-libs", "bigarray, nums, str", "-Is", "given, spec, host", "-cflags", "-g", "host/main.native"], cwd=os.path.abspath("src"))
5555
if (exitCode != 0):
5656
raise Exception("ocamlbuild failed with exit code %i" % exitCode)
5757
if not os.path.exists(path):

0 commit comments

Comments
 (0)