From 9f21e7372a938184dbf8a5d1618a7a546b024c0b Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 26 Jan 2012 17:57:19 +0000
Subject: [PATCH] [e-acsl] fixed install problem

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

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 12e74d73834..06fe2bc6832 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -122,6 +122,7 @@ install::
 	$(PRINT_CP) E-ACSL share files
 	$(MKDIR) $(FRAMAC_SHARE)/e-acsl
 	$(CP) $(E_ACSL_DIR)/share/e-acsl/* $(FRAMAC_SHARE)/e-acsl
+	$(MKDIR) $(FRAMAC_SHARE)/manuals
 	$(CP) $(E_ACSL_DIR)/doc/manuals/e-acsl.pdf \
 		$(E_ACSL_DIR)/doc/manuals/e-acsl-implementation.pdf \
 		$(FRAMAC_SHARE)/manuals
diff --git a/src/plugins/e-acsl/TODO b/src/plugins/e-acsl/TODO
index 43fe348e577..1a15316b6e9 100644
--- a/src/plugins/e-acsl/TODO
+++ b/src/plugins/e-acsl/TODO
@@ -31,7 +31,6 @@
 #########
 
 - améliorer test "integer_constant.i" quand bug fixed #745
-- test sizeof.i devraient être plus précis quand logic_typing plus précis
 - inclure exemple du E-ACSL Reference Manual
 - test arith.i: mettre les exemples du ACSL manual about div and modulo
 - test lazy.i: en attente d'un fix dans l'analyse de valeurs
-- 
GitLab