From 3240735ca442bea4ec0c0b64af52303ef98e5c4b Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 3 Mar 2022 16:21:01 +0100
Subject: [PATCH] [aorai] allows passing ptests option in -config prove mode +
 doc

---
 src/plugins/aorai/Makefile.in | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/src/plugins/aorai/Makefile.in b/src/plugins/aorai/Makefile.in
index 1d7c8de8077..d848c86806f 100644
--- a/src/plugins/aorai/Makefile.in
+++ b/src/plugins/aorai/Makefile.in
@@ -126,6 +126,16 @@ TEST_DEPENDENCIES:= \
 Aorai_DEFAULT_TESTS: $(TEST_DEPENDENCIES)
 
 # 'prove' ptests config: ensure ACSL and C instrumentation coincide
+# Launch this configuration for all tests with
+# make aorai-test-prove
+# To launch only one test, you can use PTESTS_OPTS, as in
+# PTESTS_OPTS="tests/ya/stack.i -add-options '-wp-verbose 1'" make aorai-test-prove
+#
+# This requires to have a copy of the wp-cache repository
+# (see ../wp/tests/README.md for more information). If it is not
+# in its default place of ../wp-cache, use AORAI_WP_CACHE variable to give the
+# proper absolute path.
+# Don't forget to add the new cache files to the repo if needed.
 
 $(Aorai_DIR)/tests/ptests_config: $(Aorai_DIR)/tests/test_config_prove
 
@@ -142,7 +152,7 @@ AORAI_WP_CACHE?=$(abspath $(Aorai_DIR)/../wp-cache)
 aorai-test-prove: $(TEST_DEPENDENCIES) $(Aorai_DIR)/tests/test_config_prove
 	FRAMAC_WP_CACHE=update \
 	FRAMAC_WP_CACHEDIR=$(AORAI_WP_CACHE) \
-	PTESTS_OPTS="-config prove" \
+	PTESTS_OPTS+=" -config prove" \
 	$(MAKE) Aorai_TESTS
 
 # Regenerating the Makefile on need
-- 
GitLab