Enable Ocaml backend check in continuous integration

MLanguage · Oct 7, 2022 · 388b150 · 388b150
1 parent 2e06493
commit 388b150
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/.github/workflows/check_correctness.yml b/.github/workflows/check_correctness.yml
@@ -68,6 +68,10 @@ jobs:
           eval $(opam env)
           make test_java_backend
 
+      - name: Test Ocaml backend
+        run: |
+          make test_ocaml_backend
+
 
 
 
diff --git a/Makefile b/Makefile
@@ -74,10 +74,13 @@ endif
 test_dgfip_c_backend:
 	$(MAKE) -C examples/dgfip_c/ backend_tests
 
+test_ocaml_backend:
+	$(MAKE) -C examples/ocaml/ run_tests
+
 quick_test:
 	$(MLANG) --backend interpreter --function_spec $(M_SPEC_FILE) $(SOURCE_FILES)
 
-all: tests test_java_backend test_dgfip_c_backend quick_test
+all: tests test_java_backend test_dgfip_c_backend test_ocaml_backend quick_test
 
 ##################################################
 # Doc
@@ -90,6 +93,7 @@ doc: FORCE
 clean:
 	$(MAKE) -C examples/dgfip_c clean
 	$(MAKE) -C examples/java clean
+	$(MAKE) -C examples/ocaml clean
 	dune clean
 
 FORCE: