From 2d6026eaaec72ff91ee1f57c4b15427bbd4014b9 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Wed, 17 Feb 2016 15:06:19 +0100
Subject: [PATCH] Fixed installation of glibc sources for E-ACSL RTL

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

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 1d47778d714..81d522f3b55 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -137,9 +137,10 @@ install::
 	$(PRINT_INSTALL) E-ACSL share files
 	$(MKDIR) $(FRAMAC_SHARE)/e-acsl
 	$(CP) $(E_ACSL_DIR)/share/e-acsl/*.[ch] $(FRAMAC_SHARE)/e-acsl
-	$(MKDIR) $(FRAMAC_SHARE)/e-acsl/adt_models
+	$(MKDIR) $(FRAMAC_SHARE)/e-acsl/adt_models $(FRAMAC_SHARE)/e-acsl/glibc
 	$(CP) $(E_ACSL_DIR)/share/e-acsl/adt_models/* \
 		$(FRAMAC_SHARE)/e-acsl/adt_models
+	$(CP) $(E_ACSL_DIR)/share/e-acsl/glibc/* $(FRAMAC_SHARE)/e-acsl/glibc
 	$(PRINT_INSTALL) E-ACSL manuals
 	$(MKDIR) $(FRAMAC_SHARE)/manuals
 	$(CP) $(E_ACSL_DIR)/doc/manuals/e-acsl.pdf \
-- 
GitLab