File tree Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -14,7 +14,7 @@ Continuous-time models are simulated using an off-the-shelf numerical solver (he
14
14
The easiest way to install Zelus is via [ Opam] ( https://opam.ocaml.org/ ) , the OCaml package manager.
15
15
16
16
```
17
- opam install .
17
+ opam install zelus
18
18
```
19
19
20
20
You can then test your installation with:
@@ -34,10 +34,10 @@ Some examples also depend on lablgtk (which requires gtk2.0)
34
34
opam install sundialsml lablgtk
35
35
```
36
36
37
- You can then reinstall zelus
37
+ You can then reinstall zelus and the zelus-gtk library
38
38
39
39
```
40
- opam reinstall zelus
40
+ opam reinstall zelus zelus-gtk
41
41
```
42
42
43
43
Original file line number Diff line number Diff line change @@ -8,9 +8,9 @@ homepage: "http://zelus.di.ens.fr"
8
8
doc: "http://zelus.di.ens.fr/man/"
9
9
bug-reports: "https://gitlab.inria.fr/parkas/zelus/-/issues"
10
10
depends: [
11
- "zelus"
11
+ "zelus" "lablgtk"
12
12
]
13
- depopts: ["lablgtk" " glmlite"]
13
+ depopts: ["glmlite"]
14
14
build: [
15
15
["dune" "subst"] {pinned}
16
16
[
You can’t perform that action at this time.
0 commit comments