From 1ab0e818ed74bcf3330463ae47807a61c7adeab6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Virgile=20Pr=C3=A9vosto?= <virgile.prevosto@cea.fr>
Date: Wed, 30 Mar 2011 07:00:28 +0000
Subject: [PATCH] fix install target for use as internal plugin

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

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 0bc9af91e20..44da0673f73 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -72,7 +72,7 @@ endif
 install::
 	$(PRINT_CP) E-ACSL share files
 	$(MKDIR) $(FRAMAC_SHARE)/e-acsl
-	$(CP) $(PLUGIN_DIR)/share/e-acsl/* $(FRAMAC_SHARE)/e-acsl
+	$(CP) $(E_ACSL_DIR)/share/e-acsl/* $(FRAMAC_SHARE)/e-acsl
 
 uninstall::
 	$(PRINT_RM) E-ACSL share files
-- 
GitLab