From 88e71224a876f1c70c9d49673c1278c76f0ccd1c Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Fri, 22 Jul 2016 19:27:11 +0200 Subject: [PATCH] [Makefile] ensure print.cmxs is up-to-date when launching tests --- src/plugins/e-acsl/Makefile.in | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in index b878e8d36c0..74a0fbf8092 100644 --- a/src/plugins/e-acsl/Makefile.in +++ b/src/plugins/e-acsl/Makefile.in @@ -3,7 +3,7 @@ # This file is part of the Frama-C's E-ACSL plug-in. # # # # Copyright (C) 2012-2016 # -# CEA (Commissariat à l'énergie atomique et aux énergies # +# CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # # # you can redistribute it and/or modify it under the terms of the GNU # @@ -113,11 +113,11 @@ $(PLUGIN_DIR)/local_config.ml: $(PLUGIN_DIR)/Makefile.in VERSION ifeq (@MAY_RUN_TESTS@,yes) PLUGIN_TESTS_DIRS := reject runtime bts gmp no-main -PLUGIN_TESTS_LIB:=$(PLUGIN_DIR)/tests/print.ml - +PLUGIN_TESTS_LIB := $(PLUGIN_DIR)/tests/print.ml E_ACSL_TESTS: $(PLUGIN_DIR)/tests/test_config -$(PLUGIN_DIR)/tests/ptests_config: \ +E_ACSL_DEFAULT_TESTS: \ + $(PLUGIN_DIR)/tests/test_config \ $(PLUGIN_DIR)/tests/print.cmxs \ $(PLUGIN_DIR)/tests/print.cmo -- GitLab