From c1372d1bf83ec2b410785e5af2057565d81835c0 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 19 Sep 2019 20:49:43 +0200
Subject: [PATCH] [makefile] wc + fix ocaml files

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

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 667f43e2f6d..414ffd093bc 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -332,6 +332,13 @@ PLUGIN_HEADER_EXCEPTIONS:=
 # and dedicated to distributed tests
 PLUGIN_DISTRIB_TESTS:= $(EACSL_DISTRIB_TESTS)
 
+########
+# Misc #
+########
+
+wc:
+	ocamlwc -p $(EACSL_OCAML_FILES)
+
 ##########
 # Header #
 ##########
-- 
GitLab