From 4cb7c67d565364f2b9ecbcff350ddf8383c75290 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 5 Jul 2022 16:58:24 +0200
Subject: [PATCH] [pdg] fix dependency to types
---
src/plugins/pdg/dune | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/pdg/dune b/src/plugins/pdg/dune
index 1465f8006ad..8e02c55d171 100644
--- a/src/plugins/pdg/dune
+++ b/src/plugins/pdg/dune
@@ -25,7 +25,7 @@
(deps (universe))
(action (progn
(echo "PDG:" %{lib-available:frama-c-pdg.core} "\n")
- (echo " - Pdg-Types:" %{lib-available:frama-c-pdg-types.core} "\n")
+ (echo " - Pdg-Types:" %{lib-available:frama-c-pdg.types.core} "\n")
(echo " - Callgraph:" %{lib-available:frama-c-callgraph.core} "\n")
(echo " - Eva:" %{lib-available:frama-c-eva.core} "\n")
(echo " - From:" %{lib-available:frama-c-from.core} "\n")
@@ -38,7 +38,7 @@
(optional)
(public_name frama-c-pdg.core)
(flags -open Frama_c_kernel :standard -w -9)
- (libraries frama-c.kernel frama-c-pdg-types.core frama-c-callgraph.core frama-c-from.core frama-c-eva.core)
+ (libraries frama-c.kernel frama-c-pdg.types.core frama-c-callgraph.core frama-c-from.core frama-c-eva.core)
)
(plugin (optional) (name pdg) (libraries frama-c-pdg.core) (site (frama-c plugins)))
--
GitLab