Skip to content
Snippets Groups Projects
Commit 94e8591f authored by Allan Blanchard's avatar Allan Blanchard Committed by Patrick Baudin
Browse files

[pdg] fix dependency to types

parent 204930ea
No related branches found
No related tags found
No related merge requests found
...@@ -25,7 +25,7 @@ ...@@ -25,7 +25,7 @@
(deps (universe)) (deps (universe))
(action (progn (action (progn
(echo "PDG:" %{lib-available:frama-c-pdg.core} "\n") (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 " - Callgraph:" %{lib-available:frama-c-callgraph.core} "\n")
(echo " - Eva:" %{lib-available:frama-c-eva.core} "\n") (echo " - Eva:" %{lib-available:frama-c-eva.core} "\n")
(echo " - From:" %{lib-available:frama-c-from.core} "\n") (echo " - From:" %{lib-available:frama-c-from.core} "\n")
...@@ -38,7 +38,7 @@ ...@@ -38,7 +38,7 @@
(optional) (optional)
(public_name frama-c-pdg.core) (public_name frama-c-pdg.core)
(flags -open Frama_c_kernel :standard -w -9) (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))) (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