Add ocamlgraph

bclement-ocp · Jul 18, 2024 · 4d53834 · 4d53834
1 parent bbf7a93
commit 4d53834
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/alt-ergo.opam b/alt-ergo.opam
@@ -20,6 +20,7 @@ depends: [
   "dune-site"
   "cmdliner" {>= "1.1.0"}
   "odoc" {with-doc}
+  "ocamlgraph"
 ]
 build: [
   ["dune" "subst"] {dev}

diff --git a/dune-project b/dune-project
@@ -33,6 +33,7 @@ See more details on https://alt-ergo.ocamlpro.com/")
   dune-site
   (cmdliner (>= 1.1.0))
   (odoc :with-doc)
+  ocamlgraph
  )
 
  (sites (share preludes) (lib plugins))