From 2c2bef5b89a43b733aba579453b63dffcf6fd02f Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Mon, 4 Jan 2021 16:43:28 +0100
Subject: [PATCH] [E-ACSL] avoid cmx dependencies when in a byte-only
 architecture

---
 src/plugins/e-acsl/Makefile.in | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 6f9504e7b02..6f4bd08ba5e 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)
-- 
GitLab