diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 6f9504e7b02330d52e9a8c8e9612425fc537f3a4..6f4bd08ba5e714db89a5f6d6120e0f3e4102119d 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -243,9 +243,13 @@ TEST_DEPENDENCIES:= \
 	$(EACSL_PLUGIN_DIR)/tests/ptests_config \
 	$(EACSL_PLUGIN_DIR)/tests/test_config_ci \
 	$(EACSL_PLUGIN_DIR)/tests/test_config_dev \
-	$(EACSL_PLUGIN_DIR)/tests/print.cmxs \
 	$(EACSL_PLUGIN_DIR)/tests/print.cmo
 
+ifeq ($(OCAMLBEST),opt)
+TEST_DEPENDENCIES += \
+	$(EACSL_PLUGIN_DIR)/tests/print.cmxs
+endif
+
 # Add the test dependencies to the test targets, but also to
 # `plugins_ptests_config` so that they are built along with the main target.
 plugins_ptests_config: $(TEST_DEPENDENCIES)