adds dune-tests target to the Makefile

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