diff --git a/ml-proto/runtests.py b/ml-proto/runtests.py index a22feaee76..8e2e3920aa 100755 --- a/ml-proto/runtests.py +++ b/ml-proto/runtests.py @@ -51,14 +51,14 @@ def find_interpreter(path): def rebuild_interpreter(path): print("// building %s" % path) sys.stdout.flush() - exitCode = subprocess.call(["ocamlbuild", "-libs", "bigarray, str", "-Is", "given, spec, host", "-cflags", "-g", "host/main.native"]) + exitCode = subprocess.call(["make"]) if (exitCode != 0): - raise Exception("ocamlbuild failed with exit code %i" % exitCode) + raise Exception("make failed with exit code %i" % exitCode) if not os.path.exists(path): raise Exception("Interpreter has not been built. Looked for %s" % path) if __name__ == "__main__": - interpreterPath = os.path.abspath("./main.native") + interpreterPath = os.path.abspath("./wasm") try: os.makedirs("test/output/") diff --git a/ml-proto/travis/build-test.sh b/ml-proto/travis/build-test.sh index 3ccaaa70a0..ed1966e745 100755 --- a/ml-proto/travis/build-test.sh +++ b/ml-proto/travis/build-test.sh @@ -9,6 +9,6 @@ cd $(dirname ${BASH_SOURCE[0]})/.. export PATH=$PWD/../ocaml/install/bin:$PATH -ocamlbuild -libs "bigarray, str" -Is "given, spec, host" main.native +make ./runtests.py