From dcbd0030266a6010a4b866dec9065c0a8a0acb18 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Tue, 29 Sep 2020 12:15:56 +0200
Subject: [PATCH] adds dune-tests target to the Makefile

---
 Makefile | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Makefile b/Makefile
index 1814f273604..aa440aa2092 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
 
-- 
GitLab