diff --git a/bindings/Makefile b/bindings/Makefile index 72ab118d..07b42253 100644 --- a/bindings/Makefile +++ b/bindings/Makefile @@ -8,6 +8,10 @@ TEST_ARM64 = $(TMPDIR)/test_arm64 TEST_MIPS = $(TMPDIR)/test_mips TEST_X86 = $(TMPDIR)/test_x86 +.PHONY: all expected python java ocaml + +all: + tests: expected python java #oclma ruby expected: @@ -37,6 +41,8 @@ java: FORCE cd java; ./run.sh x86 > $(TEST_X86)_o $(MAKE) test_diff +ocaml: FORCE + test_diff: FORCE $(DIFF) $(TEST)_e $(TEST)_o $(DIFF) $(TEST_ARM)_e $(TEST_ARM)_o