From 34045ce163ca9fbed6fcd0c14167057d2e3b24e8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 13 Jul 2022 10:31:56 +0200
Subject: [PATCH] [wp] fix server depenencies in dune

---
 src/plugins/wp/dune | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/plugins/wp/dune b/src/plugins/wp/dune
index 753e37873f3..66f18adf346 100644
--- a/src/plugins/wp/dune
+++ b/src/plugins/wp/dune
@@ -39,7 +39,11 @@
   (optional)
   (public_name frama-c-wp.core)
   (flags (-open Frama_c_kernel :standard -w -9))
-  (libraries frama-c.kernel frama-c-rtegen.core why3 qed server zarith ocamlgraph)
+  (libraries
+     frama-c.kernel
+     frama-c-rtegen.core
+     frama-c-server.core
+     qed why3 zarith ocamlgraph)
 )
 
 (plugin (optional) (name wp) (libraries frama-c-wp.core) (site (frama-c plugins)))
-- 
GitLab