Update package deps

INRIA · Jan 8, 2021 · 9e71a3f · 9e71a3f
1 parent 4886d21
commit 9e71a3f
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/README.md b/README.md
@@ -14,7 +14,7 @@ Continuous-time models are simulated using an off-the-shelf numerical solver (he
 The easiest way to install Zelus is via [Opam](https://opam.ocaml.org/), the OCaml package manager.
 
 ```
-opam install .
+opam install zelus
 ```
 
 You can then test your installation with:
@@ -34,10 +34,10 @@ Some examples also depend on lablgtk (which requires gtk2.0)
 opam install sundialsml lablgtk
 ```
 
-You can then reinstall zelus
+You can then reinstall zelus and the zelus-gtk library
 
 ```
-opam reinstall zelus
+opam reinstall zelus zelus-gtk
 ```
 
 

diff --git a/zelus-gtk.opam b/zelus-gtk.opam
@@ -8,9 +8,9 @@ homepage: "http://zelus.di.ens.fr"
 doc: "http://zelus.di.ens.fr/man/"
 bug-reports: "https://gitlab.inria.fr/parkas/zelus/-/issues"
 depends: [
-  "zelus"
+  "zelus" "lablgtk"
 ]
-depopts: ["lablgtk" "glmlite"]
+depopts: ["glmlite"]
 build: [
   ["dune" "subst"] {pinned}
   [