diff --git a/Makefile b/Makefile
index 3b0b548b8be67dc43f04622a250b9b189c9ba522..2a718c040cda65ea12cdd7ccd31662c34df0b327 100644
--- a/Makefile
+++ b/Makefile
@@ -215,6 +215,9 @@ PTEST_ALL_DIRS:=tests $(wildcard src/plugins/*/tests)
 # Ptests needs config.sed so that dune can build Frama-C (if it is not built)
 PTEST_DEPS:=config.sed
 
+# WP tests need WP cache
+PTEST_USE_WP_CACHE:=yes
+
 # Part that can be shared for external plugins
 include share/Makefile.testing
 
diff --git a/share/Makefile.testing b/share/Makefile.testing
index 4d25a03dd21dc3f7a77e0f4862e8b5d2ac5257d9..a5c3bfa53fe24fcb5ac8c5e2c4bd4756dbe14e55 100644
--- a/share/Makefile.testing
+++ b/share/Makefile.testing
@@ -36,6 +36,8 @@ PTEST_OPTS?=
 PTEST_DIRS?=$(PTEST_ALL_DIRS)
 # Additional dependencies to build before testing
 PTEST_DEPS?=
+# Indicate whether we use global WP cache
+PTEST_USE_WP_CACHE?=no
 
 ############
 # Default values necessary for make -f <this-makefile>
@@ -66,6 +68,7 @@ tests.info:
 	echo "PTEST_DIRS='$(PTEST_DIRS)'"
 	echo "PTEST_OPTS='$(PTEST_OPTS)'"
 	echo "PTEST_DEPS='$(PTEST_DEPS)'"
+	echo "PTEST_USE_WP_CACHE='$(PTEST_USE_WP_CACHE)'"
 	echo "PTEST_ALIASES='$(PTEST_ALIASES)'"
 
 ##########################################################################
@@ -153,29 +156,36 @@ run-ptests.replay: $(PTEST_DEPS) $(FRAMAC_PTEST)
 
 # Run tests of for all configurations (and build all dune files)
 .PHONY: run-tests
+ifeq ($(PTEST_USE_WP_CACHE),yes) # Set WP cache only if needed
 run-tests: FRAMAC_WP_CACHE=offline
+endif
 run-tests: run-ptests
 	dune build $(PTEST_ALIASES)
 
 # Replay tests of for all configurations (requires  all dune files)
 .PHONY: test.replay
+ifeq ($(PTEST_USE_WP_CACHE),yes) # Set WP cache only if needed
 tests.replay: FRAMAC_WP_CACHE=offline
+endif
 tests.replay: $(PTEST_DEPS)
 	dune build $(PTEST_ALIASES)
 
-# Update cache entries of for all configurations (requires all dune files)
+# Update WP cache entries for all configurations (requires all dune files)
+ifeq ($(PTEST_USE_WP_CACHE),yes) # Only visible when ptests use WP cache
 .PHONY: tests.update-wp-cache
 tests.update-wp-cache: FRAMAC_WP_CACHE=update
 tests.update-wp-cache: $(PTEST_DEPS)
 	dune build $(PTEST_ALIASES)
+endif
 
 .PHONY: tests
+ifeq ($(PTEST_USE_WP_CACHE),yes)
+
 ifneq ($(FRAMAC_WP_CACHEDIR),)
 tests: run-tests
 	echo "Number of *.res.log files:"
 	find $(addprefix _build/default/,$(PTEST_DIRS)) -name \*.res.log \
         | $(GREP) -c "^"
-
 else
 tests: run-tests
 	@echo "Warning: cannot run some tests related to WP plugin since FRAMAC_WP_CACHEDIR variable is undefined."
@@ -183,7 +193,14 @@ tests: run-tests
 	@echo "> cd <DIR>"
 	@echo "> git clone git@git.frama-c.com:frama-c/wp-cache.git"
 	@echo "> FRAMAC_WP_CACHEDIR=<DIR>/wp-cache make tests"
-endif
+endif # FRAMAC_WP_CACHEDIR
+
+else
+tests: run-tests
+	echo "Number of *.res.log files:"
+	find $(addprefix _build/default/,$(PTEST_DIRS)) -name \*.res.log \
+        | $(GREP) -c "^"
+endif # PTEST_USE_WP_CACHE
 
 .PHONY: count-tests
 count-tests: