From e53fc335d6a14144bbc09e877bb36f3b5dd12cb6 Mon Sep 17 00:00:00 2001
From: Boris Yakobowski <boris.yakobowski@cea.fr>
Date: Fri, 1 Jul 2016 20:28:38 +0200
Subject: [PATCH] [Makefile] use ':=' to avoid problems in internalized mode

(bug introduced in !59)
---
 src/plugins/e-acsl/Makefile.in | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 59586845b64..3e3575508dd 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -143,8 +143,8 @@ clean::
 ################################################
 # E-ACSL C Libs: libjemalloc, libgmp					 #
 ################################################
-LOCAL_LIB = $(PLUGIN_DIR)/lib
-JEMALLOC_DIR = $(PLUGIN_DIR)/contrib/libjemalloc
+LOCAL_LIB := $(PLUGIN_DIR)/lib
+JEMALLOC_DIR := $(PLUGIN_DIR)/contrib/libjemalloc
 JEMALLOC_LIBNAME = libjemalloc-e-acsl.a
 JEMALLOC_LIB = $(LOCAL_LIB)/$(JEMALLOC_LIBNAME)
 
@@ -157,7 +157,7 @@ $(JEMALLOC_LIB):
 		$(MAKE) $(MAKEOPTS) lib/$(JEMALLOC_LIBNAME)
 	$(CP) $(JEMALLOC_DIR)/lib/$(JEMALLOC_LIBNAME) $@
 
-GMP_DIR = $(PLUGIN_DIR)/contrib/libgmp
+GMP_DIR := $(PLUGIN_DIR)/contrib/libgmp
 GMP_LIBNAME = libgmp-e-acsl.a
 GMP_LIB = $(LOCAL_LIB)/$(GMP_LIBNAME)
 
-- 
GitLab