Enable Ocaml backend check in continuous integration

Author: mdurero

.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
+
 
 
 

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: