Skip to content
Snippets Groups Projects
Commit 4cb7c67d authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[pdg] fix dependency to types

parent cd0f0074
No related branches found
No related tags found
No related merge requests found
......@@ -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)))
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment