From 51ae7f8ad3b5610d2f87967f5b3575f336685cbe Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Thu, 24 Jan 2019 14:58:42 +0100
Subject: [PATCH] [Makefile] fix placement of PLUGIN_TESTS_LIB for Eva

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 4e51302ae7d..33a67f1597a 100644
--- a/Makefile
+++ b/Makefile
@@ -839,7 +839,6 @@ NUMERORS_FILES:= \
 ifeq ($(HAS_MPFR),yes)
 PLUGIN_REQUIRES+= gmp
 PLUGIN_TESTS_DIRS+=value/numerors
-PLUGIN_TESTS_LIB=tests/float/fval_test.ml
 NUMERORS_CMO:= $(NUMERORS_FILES)
 src/plugins/value/domains/numerors/numerors_domain.ml: \
 		src/plugins/value/domains/numerors/numerors_domain.ok.ml \
@@ -924,6 +923,7 @@ PLUGIN_GUI_CMO:=$(VALUE_GUI_AUX) gui_files/gui_callstacks_manager \
 		gui_files/gui_red gui_files/register_gui
 
 PLUGIN_INTERNAL_TEST:= yes
+PLUGIN_TESTS_LIB=tests/float/fval_test.ml
 PLUGIN_DISTRIBUTED:=yes
 VALUE_TYPES:=$(addprefix src/plugins/value_types/,\
 		cilE cvalue precise_locs value_types widen_type)
-- 
GitLab