diff --git a/Makefile b/Makefile
index 8e88f816a724d1cfc583ff930cb0a12e99c911da..36a0bd3dee0d591e3973f172081777aea4c80402 100644
--- a/Makefile
+++ b/Makefile
@@ -168,8 +168,8 @@ force-reconfigure:
 ##############################################################################
 .PHONY: tests
 
-TESTS=rte slicing scope value
-tests:
+TESTS=cil float idct rte slicing scope value
+dune-tests:
 	dune exec -- ptests
 	dune build $(addprefix @tests/,$(addsuffix /ptests,$(TESTS)))