diff --git a/Makefile b/Makefile
index 1814f273604cd146361c1159d6d218bff2a71291..aa440aa2092c9ecd70d766f1ef18891048fbcf3d 100644
--- a/Makefile
+++ b/Makefile
@@ -165,6 +165,14 @@ force-reconfigure:
 	expr `$(CAT) .force-reconfigure` + 1 > .force-reconfigure
 
 
+##############################################################################
+.phony: dune-tests
+
+TESTS=rte slicing scope value
+dune-tests:
+	dune exec -- ptests
+	dune build $(addprefix @tests/,$(addsuffix /ptests,$(TESTS)))
+
 ##############################################################################
 .phony: install uninstall