From 8e18e3ad4e8ba15441e435c84238301b951bc22a Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Mon, 2 Sep 2019 13:36:31 +0200
Subject: [PATCH] [tests] fix issue with print.ml
---
src/plugins/e-acsl/Makefile.in | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 32ce7bb30dc..bb6d9ae7a8c 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -185,7 +185,7 @@ PLUGIN_TESTS_DIRS := \
# supported.
# builtin
-PLUGIN_TESTS_LIB := $(EACSL_PLUGIN_DIR)/tests/print.cmxs
+PLUGIN_TESTS_LIB := $(EACSL_PLUGIN_DIR)/tests/print.ml
DEV=
ifeq ("$(DEV)","yes")
@@ -197,7 +197,10 @@ PLUGIN_PTESTS_OPTS:=-config $(EACSL_TEST_CONFIG)
E_ACSL_TESTS E_ACSL_DEFAULT_TESTS: \
$(EACSL_PLUGIN_DIR)/tests/ptests_config \
- $(EACSL_PLUGIN_DIR)/tests/test_config_$(EACSL_TEST_CONFIG)
+ $(EACSL_PLUGIN_DIR)/tests/test_config_$(EACSL_TEST_CONFIG) \
+ $(EACSL_PLUGIN_DIR)/tests/print.cmxs \
+ $(EACSL_PLUGIN_DIR)/tests/print.cmo
+
$(EACSL_PLUGIN_DIR)/tests/test_config_ci: \
$(EACSL_PLUGIN_DIR)/tests/test_config_ci.in \
--
GitLab