'make check' now tests the new module 'Clique'

backtracking · Jan 22, 2015 · 1f2023c · 1f2023c
1 parent 64c05eb
commit 1f2023c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/Makefile.in b/Makefile.in
@@ -351,7 +351,7 @@ bin/testunix.opt: $(CMXA) myTest/testunix.ml
 	$(OCAMLOPT) -unsafe -inline 100 -o $@ unix.cmxa $^
 
 check: $(CMA) tests/check.ml bin/test-ts
-	ocaml $(CMA) tests/check.ml
+	ocaml $(CMA) tests/test_clique.ml tests/check.ml
 	bin/test-ts 10
 
 # Additional rules

diff --git a/tests/check.ml b/tests/check.ml
@@ -688,6 +688,8 @@ module TestSigPack : RightSigPack = struct
   type g = t
 end
 
+include Test_clique
+
 (*
 Local Variables:
 compile-command: "make -C .. check"